A survey of microprogram verification and validation methods
Open Access
- 1 January 1981
- journal article
- research article
- Published by Oxford University Press (OUP) in The Computer Journal
- Vol. 24 (2) , 139-142
- https://doi.org/10.1093/comjnl/24.2.139
Abstract
Microprograms are increasingly being used to replace software controlled hardware in digital systems. Microprograms are at the heart of digital systems which use them. Consequently it has become necessary to guarantee that these microprograms are correct, i.e. (i) they are free of programming errors, and (ii) they satisfy the given specifications. Verification of microprogram correctness uses formal mathematical methods to provide rigorous proofs of their correctness. Validation of microprograms, on the other hand, aims to increase our confidence in their correctness by means of extensive simulation and testing. This paper provides a survey of verification and validation methods of microprograms along with a discussion of the differences in this respect between microprograms and software.Keywords
This publication has 0 references indexed in Scilit: