Is a
Patent attributes
Patent Jurisdiction
Patent Number
Patent Inventor Names
David Ward0
Date of Patent
July 17, 2007
0Patent Application Number
109664920
Date Filed
October 15, 2004
0Patent Primary Examiner
Patent abstract
Improved analysis and refinement of integrated circuit device design and other programs is facilitated by methods in which an original program is partitioned into subprograms representing valid computational paths; each subprogram is refined when cyclic dependencies are found to exist between the variables; computational paths whose over-approximated reachable states are found to be contained in another computational path are merged; and finally, the remaining subprograms conjoined decision conditions become candidates for hints for program refinement.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
