Formal specification and verification of microprocessor systems
- 14 August 1988
- journal article
- Published by Elsevier in Microprocessing and Microprogramming
- Vol. 24 (1-5) , 371-378
- https://doi.org/10.1016/0165-6074(88)90081-6
Abstract
No abstract availableKeywords
This publication has 3 references indexed in Scilit:
- Logic programming and digital circuit analysisThe Journal of Logic Programming, 1987
- Instruction set processor specifications (ISPS): The notation and its applicationsIEEE Transactions on Computers, 1981
- Edinburgh LCFLecture Notes in Computer Science, 1979