Introduction » History » Revision 2
Revision 1 (Andrei Tatarnikov, 02/12/2014 02:58 PM) → Revision 2/21 (Andrei Tatarnikov, 02/12/2014 05:16 PM)
h1. Introduction
*Sim-nML* is an architecture description language (ADL) used in MicroTESK to describe the architecture of a microprocessor under verification.