Home > Community > Tags > simvision/verification/sva
 
Login with a Cadence account.
Not a member yet?
Create a permanent login account to make interactions with Cadence more convenient.

Register | Membership benefits
Get email delivery of the Cadence blog (individual posts).
 

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,verification,sva

  • SimVision Assertions

    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...
    Posted to Functional Verification (Forum) by pdar on Fri, Jul 29 2011
Page 1 of 1 (1 items)