Installation Instruction¶

UNDER CONSTRUCTION

System requirements:¶

MicroTESK is a Java application. It requires JDK 1.6 or later installed on the machine. To build generated Java models, Apache Ant version 1.8 or later is required.

Installation steps:¶

1. Download and unpack the MicroTESK installation package (the .tar.gz file) to your computer.
2. The installation folder contains the following subfolders:
• arch Stores examples of microprocessor specifications and test templates for the described designs.
• bin Stores scripts to run features of MicroTESK (modelling and test generation)
• javadoc
• output
• xdocs Stores documentation on MicroTESK and nML/Sim-nML