Month: December 2018

MicroTESK framework and machine-readable specifications of the RISC-V ISA were presented at RISC-V Summit held in Santa Clara, CA on December 3-6, 2018 and Workshop on Microprocessor/SoC Test, Security & Verification (MTV) held in Austin, TX on December 10-11, 2018. We reviewed MicroTESK for RISC-V and discussed a couple of its applications: test program generation and binary code verification. RISC-V is a free and open ISA enabling a new era of processor innovation through open standard collaboration. Each year, the RISC-V Foundation hosts global events to bring the expansive ecosystem together to discuss current and prospective RISC-V projects and implementations, as well as collectively drive the future evolution of the ISA forward. This was the first-ever RISC-V Summit with 1000+ registrants from 20 countries around the globe, 29 exhibitors, and…

MicroTESK was presented at the Technology Exhibition of the ISPRAS OPEN Conference held in Moscow on November 22-23, 2018. ISPRAS Open is an annual event organized by Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISPRAS). This year's conference was dedicated to the 70th anniversary of Russian Computer Science. On June 29, 1948, the Council of Ministers of the USSR issued the Decree №2369 on organization of Institute of Precision Mechanics and Computer Engineering (IPM and CE) of the Academy of Sciences of the USSR. On December 4, 1948, Isaak Brook, a corresponding member of the Academy of Sciences of the USSR, and his team received a certificate №10475 for invention of the electronic computing machine. On December 17, 1948, the Council of Ministers of the USSR…