The recent MicroTESK build (2.4.17) contains the revisited x86 (8086) demo with the ISA specification and test templates illustrating the basic facilities of the tool.
The build can be downloaded from the link below:
http://forge.ispras.ru/…/microtesk-2.4.17-beta-170407.tar.gz
Here is a brief explanation how to get started with the demo:
http://forge.ispras.ru/…/micr…/wiki/Getting_Started_with_x86
