The MicroTESK team attended the conference “Computer-Aided Technologies in Applied Mathematics” (ICAM) held in Katun, Altai Region, Russia on June 4-8, 2018.
We did two presentations on MicroTESK:
- Alexander Kamkin. Architecture-Level Microprocessor Verification Based on Formal Specifications;
- Alexander Protsenko & Andrei Tatarnikov. Automatic Test Template Generation Based on ISA Specifications.