Microprogrammable Computer Architectures
Microprogrammable Computer Architectures
Introduction to Mathematical Theory of Computation
Introduction to Mathematical Theory of Computation
A Discipline of Programming
An introduction to the verification oriented microprogramming language “MIDDLE”
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
Certification of microprograms by an algebraic method
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
Automated proofs of microprogram correctness
MICRO 9 Proceedings of the 9th annual workshop on Microprogramming
An introduction to the verification oriented microprogramming language “MIDDLE”
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
High level microprogramming: current usage, future prospects
ACM SIGMICRO Newsletter
| Hi-index | 0.00 |
The paper presents an uniform framework in which the firmware verification problem can be reduced to the software one. It is shown how to transform the control memory (ROM) content into a microprogram written in the specially designed language MIDDLE and what kind of information has to be included in the hardware documentation in order to make the transformation possible. Once such a microprogram is found, different software methods of verification, outlined in the paper, can be applied.