MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Model Checking the IBM Gigahertz Processor An Abstraction Algorithm for High-Performance Netlists." – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

2 documents found, showing 1 through 2.

ATOM

Model checking the IBM Gigahertz Processor: An abstraction algorithm for high-performance netlists
by Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz — 1999 — In Proc. 11 th International Conference on Computer Aided Veri (CAV), LNCS 1633
…Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance Netlists…
Cited by 12 (2 self) – Add To MetaCart

An abstraction algorithm for the verification of level-sensitive latch-based netlists
by Jason Baumgartner, Tamir Heyman, Vigyan Singhal, Adnan Aziz — 2003 — Formal Methods in System Design
…. Singhal, and A. Aziz. Model Checking the IBM Gigahertz Processor: An Abstraction Algorithm for High-Performance…
Cited by 6 (5 self) – Add To MetaCart

Showing 1 through 2.

ATOM

Try your query at: Scholar | Yahoo! | Ask | MS Live | CSB