Verification-Purpose Operating System for Microprocessor System-Level Functions

摘要

Microprocessor system-level functions that provide hardware support for software are difficult to verify on FPGA prototypes. Traditional FPGA verification involves running a general-purpose operating system such as Linux. However, such a GPOS is difficult to control, and debug is inefficient. The verification-purpose operating system, on the other hand, simplifies debug and is easy to control. VPOS also significantly increases coverage over that of GPOS approaches.