Introduction » History » Revision 7
Revision 6 (Andrei Tatarnikov, 02/12/2014 06:24 PM) → Revision 7/21 (Andrei Tatarnikov, 02/12/2014 06:29 PM)
h1. Introduction *_Sim-nML_* *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. Sim-nML is flexible and easy-to-use language based on attribute grammar. A Sim-nML specification represents a programmer''s model of the microprocessor that covers the following aspects: * supported data types; * registers and memory; * addressing modes; * syntax and semantics of instructions.