| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Michael Kishinevsky, Jørgen Staunstrup |
Mechanized Verification of Speed-independence.  |
TPCD  |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Michel Allemand |
Formal Verification of Characteristic Properties. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Mark D. Aagaard, Miriam Leeser |
Reasoning About Pipelines with Structural Hazards. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kropf, Klaus Schneider 0001, Ramayya Kumar |
A Formal Framework for High Level Synthesis. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | David Cyrluk, S. Rajan, Natarajan Shankar, Mandayam K. Srivas |
Effective Theorem Proving for Hardware Verification. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Sam Owre, John M. Rushby, Natarajan Shankar, Mandayam K. Srivas |
A Tutorial on Using PVS for Hardware Verification. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | G. Bezzi, Massimo Bombana, Patrizia Cavalloro, Salvatore Conigliaro, Giuseppe Zaza |
Quantitative Evaluation of Formal Based Synthesis in ASIC Design. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Maretti |
Mechanized Verification of Refinement. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Holger Busch |
A Reduced Instruction Set Proof Environment. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Steven D. Johnson, Paul S. Miner, Albert John Camilleri |
Studies of the Single Pulser in Various Reasoning Systems. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Thomas Kropf |
Benchmark-Circuits for Hardware-Verification. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Kathi Fisler |
Extending Formal Reasoning with Support for Hardware Diagrams. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Phillip J. Windley, Michael L. Coe |
A Correctness Model for Pipelined Multiprocessors. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Laurence Pierre |
An Automatic Generalization Method for the Inductive Proof of Replicated and Parallel Architectures. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Junji Kitamichi, Sumio Morioka, Teruo Higashino, Kenichi Taniguchi |
Automatic Correctness Proof of the Implementation of Synchronous Sequential Circuits Using an Algebraic Approach. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
DBLP DOI BibTeX RDF |
|
| 1 | Zheng Zhu |
A Compositional Circuit Model and Verification by Composition. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | C. A. J. van Eijk, Geert Janssen |
Exploiting Structural Similarities in a BDD-Based Verification Method. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | 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 |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Niels Mellergaard, Jørgen Staunstrup |
Tutorial on Design Verification with Synchronized Transitions. |
TPCD |
1994 |
DBLP DOI BibTeX RDF |
|
| 1 | Keith Hanna, Neil Daeche, Gareth Howells 0001 |
Implementation of the Veritas Design Logic. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | 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 |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Mark Bickford, Mandayam K. Srivas |
Verification of a Fault-Tolerant Property of a Multiprocessor System: A Case Study in Theorem Prover-Based Verification. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Holger Busch |
Transformational Design in a Theorem Prover. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Simon Bainbridge, Albert John Camilleri, Roger Fleming |
Theorem Proving as an Industrial Tool for System Level Desgin. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | John Herbert |
Incremental Design and Formal Verification of Microcoded Microporcessors. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Jørgen Staunstrup, Stephen J. Garland, John V. Guttag |
Mechanized Verification of Circuit Descriptions Using the Larch Prover. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Victoria Stavridou, Joseph A. Goguen, Andrew Stevens, Steven M. Eker, Serge N. Aloneftis, Keith Michael Hobley |
FUNNEL and 2OBJ: Towards an Integrated Hardware Design Environment. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Beth Levy, Ivan Filippenko, Leo Marcus, Telis Menas |
Using the State Delta Verification System (SDVS) for Hardware Verification. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Diederik Verkest, J. Vandenbergh, Luc J. M. Claesen, Hugo De Man |
A Description Methodology for Parameterized Modules in the Boyer-Moore Logic. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Keith Hanna, Neil Daeche |
The Veritas Design Logic: A User's View. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Paul B. Jackson |
Nuprl and Its Use in Circuit Design. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Tiziana Margaria |
Hierarchical Mixed-Mode Verification of Complex FSMs Described at the RT Level. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Richard J. Boulton, Andrew D. Gordon 0001, Michael J. C. Gordon, John Harrison 0001, John Herbert, John Van Tassel |
Experience with Embedding Hardware Description Languages in HOL. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Bishop Brock, Warren A. Hunt Jr., William D. Young |
Introduction to a Formally Defined Hardware Description Language. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | Hans Henrik Løvengreen, Jørgen Staunstrup |
Synchronous Realization of Asynchronous Computations. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
| 1 | D. J. Kinniment, Albert Koelmans |
Modelling and Verification of Timing Conditions with the Boyer Moore Prover. |
TPCD |
1992 |
DBLP BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")
data released under the ODC-BY 1.0 license