Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Bow-Yaw Wang0
Kuang-Chien Chen0
Date of Patent
October 17, 2006
0Patent Application Number
104404360
Date Filed
May 15, 2003
0Patent Primary Examiner
Patent abstract
Integrated proof flow methods and apparatuses are discussed. Integrated proof flow refers to attempting both formal verification and nonformal verification. A coverage metric can be changed by both attempting formal verification and by attempting nonformal verification. Some embodiments of the present invention provide proof flow methods that integrate verification and nonformal verification (e.g., bounded verification, multi-point proof, and/or vector-based simulation) to prove one or more properties in a circuit design.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
