Difficulties of the Unit-Level Hardware Verification on the Example of the Instruction Buffer of the Elbrus-2S Microprocessor.
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.
Voprosy radioehlektroniki [Issues of Radio Electronics], no. 3, 2013. P. 84-96.