Home > Community > Forums > Functional Verification > SimVision Assertions

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: *

 SimVision Assertions 

Last post Sat, Jul 30 2011 7:29 AM by JoergM. 1 replies.
Started by pdar 29 Jul 2011 11:10 AM. Topic has 1 replies and 3205 views
Page 1 of 1 (2 items)
Sort Posts:
  • Fri, Jul 29 2011 11:10 AM

    • pdar
    • Not Ranked
    • Joined on Fri, Jul 29 2011
    • Posts 1
    • Points 20
    SimVision Assertions Reply

    I have an assertion along the lines of :

    assert property( @(posedge clk) A |-> B );

    When I run this on Cadence, I get that the assertion failed. Looking at the waveform (counter example), it shows that when A occurs on the negedge of the clock, Cadence is still checking to see if B happened. And when it doesnt, says the assertion has failed. Why is this happening and can it be fixed?

    • Post Points: 20
  • Sat, Jul 30 2011 7:29 AM

    • JoergM
    • Top 500 Contributor
    • Joined on Thu, Jul 17 2008
    • Munich, Bavaria
    • Posts 28
    • Points 550
    Re: SimVision Assertions Reply

    Hi pdar,

    the SVA property you paste is only evaluated at the posedge of the clk, it cannot cause a failure at the negedge of clk. When you say "SimVision Assertions" this implies that you run either our Simulator ncsim or our formal tool iev. Which?

     Can you share the log and waveform with us?

    Thanks,

    Joerg.

    Filed under:
    • Post Points: 5
Page 1 of 1 (2 items)
Sort Posts:
Started by pdar at 29 Jul 2011 11:10 AM. Topic has 1 replies.