Find a copy online
Links to this item
springerlink.metapress.com Restricted to SpringerLink subscribers
Find a copy in the library
Finding libraries that hold this item...
Details
| Genre/Form: | Herrenalb (1994) Kongreß Congresses Congrès |
|---|---|
| Material Type: | Conference publication, Internet resource |
| Document Type: | Book, Internet Resource |
| All Authors / Contributors: |
Ramayya Kumar; Thomas Kropf |
| ISBN: | 3540590471 9783540590477 0387590471 9780387590479 |
| OCLC Number: | 32049817 |
| Description: | viii, 303 p. : ill. ; 24 cm. |
| Contents: | Benchmark-circuits for hardware-verification / Thomas Kropf -- Reasoning about pipelines with structural hazards / Mark Aagaard and Miriam Leeser -- A correctness model for pipelined microprocessors / Phillip J. Windley and Michael L. Coe -- Non-restoring integer square root : a case study in design by principled optimization / John O'Leary ... [et al.] -- An automatic generalization method for the inductive proof of replicated and parallel architectures / Laurence Pierre -- A compositional circuit model and verification by composition / Zheng Zhu -- Exploiting structural similarities in a BDD-based verification method / C.A.J. van Eijk and G.L.J.M. Janssen -- Studies of the single pulser in various reasoning systems / Steven D. Johnson, Paul S. Miner and Albert Camilleri -- Mechanized verification of speed-independence / Michael Kishinevsky and Jørgen Staunstrup -- Automatic correctness proof of the implementation of synchronous sequential circuits using an algebraic approach / Junji Kitamichi ... [et al.] -- Mechanized verification of refinement / Niels Maretti -- Effective theorem proving for hardware verfication / D. Cyrluk ... [et al.] -- A formal framework for high level synthesis / Thomas Kropf, Klaus Schneider and Ramayya Kumar -- Tutorial design verification with synchronized transitions / Niels Mellergaard and Jørgen Staunstrup -- A tutorial on using PVS for hardware verification / S. Owre ... [et al.] -- A reduced instruction set proof environment / Holger Busch -- Quantitative evaluation of formal based synthesis in ASIC design / G. Bezzi ... [et al.] -- Formal verification of characteristic properties / Michel Allemand -- Extending formal reasoning with support for hardware diagrams / Kathi Fisler. |
| Series Title: | Lecture notes in computer science, 901. |
| Responsibility: | Ramayya Kumar, Thomas Kropf, eds. |
| More information: |
Reviews
User-contributed reviews
Add a review and share your thoughts with other readers.
Be the first.
Add a review and share your thoughts with other readers.
Be the first.
Tags
Add tags for "Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings".
Be the first.
Similar Items
Related Subjects:(14)
- Digital integrated circuits -- Computer-aided design -- Congresses.
- Automatic theorem proving -- Congresses.
- vérification formelle.
- méthode formelle.
- conception circuit.
- démonstration théorème.
- Circuits intégrés numériques -- Conception et construction -- Informatique -- Congrès.
- Conception assistée par ordinateur -- Congrès.
- Théorèmes -- Démonstration automatique -- Congrès.
- Micro-elektronica.
- Automatisches Beweisverfahren.
- Entwurfsautomation.
- Kongreß.
- Logische Schaltung.
