Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/005651028/catalog> ?p ?o. }

Showing items 1 to 30 of 30 with 100 items per page.

catalog abstract ""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.".
catalog contributor b7961532.
catalog contributor b7961533.
catalog contributor b7961534.
catalog created "c1995.".
catalog date "1995".
catalog date "c1995.".
catalog dateCopyrighted "c1995.".
catalog description ""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.".
catalog description "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 [and others] -- 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 [and others] -- Mechanized verification of refinement / Niels Maretti -- Effective theorem proving for hardware verfication / D. Cyrluk [and others] -- 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 [and others] -- A reduced instruction set proof environment / Holger Busch -- Quantitative evaluation of formal based synthesis in ASIC design / G. Bezzi [and others] -- Formal verification of characteristic properties / Michel Allemand -- Extending formal reasoning with support for hardware diagrams / Kathi Fisler.".
catalog description "Includes bibliographical references.".
catalog extent "viii, 303 p. :".
catalog identifier "0387590471 (New York : acid-free paper)".
catalog identifier "3540590471 (Berlin : acid-free paper)".
catalog isPartOf "Lecture notes in computer science ; 901".
catalog issued "1995".
catalog issued "c1995.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer-Verlag,".
catalog subject "621.39/2 20".
catalog subject "Automatic theorem proving Congresses.".
catalog subject "Computer-aided design Congresses.".
catalog subject "Digital integrated circuits Computer-aided design Congresses.".
catalog subject "Digital integrated circuits Design and construction Data processing Congresses.".
catalog subject "TK7874.65 .T54 1995".
catalog tableOfContents "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 [and others] -- 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 [and others] -- Mechanized verification of refinement / Niels Maretti -- Effective theorem proving for hardware verfication / D. Cyrluk [and others] -- 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 [and others] -- A reduced instruction set proof environment / Holger Busch -- Quantitative evaluation of formal based synthesis in ASIC design / G. Bezzi [and others] -- Formal verification of characteristic properties / Michel Allemand -- Extending formal reasoning with support for hardware diagrams / Kathi Fisler.".
catalog title "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.".
catalog type "Conference proceedings. fast".
catalog type "Herrenalb (1994) swd".
catalog type "text".