Microprogrammable Computer Architectures
Microprogrammable Computer Architectures
Firmware versus software verification
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
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
The design of a system for the synthesis of correct microprograms
MICRO 8 Proceedings of the 8th annual workshop on Microprogramming
IEEE Transactions on Software Engineering
Firmware versus software verification
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
An introduction to the verification oriented microprogramming language “MIDDLE”
MICRO 11 Proceedings of the 11th annual workshop on Microprogramming
CHAMIL: a case study in microprogramming language design
ACM SIGPLAN Notices
| Hi-index | 0.00 |
The basic ideas of the microprogramming language MIDDLE are presented. The language gives a possibility to describe various properties of an executing hardware without loosing too much from the flexibility of a higher-level programming language. Three purely synctactic transformations defined in the language allow one to get more or less hardware oriented version of a microprogram. The language has full mathematical semantic description which gives the possibility for the microprogram verification based on the known general program-proof methods.