MicroTESK was presented at the Digital Design and Computer Architecture workshop, a part of the Nano and Giga Challenges in Electronics (NGC) conference held in Tomsk, Russia on September 18-22, 2017.
It was a Russian-speaking forum divided into two tracks: a student school and a meeting on digital design education. Alexander Kamkin made a presentation at the second track.
We think that MicroTESK is a good option for teaching computer design and verification. Here are some reasons for that.
- Test program generators (TPGs) are essential verification tools.
- MicroTESK is an open-source TPG, while other similar tools are closed.
- MicroTESK includes a set of pre-defined ISA specifications, e.g., MIPS.
- MicroTESK is being used in real-life CPU design projects.