Title :
Verification-Purpose Operating System for Microprocessor System-Level Functions
Author :
Gong, Lingkan ; Lu, Jingfen
Author_Institution :
Dept. of IC Design, East China Inst. of Comput. Technol., Shanghai, China
Abstract :
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.
Keywords :
Linux; field programmable gate arrays; microprocessor chips; FPGA prototypes; GPOS; Linux; microprocessor system-level functions; verification-purpose operating system; Automatic testing; Field programmable gate arrays; Hardware; Memory management; Microprocessors; Operating systems; Software prototyping; Software testing; System testing; Virtual prototyping; FPGA; VPOS; Verification-Purpose Operating System; design and test; microprocessor verification; system-level function;
Journal_Title :
Design & Test of Computers, IEEE
DOI :
10.1109/MDT.2010.28
