MicroTESK

MicroTESK will be presented at the 16th annual workshop on Microprocessor Test and Verification to be held in Austin, TX on December 3-4, 2015.

The presentation is entitled 'Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units'. It describes a tool for automatically generating test programs for ARM VMSAv8-64 memory management units. The solution is based on the MicroTESK framework. The tool consists of two parts: an architecture-independent test program generation core and VMSAv8-64 specifications. Such separation is not a new principle in the area — it is applied in a number of industrial test program generators, including IBM's Genesys-Pro. The main distinction is in how specifications are represented, what sort of information is extracted from them, and how that information is exploited. In the suggested approach, 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 given user-defined template. Test data for a particular program are generated by using symbolic execution and constraint solving techniques.

The purpose of MTV is to bring researchers and practitioners from the fields of verification and test together to exchange innovative ideas and to develop new methodologies to solve the difficult challenges facing us today in various processor and SOC design environments.