1. TPCD 1992:
Nijmegen,
The Netherlands
Victoria Stavridou, Thomas F. Melham, Raymond T. Boute (Eds.):
Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG 10.2 International Conference on Theorem Provers in Circuit Design: Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24 June 1992, Proceedings.
IFIP Transactions A-10 North-Holland 1992, ISBN 0-444-89686-4 BibTeX
@proceedings{DBLP:conf/tpcd/1992,
editor = {Victoria Stavridou and
Thomas F. Melham and
Raymond T. Boute},
title = {Theorem Provers in Circuit Design, Proceedings of the IFIP TC10/WG
10.2 International Conference on Theorem Provers in Circuit Design:
Theory, Practice and Experience, Nijmegen, The Netherlands, 22-24
June 1992, Proceedings},
booktitle = {TPCD},
publisher = {North-Holland},
series = {IFIP Transactions},
volume = {A-10},
year = {1992},
isbn = {0-444-89686-4},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
Research Papers
- Bishop Brock, Warren A. Hunt Jr., William D. Young:
Introduction to a Formally Defined Hardware Description Language.
3-35 BibTeX
- Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man:
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic.
37-57 BibTeX
- Tiziana Margaria:
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level.
59-75 BibTeX
- Keith Hanna, Neil Daeche, Gareth Howells:
Implementation of the Veritas Design Logic.
77-94 BibTeX
- Hans Henrik Løvengreen, Jørgen Staunstrup:
Synchronous Realization of Asynchronous Computations.
95-110 BibTeX
- D. J. Kinniment, Albert Koelmans:
Modelling and Verification of Timing Conditions with the Boyer Moore Prover.
111-127 BibTeX
- Richard J. Boulton, Andrew Gordon, Michael J. C. Gordon, John Harrison, John Herbert, John Van Tassel:
Experience with Embedding Hardware Description Languages in HOL.
129-156 BibTeX
- John Herbert:
Incremental Design and Formal Verification of Microcoded Microporcessors.
157-174 BibTeX
- Holger Busch:
Transformational Design in a Theorem Prover.
175-196 BibTeX
- Victoria Stavridou, Joseph A. Goguen, A. Stevens, S. M. Eker, S. N. Aloneftis, K. M. Hobley:
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment.
197-223 BibTeX
- Mark Bickford, Mandayam K. Srivas:
Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification.
225-251 BibTeX
- Simon Bainbridge, Albert John Camilleri, Roger Fleming:
Theorem Proving as an Industrial Tool for System Level Desgin.
253-274 BibTeX
Tutorial Papers
Copyright © Sat May 16 23:43:55 2009
by Michael Ley (ley@uni-trier.de)
