Theorem Provers in Circuit Design: Theory, Practice, and Experience
Subtitle: Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-2 (Lecture Notes in Computer Science)
Publisher: Springer
Published: January 1995
Language: eng
Number of pages: 303
ISBN-13: 9780387590479
First sentence: Although having many drawbacks, benchmark circuits allow a more succinct and direct comparison of different approaches for solving a certain problem.