Coverart for item
The Resource Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings, Ramayya Kumar, Thomas Kropf, eds

Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings, Ramayya Kumar, Thomas Kropf, eds

Label
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Title
Theorem provers in circuit design
Title remainder
theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings
Statement of responsibility
Ramayya Kumar, Thomas Kropf, eds
Contributor
Subject
Genre
Member of
Series statement
Lecture notes in computer science
Series volume
901
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings, Ramayya Kumar, Thomas Kropf, eds
Label
Theorem provers in circuit design : theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings, Ramayya Kumar, Thomas Kropf, eds
Publication
Related Contributor
Related Location
Related Agents
Related Authorities
Related Subjects
Related Items
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 Jorgen 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 Jorgen 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
http://library.link/vocab/cover_art
https://contentcafe2.btol.com/ContentCafe/Jacket.aspx?Return=1&Type=S&Value=9780387590479&userID=ebsco-test&password=ebsco-test
Dimensions
24 cm.
http://library.link/vocab/discovery_link
{'f': 'http://opac.lib.rpi.edu/record=b1325542'}
Extent
viii, 303 p.
Isbn
9780387590479
Isbn Type
(New York : acid-free paper)
Lccn
95-5971
Other physical details
ill.

Library Locations

    • Folsom LibraryBorrow it
      110 8th St, Troy, NY, 12180, US
      42.729766 -73.682577
Processing Feedback ...