Formal specification and documentation of microprocessor instruction sets

• 31 August 1987
• journal article
• Published by Elsevier in Microprocessing and Microprogramming
• Vol. 21  (1-5) , 223-230
• https://doi.org/10.1016/0165-6074(87)90042-1

Abstract

Keywords

• INSTRUCTION SETS
• MICROPROCESSOR INSTRUCTION
• FORMAL SPECIFICATION
• LANGUAGE Z
• ZED
• COMPLICATED
• INFORMAL TEXT
• Z COMBINED