Introduction » History » Version 9
Andrei Tatarnikov, 02/14/2014 12:29 PM
| 1 | 1 | Andrei Tatarnikov | h1. Introduction |
|---|---|---|---|
| 2 | 2 | Andrei Tatarnikov | |
| 3 | 9 | Andrei Tatarnikov | *_Sim-nML_* is an architecture description language (ADL) used in MicroTESK to describe the architecture of a microprocessor under verification. It is a a flexible and easy-to-use language based on attribute grammar. Sim-nML was designed to specify microprocessor architecture for various microprocessor-related software tools including instruction-set simulators, assemblers, disassemblers, compiler back-ends etc. It works at the instruction set level concentrating on behavioral properties and hiding implementation details of the microprocessor. A Sim-nML specification represents a programmer''s model of the microprocessor that covers the following aspects: |
| 4 | 6 | Andrei Tatarnikov | |
| 5 | * supported data types; |
||
| 6 | * registers and memory; |
||
| 7 | * addressing modes; |
||
| 8 | * syntax and semantics of instructions. |