Assertion handling for timing model extraction
AssigneeCadence Design Systems, Inc.
InventorsCho Woo Moon, Harish Kriplani, Krishna Prasad Belkhale
Life of this patent
Estimating the term…
Loading patent…
AssigneeCadence Design Systems, Inc.
InventorsCho Woo Moon, Harish Kriplani, Krishna Prasad Belkhale
Estimating the term…
Disclosed is a method and system for handling timing constraints or assertions for timing model extraction. One disclosed approach for assertion handling is by automatically preserving the integrity of original assertions by retaining existing pins or creating new internal pins. The assertions are viewed as part of the model, and a set of new assertions are generated automatically as part of the timing model extraction process and can be stored as part of the model. Assertions can be associated with input ports, output ports, internal pins, or hierarchical pins and can even span multiple blocks. This disclosed approach allows for application of assertions associated with timing models when the model is instantiated and detachment of assertions when the model is de-instantiated, and thus removes one of main problems associated with timing models.
A method for implementing assertion handling for timing model extraction, comprising:
A method for implementing assertion handling for timing model extraction, comprising:
A system for implementing assertion handling for timing model extraction, comprising:
A computer program product comprising a computer usable medium having executable code to execute a process for implementing assertion handling for timing model extraction, the process comprising:
A system for implementing assertion handling for timing model extraction, comprising:
A computer program product comprising a computer usable medium having executable code to execute a process for implementing assertion handling for timing model extraction, the process comprising:
Dependencies are inferred from the claim text.