MicroTESK @ ISPRAS OPEN 2016

Conferences
MicroTESK for ARMv8 was presented at the ISPRAS OPEN Conference held in Moscow, December 1-2, 2016. A. Kamkin, A. Kotsynyak, A. Protsenko, A. Tatarnikov, M. Chupilko. MicroTESK-Based Test Program Generator for the ARMv8 Architecture. The ISPRAS Open Conference is the annual event organized by Institute for System Programming of the Russian Academy of Sciences.
Read More

Open-Source MicroTESK for MIPS64

New Features
We are happy to announce that we made the MicroTESK for MIPS64 project open source. The package consisting of the MicroTESK core, the MIPS64 (Revision 6) specifications, and the basic test templates is distributed under the Apache License, Version 2.0, which implies the freedom to use the software for any purpose: to distribute it, to modify it, and to distribute modified versions of the software. Feel free to contact us if you have any questions. MIPS is a trademark of Imagination Technologies LTD.
Read More

MicroTESK 2.4

New Features
We started a new version of MicroTESK, namely 2.4. Our goal is to support verification of microprocessors with multiple processing elements (PE). The main idea is to maintain several instances of instruction set simulator (ISS) resources during test program generation. Each instance is initialized according to the rules defined in the ‘instantiate’ operation. op instantiate(id: WORD) action = { Reg1 = Expr1(id); ... RegN = ExprN(id); } The number of instances used by the test program generator is set by the ‘instance-number’ option (by default, it is equal to 1). The MicroTESK distribution package can be downloaded from http://forge.ispras.ru/projects/microtesk/files.
Read More

MicroTESK for MIPS64 @ CEE-SECR 2016

Conferences
MicroTESK for MIPS64 was presented at the Central & Eastern European Software Engineering Conference in Russia (CEE-SECR) held in Moscow, Digital October Center, October 28–29, 2016. Alexander Kamkin. Automated Development of Test Program Generators for Microprocessors on the Example of MIPS (in Russian). http://2016.secr.ru/lang/en/program/submitted-presentations/automated-development-of-test-program-generators-for-microprocessors-on-the-example-of-mips SECR is one of the brightest annual IT events in Russia. Over the years it has become one of the largest platforms for sharing experience, obtaining knowledge and networking. One of the important conference features is SECR scope. Software development process is considered in all its aspects: technologies, management, education, HR, business, etc.
Read More

MicroTESK @ EWDTS 2016

Conferences
MicroTESK was presented at the IEEE East-West Design & Test Symposium (EWDTS) held in Yerevan, Armenia on October 14-17, 2016. We made several presentations including one related to MicroTESK: A. Tatarnikov. An Approach to Instruction Stream Generation for Functional Verification of Microprocessor Designs. The main target of the EWDTS is to exchange experiences between scientists and technologies from Eastern and Western Europe, as well as North America and other parts of the world, in the field of design, design automation and test of electronic circuits and systems. The symposium is typically held in countries around East Europe, the Black Sea, the Balkans and Central Asia region.
Read More

MicroTESK @ MES 2016

Conferences
MicroTESK was presented at the 7th All-Russia Science & Technology Conference 'Problems of Advanced Micro- and Nanoelectronic Systems Development' (MES) held in Zelenograd, Moscow on October 3-7, 2016. We made two presentations (in Russian): A. Tatarnikov. Combinatorial Test Program Generation for Microprocessors Based on Formal Specifications of Instruction Set Architecture. A. Kamkin, A. Kotsynyak. Specification-Based Test Program Generation for MIPS64 Memory Management Units. MES is the biggest Russian conference devoted to urgent issues of design automation of microelectronic systems, SoCs, IP-blocks and a new element base of micro-and nanoelectronics.
Read More

MicroTESK @ ICAM 2016

Conferences
MicroTESK will be presented at the 11th International Conference on Computer-Aided Technologies in Applied Mathematics (ICAM) to be held in Ekaterinburg, Russia on June 6-10, 2016. We will make the following presentation: A. Tatarnikov. Constructing Behavioral Models of Microprocessors for Test Program Generation. The aim of ICAM is to provide opportunities to bring together practitioners and researchers in the field of applied mathematics and its applications.
Read More

MicroTESK @ SYRCoSE 2016

New Features
MicroTESK will be presented at the 10th Spring/Summer Young Researchers' Colloquim on Software Engineering (SYRCoSE). The event will take place on May 30 - June 1, 2016 in the Recreation Center of Moscow State University (Krasnovidovo, Mozhaysk Region). We will make the following presentations: A. Kamkin, A. Kotsynyak. Specification-Based Test Program Generation for MIPS64 Memory Management Units. A. Tatarnikov. Language for Describing Templates for Test Program Generation for Microprocessors. SYRCoSE is an annual colloquium on software engineering targeted at young researchers (students, postgraduates, young PhDs, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops.  
Read More

MicroTESK for ARMv8 @ DATE 2016

Conferences
MicroTESK for ARMv8 will be presented at the University Booth exhibition of the Design, Automation and Test in Europe Conference (DATE) to be held on March 14-18 in Dresden, Germany. DATE is the main European event bringing together designers and design automation users, researchers and vendors, as well as specialists in the hardware and software design, test and manufacturing of electronic circuits and systems.  
Read More