Project

General

Profile

Introduction » History » Version 6

Andrei Tatarnikov, 02/12/2014 06:24 PM

1 1 Andrei Tatarnikov
h1. Introduction
2 2 Andrei Tatarnikov
3 5 Andrei Tatarnikov
*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:
4 6 Andrei Tatarnikov
5
* supported data types;
6
* registers and memory;
7
* addressing modes;
8
* syntax and semantics of instructions.