Cadence Design Systems, Inc.

Franz Erich Marschner

Yonghao Chen

Abhishek Kanungo

Phil Giangarra

Robert Paul Kurshan

Alok Jain

Manu Chopra

Xiaoqun Du

Kavita Ravi

James M Lawrence

Stephen T Ward

A method and system are provided for automatically creating an implicit literal value in a user defined enumerated data type by inserting an additional literal value, scanning the HDL design files for broken interdependencies or potential incompatibilities with the implicitly defined literal value, and modifying the HDL design files to be in accordance with the implicitly defined literal value while maintaining the semantics of the VHDL language reference model.

Method and system for providing an implicit unknown value to user ENUM data constructs in an HDL system to model power shutoff in simulation

Method and system for providing an implicit unknown value to user enum data constructs in an HDL system to model power shutoff in simulation

A method and system for verifying circuit designs through propagation of assertions within a circuit design. In an embodiment, a plurality of provided assertions a circuit design are propagated within the circuit design. The circuit design is then verified using at least one of the propagated assertions as an assumption.

Method and system for verifying circuit designs through propagation of assertions

An assertion based transaction recording method is used to represent a signal-level transaction having a prefix and a suffix as an abstract transaction. The method models the signal-level transaction as an assertion requiring that the transaction suffix must occur following any occurrence of the transaction prefix. A finite-state-machine (FSM) implementation of the assertion records a tentative abstract transaction upon recognizing the first condition of the prefix. If the FSM recognizes that the prefix cannot complete, it cancels, or deletes, the tentative abstract transaction record. The implementation can track multiple tentative abstract transaction records that may co-exist prior to completion of the transaction prefix. Upon recognizing that the transaction prefix corresponding to the start point of the tentative abstract transaction has completed, the tentative abstract transaction record is committed. The FSM implementation of the assertion can then cancel all other outstanding tentative abstract transaction records.

Assertion-based transaction recording

Growing community of inventors

Ellicott City, MD, United States of America

Franz Erich Marschner