Home > Community > Tags > tcl/assertions
 
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: *

tcl,assertions

  • TCL based assertion for connectivity check

    Hi, I am using ncsim and i wish to check connectivity between two nets in RTL/netlist using tcl. I remember there being someway where using tcl input file i could specify two nets which could be tested for connectivity. ex: -src net1 -dst net2 on a change of net1 check net2 value is equal to net1 value...
    Posted to Functional Verification (Forum) by harsharaj on Fri, Mar 8 2013
Page 1 of 1 (1 items)