Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 2 of 2 on A. Kuehlmann and F. Krohm. Equivalence checking using cuts and heaps..
" A. Kuehlmann and F. Krohm. Equivalence checking using cuts and heaps. "
Equivalence Checking of Digital Circuits: Fundamentals, Principles, Methods
by Paul Molitor, Janett Mohnke - 2004 - 262 pages
No preview available - About this book

Logic Synthesis and Verification

Soha Hassoun, Tsutomu Sasao - Computers - 2001 - 454 pages
...Proceedings of the 38th ACM/lEEE Design Automation Conference. iLas Vegas, Nevada1. ACM/lEEE, June 200l. [27] A. Kuehlmann and F Krohm. "Equivalence checking using cuts and heaps." in Proceedings of the 34th ACM/lEEE Design Automation Conference, iAnaheim, CAl, pp. 263268. ACM/lEEE....
Limited preview - About this book

The Best of ICCAD: 20 Years of Excellence in Computer-Aided Design

Andreas Kuehlmann - Computers - 2003 - 714 pages
...for transistor-level verification. In Proc. Design Automation Conference, pages 218-224, 1994. [42] A. Kuehlmann and F. Krohm. Equivalence checking using cuts and heaps. In Proc. Design Automation Conference, pages 263-268, 1997. [43] W. Kunz. HANNIBAL: an efficient tools...
Limited preview - About this book




  1. My library
  2. Help
  3. Advanced Book Search