A practical method for rigorously controllable hardware design
- 1 January 1997
- book chapter
- Published by Springer Nature
- p. 149-187
- https://doi.org/10.1007/bfb0027289
Abstract
No abstract availableKeywords
This publication has 15 references indexed in Scilit:
- Towards a methodology for the formal hierarchical verification of RISC processorsPublished by Institute of Electrical and Electronics Engineers (IEEE) ,2002
- Correctness of compiling Occam to transputer codeThe Computer Journal, 1996
- Automatic verification of pipelined microprocessor controlPublished by Springer Nature ,1994
- From processor timing specifications to static instruction schedulingPublished by Springer Nature ,1994
- Occam in the specification and verification of microprocessorsPhilosophical Transactions A, 1992
- Formal verification of a pipelined microprocessorIEEE Software, 1990
- Correctness Properties of the Viper Block Model: The Second LevelPublished by Springer Nature ,1989
- Formal Verification and Implementation of a MicroprocessorPublished by Springer Nature ,1988
- Formal specification and documentation of microprocessor instruction setsMicroprocessing and Microprogramming, 1987
- How to Make a Multiprocessor Computer That Correctly Executes Multiprocess ProgramsIEEE Transactions on Computers, 1979