Search Images Maps Play YouTube News Gmail Drive More »
Sign in
Books Books 1 - 5 of 5 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 - Page 247
by Paul Molitor, Janett Mohnke - 2004 - 262 pages
Limited preview - About this book

Logic Synthesis and Verification

Soha Hassoun, Tsutomu Sasao - Computers - 2002 - 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

Formal Methods in Computer-Aided Design: 4th International ..., Volume 4

Mark D. Aagaard, John W. O'Leary - Computers - 2002 - 398 pages
...parametric form of boolean expressions. IEEE Transactions on CAD, 13(8): 1005-1015, August 1994. [10] A. Kuehlmann and F. Krohm. Equivalence checking using cuts and heaps. In Proceedings of the Design Automation Conference, pages 263-268, Anaheim, CA, June 1997. [11] JH Kukula...
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

Tools and Algorithms for the Construction and Analysis of Systems ..., Volume 9

Hubert Garavel, John Hatcliff - Computers - 2003 - 604 pages
...for analytical development of communications protocols. AT&T Technical Journal, 69(1), 1990. [KK97J A. Kuehlmann and F. Krohm. Equivalence checking using cuts and heaps. In DAC, 1997. [KSO2] D. Kroening and 0. Strichman. Efficient computation of recurrence diameters. In VMCAI,...
Limited preview - About this book

Theory and Applications of Satisfiability Testing: 7th International ...

Holger H. Hoos, David G. Mitchell - Computers - 2005 - 392 pages
...reasoning. In Proceedings of the Design Automation Conference, pages 232-237, Las Vegas, NV, June 2001. [25] A. Kuehlmann and F. Krohm. Equivalence checking using cuts and heaps. In Proceedings of the Design Automation Conference, pages 263-268, Anaheim, CA, June 1997. [26] P. Liberatore....
Limited preview - About this book




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