Introduction » History » Revision 4
Revision 3 (Andrei Tatarnikov, 02/12/2014 05:23 PM) → Revision 4/21 (Andrei Tatarnikov, 02/12/2014 05:39 PM)
h1. 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. A Sim-nML specification represents a programmer''s model of the microprocessor that covers the following aspects: