Theorem Provers in Circuit Design
Subtitle: Theory, Practice and Experience (Lecture Notes in Computer Science)
Contributors: Ramayya Kumar (Editor); Thomas Kropf (Editor)
Edition: 1 edition
Publisher: Springer
Published: April 13, 1995
Language: eng
Format: Paperback
Number of pages: 303
ISBN-13: 9783540590477
Subjects: Circuits & components; General Theory of Computing; Mathematics; Computers - General Information; Digital Integrated Circuit Design; Logic; Science/Mathematics; Digital integrated circuits; Congresses; Computer Architecture - General; Computer Engineering; Automatisches Beweisen; Benchmark-Circuits; Circuiit Design; Formal Methods; Formale Methoden; Hardware Verificationos; Hardwareverification; Computer Science; Automatic theorem proving; Computer-aided design
First sentence: Although having many drawbacks, benchmark circuits allow a more succinct and direct comparison of different approaches for solving a certain problem.