Method and device for creating a model of a circuit for the formal verification
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
N/A
Issued Date -
Jan 13, 2005
app pub date -
May 27, 2004
filing date -
Jun 5, 2003
priority date (Note) -
Abandoned
status (Latency Note)
Importance
Abstract
For the simplified creation of models of a circuit for the formal verification of the same, it is proposed to provide a valid first model (a) for example from a simulation of the circuit (2) and to generalize this valid first model through modification (3), whereby after the modification it is checked whether the modified model still describes an actual behavior of the circuit (4). In this case, the modified model is provided as a model of the circuit for the formal verification of the same (5).
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Recipient Email Address
Recipient Email Address
Comment
Recipient Email Address
Add to Portfolio(s)
To add this patent to one, or more, of your portfolios, simply click the add button.
This Patent is in these Portfolios:
Add to additional portfolios:
Last Refreshed On:
Changes done successfully