Home > Community > Forums > Functional Verification > SVA library in Cadence INCISIV

Email

* Required Fields

Recipients email * (separate multiple addresses with commas)

Your name *

Your email *

Message *

Contact Us

* Required Fields
First Name *

Last Name *

Email *

Company / Institution *

Comments: *

 SVA library in Cadence INCISIV 

Last post Thu, Feb 28 2013 3:04 AM by StephenH. 2 replies.
Started by Maisum 25 Feb 2013 10:23 PM. Topic has 2 replies and 1033 views
Page 1 of 1 (3 items)
Sort Posts:
  • Mon, Feb 25 2013 10:23 PM

    • Maisum
    • Not Ranked
    • Joined on Fri, Feb 15 2013
    • Posts 5
    • Points 55
    SVA library in Cadence INCISIV Reply

     

    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.

    • Post Points: 5
  • Tue, Feb 26 2013 9:11 PM

    • Maisum
    • Not Ranked
    • Joined on Fri, Feb 15 2013
    • Posts 5
    • Points 55
    Re: SVA library in Cadence INCISIV Reply

     What is the cadence alternative for VCS SVA. Some of the assertions are specific to Synopsys like assert_dual_clk_fifo.v .

    • Post Points: 20
  • Thu, Feb 28 2013 3:04 AM

    • StephenH
    • Top 25 Contributor
    • Joined on Tue, Sep 2 2008
    • Bristol, Avon
    • Posts 268
    • Points 4,210
    Re: SVA library in Cadence INCISIV Reply

    I have no idea what's in the proprietary SVA checker library from Synopsys, but from your example of the error you got, it looks like the SV code is not legal, which is why you can't compile it in Incisive. As far as I know, $sampled cannot be used in a wire assignment according to the LRM. 

    As for what Cadence does offer, the Incisive Assertion Library includes ial_mclk_mport_fifo which is a multi-clock FIFO verification component. Full details are listed in the cdnshelp application. 

    Steve Hobbs / Applications Engineer / Cadence Functional Verification
    • Post Points: 5
Page 1 of 1 (3 items)
Sort Posts:
Started by Maisum at 25 Feb 2013 10:23 PM. Topic has 2 replies.