Quantcast
Channel: Cadence Functional Verification Forum
Viewing all articles
Browse latest Browse all 1069

SVA library in Cadence INCISIV

$
0
0

 

Hi,

I am migrating my project from Synopsys VCS to Cadence INCISIV. My project uses SVA library Cadence's library ial can not be used in this case. I get the following error when I compile the SVA library (VCS) in Cadence :

ncvlog: *E,ILLSVF (../design/asserts/sva_cg/assert_dual_clk_fifo.v,541|39): Illegal use of sampled value function outside concurrent assertions and procedural blocks.
assign enq = $sampled(i_enq);
|
If i dont use the SVA library. The assertion properties are not found even if i use Cadence ial library instead.

Is there someway to compile using VCS SVA for the assertions in Cadence ? I am using the irun command.


Viewing all articles
Browse latest Browse all 1069

Trending Articles



<script src="https://jsc.adskeeper.com/r/s/rssing.com.1596347.js" async> </script>