Introduction » History » Version 3
Andrei Tatarnikov, 02/12/2014 05:23 PM
| 1 | 1 | Andrei Tatarnikov | h1. Introduction |
|---|---|---|---|
| 2 | 2 | Andrei Tatarnikov | |
| 3 | 3 | Andrei Tatarnikov | *Sim-nML* is an architecture description language (ADL) used in MicroTESK to describe the architecture of a microprocessor under verification. It works at the instruction set level concentrating on behavioral properties and hiding implementation details of the microprocessor. |