As usual, December was rich in events for our team. We attended three conferences, one in Russia and two in USA, where we presented MicroTESK in general (core and engines), MicroTESK for RISC-V (tools for test program generation and deductive binary code verification), and RISC-V Architecture Verification Suite, so-called RISC-V AVS (a set of test programs generated mostly by MicroTESK):
- Ivannikov ISP RAS Open Conference (ISPRAS Open) held in Moscow, Russia on December 5-6, 2019
- Microprocessor Test and Verification Workshop (MTV) held in Austin, TX, USA on December 9-10, 2019
- RISC-V Summit held in San Jose, CA, USA on December 9-12, 2019
We are full of plans and looking forward to implementing them next year.