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.