عنوان

Theorem provers in circuit design :

شابک

0387590471

شابک

3540491775

شابک

3540590471

شابک

9780387590479

شابک

9783540491774

شابک

9783540590477

شماره

b566339

عنوان اصلي

Theorem provers in circuit design :

نام عام مواد

[Book]

ساير اطلاعات عنواني

theory, practice, and experience : second international conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994 : proceedings

نام نخستين پديدآور

Ramayya Kumar, Thomas Kropf, eds.

محل نشرو پخش و غیره

Berlin ; New York

نام ناشر، پخش کننده و غيره

Springer-Verlag

تاریخ نشرو بخش و غیره

©1995.

نام خاص و کميت اثر

viii, 303 pages : illustrations ; 24 cm.

عنوان فروست

Lecture notes in computer science, 901.

متن يادداشت

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.

عنوان اصلي به زبان ديگر

TPCD '94

موضوع مستند نشده

Automatic theorem proving -- Congresses.

موضوع مستند نشده

Automatic theorem proving.

موضوع مستند نشده

Digital integrated circuits -- Computer-aided design -- Congresses.

شماره رده

نشانه اثر

مستند نام اشخاص تاييد نشده

Ramayya Kumar, Thomas Kropf, eds.

مستند نام اشخاص تاييد نشده

Ramayya Kumar

مستند نام اشخاص تاييد نشده

Thomas Kropf

نام الکترونيکي

نوع ماده

[Book]

تكميل شده

Y