Theorem Provers in Circuit Design: Theory, Practice, and Experience Second International Conference, Tpcd '94, Bad Herrenalb, Germany, September 26-2 (Lecture Notes in Computer Science) by Ramayya Kumar Published in January 1995, Springer Theorem Provers in Circuit Design: Theory, Practice, and Experience Ramayya Kumar Change Cover Language: English ISBN 10: 0387590471 ISBN 13: 9780387590479
description edit First sentence: Although having many drawbacks, benchmark circuits allow a more succinct and direct comparison of different approaches for solving a certain problem. Table of contents edit No table of contents available Add it!
No table of contents available Add it!