2. TPCD 1994:
Bad Herrenalb,
Germany
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.
Lecture Notes in Computer Science 901 Springer 1994, ISBN 3-540-59047-1 BibTeX
@proceedings{DBLP:conf/tpcd/1994,
editor = {Ramayya Kumar and
Thomas Kropf},
title = {Theorem Provers in Circuit Design - Theory, Practice and Experience,
Second International Conference, TPCD '94, Bad Herrenalb, Germany,
September 26-28, 1994, Proceedings},
booktitle = {TPCD},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {901},
year = {1994},
isbn = {3-540-59047-1},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Research Papers
- Mark Aagaard, Miriam Leeser:
Reasoning About Pipelines with Structural Hazards.
13-32 BibTeX
- Phillip J. Windley, Michael L. Coe:
A Correctness Model for Pipelined Multiprocessors.
33-51 BibTeX
- John W. O'Leary, Miriam Leeser, Jason Hickey, Mark Aagaard:
Non-Restoring Integer Square Root: A Case Study in Design by Principled Optimization.
52-71 BibTeX
- Laurence Pierre:
An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures.
72-91 BibTeX
- Zheng Zhu:
A Compositional Circuit Model and Verification by Composition.
92-109 BibTeX
- C. A. J. van Eijk, Geert Janssen:
Exploiting Structural Similarities in a BDD-Based Verification Method.
110-125 BibTeX
- Steven D. Johnson, Paul S. Miner, Albert John Camilleri:
Studies of the Single Pulser in Various Reasoning Systems.
126-145 BibTeX
- Michael Kishnievsky, Jørgen Staunstrup:
Mechanized Verification of Speed-independence.
146-164 BibTeX
- Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi:
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach.
165-184 BibTeX
- Niels Maretti:
Mechanized Verification of Refinement.
185-202 BibTeX
- David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas:
Effective Theorem Proving for Hardware Verification.
203-222 BibTeX
- Thomas Kropf, Klaus Schneider, Ramayya Kumar:
A Formal Framework for High Level Synthesis.
223-238 BibTeX
Tutorial Papers
Short Papers
Copyright © Sat May 16 23:43:55 2009
by Michael Ley (ley@uni-trier.de)