TPCD

Keyphrases

Publications

1994

Michael Kishinevsky, Jørgen Staunstrup
Mechanized Verification of Speed-independence. TPCD (1994)
Michel Allemand
Formal Verification of Characteristic Properties. TPCD (1994)
Mark D. Aagaard, Miriam Leeser
Reasoning About Pipelines with Structural Hazards. TPCD (1994)
Thomas Kropf, Klaus Schneider, Ramayya Kumar
A Formal Framework for High Level Synthesis. TPCD (1994)
David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas
Effective Theorem Proving for Hardware Verification. TPCD (1994)
Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas
A Tutorial on Using PVS for Hardware Verification. TPCD (1994)
G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza
Quantitative Evaluation of Formal Based Synthesis in ASIC Design. TPCD (1994)
Niels Maretti
Mechanized Verification of Refinement. TPCD (1994)
Holger Busch
A Reduced Instruction Set Proof Environment. TPCD (1994)
Steven D. Johnson, Paul S. Miner, Albert John Camilleri
Studies of the Single Pulser in Various Reasoning Systems. TPCD (1994)
Thomas Kropf
Benchmark-Circuits for Hardware-Verification. TPCD (1994)
Kathi Fisler
Extending Formal Reasoning with Support for Hardware Diagrams. TPCD (1994)
Phillip J. Windley, Michael L. Coe
A Correctness Model for Pipelined Multiprocessors. TPCD (1994)
Laurence Pierre
An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures. TPCD (1994)
Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. TPCD (1994)
John W. O'Leary, Miriam Leeser, Jason Hickey, Mark D. Aagaard
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization. TPCD (1994)
Zheng Zhu
A Compositional Circuit Model and Verification by Composition. TPCD (1994)
C. A. J. van Eijk, Geert Janssen
Exploiting Structural Similarities in a BDD-Based Verification Method. TPCD (1994)
Niels Mellergaard, Jørgen Staunstrup
Tutorial on Design Verification with Synchronized Transitions. TPCD (1994)

volume 901, 1994

Theorem Provers in Circuit Design - Theory, Practice and Experience, Second International Conference, TPCD '94, Bad Herrenalb, Germany, September 26-28, 1994, Proceedings TPCD 901 (1994)

1992