Introduction » History » Revision 10
Revision 9 (Andrei Tatarnikov, 02/14/2014 12:29 PM) → Revision 10/21 (Andrei Tatarnikov, 02/14/2014 12:34 PM)
h1. Introduction *_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 provide a retargetable way 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 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: * supported data types; * registers and memory; * addressing modes; * syntax and semantics of instructions.