Is a
Patent attributes
Current Assignee
Patent Jurisdiction
Patent Number
Patent Inventor Names
Herbert K. Kolaric0
Date of Patent
September 16, 2008
0Patent Application Number
111200410
Date Filed
May 2, 2005
0Patent Citations Received
Patent Primary Examiner
Patent abstract
Assertion checking is achieved by modifying a given set of assertions to include subsuming assertions that cover one or more of given assertions and also require less logic to implement, by implementing at least the subsuming assertions in functionally reconfigurable circuitry within an integrated circuit, and by checking with an auxiliary tester assertions that each of the firing subsuming assertion replaced.
Timeline
No Timeline data yet.
Further Resources
No Further Resources data yet.
