Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings /
"This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 paper...
| Corporate Authors: | , |
|---|---|
| Other Authors: | , |
| Format: | Conference Proceeding eBook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer-Verlag,
[1995]
|
| Series: | Lecture notes in computer science ;
901. |
| Subjects: | |
| Online Access: | Connect to the full text of this electronic book |
| Summary: | "This volume presents the proceedings of the Second International Conference on Theorem Provers in Circuit Design (TPCD '94) jointly organized by the Forschungszentrum Informatik (University of Karlsruhe) and IFIP Working Group 10.2 in Bad Herrenalb, Germany in September 1994. The 19 papers included are thoroughly revised versions of the submissions selected for presentation at the conference and address all current aspects of theorem provers in circuit design. Particular emphasis is given to benchmark-circuits for hardware verification; tutorials on two popular theorem provers are included."--PUBLISHER'S WEBSITE. |
|---|---|
| Item Description: | Electronic resource. |
| Physical Description: | 1 online resource (viii, 303 pages) : illustrations |
| Bibliography: | Includes bibliographical references. |
| ISBN: | 3540590471 9783540590477 0387590471 9780387590479 |