4.1.5 Instruction Set and Data Types The AAMP-FV instruction set consists of 80 instructions and is CISC-like, closely resembling the intermediate output of most compilers. ... This provides an efficient means to suspend and resume each task since only the contents of internal registers need to be saved and restored. ... Unrecoverable errors encountered while in user mode, such as execution of an illegal instruction, can also cause control to be transferred back to the executive.
|Title||:||Formal Verification of the AAMP-FV Microcode|