Efficient random vector verification method for an embedded 32-bit RISC core

Abstract

Processors require both intensive and extensive functional verification in their design phase to satisb their general purposability. The proposed random vector verification method for CalmRISCTM-32 core meets this goal by contributing complementary assistance for conventional verification methods. It adopts a cycle-accurate instruction level simulator as a reference model, runs simulation in both the reference and the target HDL and reports errors ifany difference is found between them. These processes are automatically performed in the unifed environment. The instruction level simulator, the core part in the verijkation environment is able to simulate almost every aspect of RISC processors from functional behavior of each opcode to timing details in the pipeline flow in fast speed. Its design style from microprogramming scheme also makes its structure modular and flexible.