Introduction¶

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.