Combined hardware/software assertion checking
Number of patents in Portfolio can not be more than 2000
United States of America Patent
Stats
-
Sep 16, 2008
Grant Date -
N/A
app pub date -
May 2, 2005
filing date -
May 2, 2005
priority date (Note) -
In Force
status (Latency Note)
Importance
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.
First Claim
Family
International Classification(s)
Cited Art Landscape
Patent Citation Ranking
Advertisement
Advertisement
Advertisement
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