kamkin – Page 5 – MicroTESK

25Oct 2016 by kamkin No Comments

MicroTESK @ EWDTS 2016

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.

07Oct 2016 by kamkin

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.

03Jun 2016 by kamkin No Comments

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.

10May 2016 by kamkin No Comments

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.

29Jan 2016 by kamkin No Comments

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.

03Dec 2015 by kamkin

MicroTESK for ARMv8 @ MTV 2015

New Features

MicroTESK for ARMv8 will be presented at the 16th annual workshop on Microprocessor Test and Verification (MTV) to be held in Austin, TX on December 3-4, 2015. The presentation describes a tool for automatically generating test programs for ARM VMSAv8-64 memory management units. It consists of two parts: an architecture-independent test program generation core (MicroTESK) and VMSAv8-64 specifications. The specifications comprise descriptions of the memory access instructions, loads and stores, and definition of the memory management mechanisms such as translation lookaside buffers, page tables, and cache units. The tool analyzes the specifications and extracts the execution paths and inter-path dependencies. The extracted information is used to systematically enumerate test programs for a user-defined test template. Test data for a particular program are generated by using symbolic execution and constraint solving…

02Oct 2015 by kamkin

Java SoftFloat

New Features

MicroTESK's floating-point functionality is based on Java SoftFloat, which is a Java implementation of the Berkeley SoftFloat library, a free, high-quality software implementation of binary floating-point that conforms to the IEEE Standard for Floating-Point Arithmetic. As the original version, Java SoftFloat fully implements four floating-point formats: 32-bit single-precision, 64-bit double-precision, 80-bit double-extended-precision, and 128-bit quadruple-precision. Java SoftFloat 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) under the terms of the license, but requires preservation of the copyright notice and disclaimer. The current implementation (v1.0) corresponds to SoftFloat Release 2b (2002 May 27).

04Sep 2015 by kamkin No Comments

MicroTESK 2.3 Alpha Released

New Features

The released version of MicroTESK (v2.3) supports test program generation for MMU. The approach is based on formal specifications of memory access instructions (loads and stores) and buffers (TLB, L1/L2, etc.). Test programs are generated by enumerating all feasible situations (instruction execution paths) and dependencies (sets of inter-instruction conflicts) for a given memory access template. It is important that situations and dependencies are automatically extracted from specifications. New version can be downloaded from the page http://forge.ispras.ru/projects/microtesk/files.