Formal Methods in Computer-Aided Design
FMCAD
B
CORE rank
CORE rank (raw)
B
Fields of research
Software Engineering
Papers indexed
840
1996–2025
Papers per year
199645 peak2025
Most published authors
FMCAD papers
840 records sourced from DBLP. Search titles, filter by year, sort by recency.
| Year | Title | Authors |
|---|---|---|
| 1996 | Verifying Nondeterministic Implementations of Deterministic Systems. | Alok Jain, Kyle L. Nelson, Randal E. Bryant |
| 1996 | Verification Using Uninterpreted Functions and Finite Instantiations. | Ramin Hojati, Adrian J. Isles, Desmond Kirkpatrick, Robert K. Brayton |
| 1996 | HOL Light: A Tutorial Introduction. | John Harrison |
| 1996 | Coverage-Directed Test Generation Using Symbolic Techniques. | Daniel Geist, Monica Farkas, Avner Landver, Yossi Lichtenstein, Shmuel Ur, Yaron Wolfsthal |
| 1996 | An Algebraic Model of Correctness for Superscalar Microprocessors. | Anthony C. J. Fox, Neal A. Harman |
| 1996 | Inverting the Abstraction Mapping: A Methodology for Hardware Verification. | David Cyrluk |
| 1996 | Verification of All Circuits in a Floating-Point Unit Using Word-Level Model Checking. | Yirng-An Chen, Edmund M. Clarke, Pei-Hsin Ho, Yatin Vasant Hoskote, Timothy Kam, Manpreet Khaira, John W. O'Leary, Xudong Zhao |
| 1996 | Experiments in Automating Hardware Verification Using Inductive Proof Planning. | Francisco J. Cantu, Alan Bundy, Alan Smaill, David A. Basin |
| 1996 | ACL2 Theorems About Commercial Microprocessors. | Bishop Brock, Matt Kaufmann, J Strother Moore |
| 1996 | VIS. | Robert K. Brayton, Gary D. Hachtel, Alberto L. Sangiovanni-Vincentelli, Fabio Somenzi, Adnan Aziz, Szu-Tsung Cheng, Stephen A. Edwards, Sunil P. Khatri, Yuji Kukimoto, Abelardo Pardo, Shaz Qadeer, Rajeev K. Ranjan, Shaker Sarwary, Thomas R. Shiple, Gitanjali Swamy, Tiziano Villa |
| 1996 | A Tutorial on Digital Design Derivation Using DRS. | Bhaskar Bose, M. Esen Tuna, Venkatesh Choppella |
| 1996 | HDL-Based Integration of Formal Methods and CAD Tools in the PREVAIL Environment. | Dominique Borrione, H. Bouamama, David Dharbe, C. Le Faou, Ayman M. Wahba |
| 1996 | Formal Specification and Verification of VHDL. | Mark Bickford, Damir Jamsek |
| 1996 | Validity Checking for Combinations of Theories with Equality. | Clark W. Barrett, David L. Dill, Jeremy R. Levitt |
| 1996 | BMDs Can Delay the Use of Theorem Proving for Verifying Arithmetic Assembly Instructions. | Laurent Arditi |
826–840 of 840← PreviousNext →
Comparable venues
Other A*/A conferences filed under the same field of research.
- A*ICSEInternational Conference on Software Engineering
- AOOPSLAACM Conference on Object Oriented Programming Systems Languages and Applications
- AMODELSInternational Conference on Model Driven Engineering Languages and Systems (Previously UML, changed in 2005)
- AREIEEE International Requirements Engineering Conference
- ABPMInternational Conference in Business Process Management
- AISSREInternational Symposium on Software Reliability Engineering
- AICSTInternational Conference on Software Testing, Verification and Validation
- A*SIGMETRICSMeasurement and Modeling of Computer Systems