Author:
Budkowski S.,Dembinski P.
Abstract
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.
Publisher
Association for Computing Machinery (ACM)
Reference15 articles.
1. Certification of microprograms by an algebraic method
2. Boulay G. Microprogramming London 1977.]] Boulay G. Microprogramming London 1977.]]
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献