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

by Bhaskar Bose
Citations:21 - 6 self

Documents Related by Co-Citation

27 A Formal HDL and its Use in the FM9001 Verification – Warren A. Hunt, Jr., Bishop C. Brock, Its Proof Internal Note - 1992
28 DDD: A System for Mechanized Digital Design Derivation – Steven D. Johnson, Bhaskar Bose - 1997
18 Manipulating logical organization with system factorizations – Steven D Johnson - 1989
50 Synthesis of Digital Designs from Recursion Equations – Steven D Johnson - 1984
17 DDD - A Transformation system for Digital Design Derivation – Bhaskar Bose
260 Automatic Verification of Pipelined Microprocessor Control – Jerry Burch, David Dill - 1994
6 Toward a Basis for Protocol Specification and Process Decomposition – Kamlesh Rath, Kamlesh Rath, Steven D. Johnson, Steven D. Johnson - 1993
55 D.: Using Statecharts for Hardware Description and Synthesis – D Drusinsky, Harel - 1989
5 DDD-FM9001: Derivation of a veri ed microprocessor. an exercise in integrating veri cation with formal derivation – Bhaskar Bose, Steven D Johnson - 1993
4 A formal HDL and its use in the FM9001 veri cation – Warren A Hunt, B Brock - 1992
63 Formal Verification of the AAMP5 Microprocessor - A Case Study in the . . . – Steven P. Miller - 1995
12 Behavior Tables: A Basis for System Representation and Transformational System Synthesis – Kamlesh Rath, Kamlesh Rath, M. Esen Tuna, M. Esen Tuna, Steven D. Johnson, Steven D. Johnson - 1993
12 A tactical framework for digital design – Steven D Johnson, B Bose, C D Boyer - 1988
5 Verifying SECD in HOL – G Birtwistle, B Graham - 1990
397 A Computational Logic Handbook – R S Boyer, J S Moore - 1988
2 Verification of a pipelined processor using Clio – M Bickford, M Srivas - 1990
8 Designing chips that work – D May, G Barrett, D Shepherd - 1992
60 Techniques for Verifying Superscalar Microprocessors – J R Burch - 1996
13 Formal Synthesis in Circuit Design - A Classification and Survey – Ramayya Kumar, Christian Blumenröhr, Dirk Eisenbiegler, Detlef Schmid - 1996