MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for "Improvements to combinational equivalence checking." – sorted by Relevance.

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

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

3 documents found, showing 1 through 3.

ATOM

Improvements to combinational equivalence checking
by Alan Mishchenko, Satrajit Chatterjee, Robert Brayton — 2006 — Proc. ICCAD '06
…Improvements to Combinational Equivalence Checking Alan Mishchenko Satrajit Chatterjee Robert…
Cited by 19 (8 self) – Add To MetaCart

Combinational Equivalence Checking through Function Transformation
by Hee Hwan Kwak, In-Ho Moon, James H. Kukula, Thomas R. Shiple — 2002 — In Proceedings of the International Conference on Computer-Aided Design (To appear
…Combinational Equivalence Checking through Function Transformation Hee Hwan Kwak, In-Ho Moon, James…
Cited by 3 (1 self) – Add To MetaCart

Formal Hardware Verification with BDDs: An Introduction
by Alan J. Hu — 1997 — in Proc. Pacific Rim Conference on Communications, Computers and Signal Processing
…: improving BDDs, improving combinational equivalence checking, and improving sequential verification. A…
Cited by 18 (0 self) – Add To MetaCart

Showing 1 through 3.

ATOM

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