Ivannikov Institute for System Programming of the RAS


Difficulties of the Unit-Level Hardware Verification on the Example of the Instruction Buffer of the Elbrus-2S Microprocessor.

Authors

R.A. Baratov, A.S. Kamkin, V.M. Mayorova, A.N. Meshkov, A.A. Sortov, M.A. Yakusheva

Abstract

The experience of standalone verification of the instruction buffer of the Elbrus-2S microprocessor with the C++TESK tool is described. Basing on it, general problems of the industrial hardware verification are identified, and ways to solve them are suggested. A brief description of the instruction buffer and its features that complicate verification is given. Technical and organizational solutions having been applied in the project are discussed. The generality of the problems under consideration allows using the suggested solutions for verifying other devices.

Keywords

Hardware Modeling, Functional Verification, Model-Based Testing, Reverse Engineering.

Edition

Voprosy radioehlektroniki [Issues of Radio Electronics], no. 3, 2013. P. 84-96.

Research Group

Software Engineering

All publications during 2013 All publications