DDD-FM9001: Derivation of a Verified Microprocessor (1994)

by Bhaskar Bose
Citations:21 - 6 self

Active Bibliography

3 Integrating Boolean Verification with Formal Derivation – Bhaskar Bose, Bhaskar Bose, Steven D. Johnson, Steven D. Johnson, Shyamsundar Pullela, Shyamsundar Pullela - 1993
90 Formal Verification in Hardware Design: A Survey – Christoph Kern, Mark R. Greenstreet - 1999
1 Propositional Theorem Proving by Semantic Tree Trimming for Hardware Verification – William John Yakowenko - 1999
Formalizing abstraction mechanisms . . . – Thomas Frederick Melham - 1990
20 Structuring and Automating Hardware Proofs in a Higher-Order Theorem-Proving Environment – Ramayya Kumar, Klaus Schneider, Thomas Kropf - 1993
Decomposing Digital-system Specifications into Interacting Sequential Processes – Steven D. Johnson, David E. Winkel, Bhaskar Bose, Zheng Zhu, Kamlesh Rath, Esen Tuna, C. David, Willie Hunt - 1991
60 Safety-Critical Systems, Formal Methods and Standards – Jonathan P. Bowen, Jonathan Bowen, Victoria Stavridou, Victoria Stavridou - 1993
3 Formal Methods: Why Should I Care? - The development of the T800 transputer floating-point unit – Jeremy Gibbons - 1993
48 The Notion of Proof in Hardware Verification – Avra Cohn - 1989
12 Report on the Formal Specification and Partial Verification of the VIPER Microprocessor – Bishop Brock , Warren A. Hunt, Jr. - 1990
19 Verity -- a Formal Verification Program for Custom CMOS Circuits – Andreas Kuehlmann , Arvind Srinivasan, David P. Lapotin - 1994
2 Distinguishing Formulas for Free – Tiziana Margaria, Bernhard Steffen, Aachener Informatikberichte - 1993
19 Formal Hardware Verification By Symbolic Trajectory Evaluation – Alok Jain - 1997
1 Formal Methods for Functional Verification – Randal E. Bryant, James H. Kukula
6 Differential BDDs – Anuchit Anuchitanukul, Zohar Manna, Tom├ís E. Uribe - 1995
3 The Role of Automated Reasoning in Integrated System Verification Environments – Donald I. Good, Matt Kaufmann, J Strother Moore - 1992
Symbolic Methods in Simulation-based Verification – Jun Yuan - 2002
1 A Light-Weight Framework for Hardware Verification – Christoph Kern, Tarik Ono-tesfaye, Mark R. Greenstreet - 1999
69 Formal Methods and the Certification of Critical Systems – John Rushby - 1993