MicroTESK @ ICAM 2018

Home / New Features / MicroTESK @ ICAM 2018

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.