Month: October 2016

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.

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.

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.