Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Chih-Chang Lin0
Yung-Te Lai0
Manish Pandey0
Bret Siarowski0
Kei-Yong Khoo0
Date of Patent
November 17, 2009
0Patent Application Number
118471770
Date Filed
August 29, 2007
0Patent Primary Examiner
Patent abstract
Some embodiments relate to a method and apparatus for performing logic equivalence checking (EC) of circuits using adaptive learning based on a persistent cache containing information on sub-problems solved from previous equivalency checking runs. These sub-problems can include basic EC tasks such as logic cone comparison and/or state element mapping.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
