Computer-aided design and analysis of circuits and semiconductor – Nanotechnology related integrated circuit design
Reexamination Certificate
2008-07-22
2008-07-22
Lin, Sun J. (Department: 2825)
Computer-aided design and analysis of circuits and semiconductor
Nanotechnology related integrated circuit design
C716S030000, C716S030000, C716S030000
Reexamination Certificate
active
07404160
ABSTRACT:
A method and system for hardware based reporting of assertion information for emulation and hardware acceleration is disclosed. In one embodiment, a method of performing assertion-based verification, comprises providing a user interface to design assertions that aid in verifying an integrated circuit design. Assertion instrumentation code is generated to implement the assertions in hardware as assertion instrumentation. The assertion instrumentation code is provided to an emulator that generates the assertion instrumentation.
REFERENCES:
patent: 5113364 (1992-05-01), Ho et al.
patent: 5551013 (1996-08-01), Beausoleil et al.
patent: 6035117 (2000-03-01), Beausoleil et al.
patent: 6051030 (2000-04-01), Beausoleil et al.
patent: 6263302 (2001-07-01), Hellestrand et al.
patent: 6581191 (2003-06-01), Schubert et al.
patent: 6618839 (2003-09-01), Beardslee et al.
patent: 6718286 (2004-04-01), Rivin et al.
patent: 6823497 (2004-11-01), Schubert et al.
patent: 7139988 (2006-11-01), Chard et al.
patent: 2003/0074650 (2003-04-01), Akgul et al.
patent: 2003/0101439 (2003-05-01), Desoli et al.
patent: 2003/0226124 (2003-12-01), Marschner et al.
patent: 2004/0019827 (2004-01-01), Rohfleisch et al.
patent: 2005/0283664 (2005-12-01), Coulter et al.
Das Purnima
Jurchisin Arthur
Lemche Carol
Piper Lisa J.
Lin Sun J.
Orrick Herrington & Sutcliffe LLP
Quickturn Design Systems Inc.
LandOfFree
Method and system for hardware based reporting of assertion... does not yet have a rating. At this time, there are no reviews or comments for this patent.
If you have personal experience with Method and system for hardware based reporting of assertion..., we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Method and system for hardware based reporting of assertion... will most certainly appreciate the feedback.
Profile ID: LFUS-PAI-O-2812733