This Article 
 Bibliographic References 
 Add to: 
Verification-Purpose Operating System for Microprocessor System-Level Functions
January/February 2010 (vol. 27 no. 1)
pp. 76-85
Lingkan Gong, East China Institute of Computer Technology
Jingfen Lu, East China Institute of Computer Technology

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.

1. J. Ray, "High-Level Modeling and FPGA Prototyping of Microprocessors," Proc. ACM/SIGDA 11th Int'l Symp. Field Programmable Gate Arrays, ACM Press, 2003, pp. 100-107.
2. M. Gschwind et al., "FPGA Prototyping of a RISC Processor Core for Embedded Applications," IEEE Trans. Very Large Scale Integration (VLSI) Systems, vol. 9, no. 2, 2001, pp. 241-250.
3. J.J. Labrosse, μC/OS: The Real Time Kernel, R&D Publications, 1992.
4. S. Fine and A. Ziv, "Coverage Directed Test Generation for Functional Verification Using Bayesian Networks," Proc. 40th Design Automation Conf. (DAC 03), ACM Press, 2003, pp. 286-291.
5. I. Wagner, V. Bertacco, and T. Austin, "Microprocessor Verification via Feedback-Adjusted Markov Models," IEEE Trans. Computer-Aided Design of Integrated Circuits and Systems, vol. 26, no. 6, 2007, pp. 1126-1138.
6. A. Adir et al., "Genesys-Pro: Innovations in Test Program Generation for Functional Processor Verification," IEEE Design &Test, vol. 21, no. 2, 2004, pp. 84-93.
7. R. Emek et al., "Quality Improvement Methods for System-Level Stimuli Generation," Proc. IEEE Int'l Conf. Computer Design (ICCD 04), IEEE CS Press, 2004, pp. 204-206.

Index Terms:
design and test, FPGA, microprocessor verification, system-level function, Verification-Purpose Operating System, VPOS
Lingkan Gong, Jingfen Lu, "Verification-Purpose Operating System for Microprocessor System-Level Functions," IEEE Design & Test of Computers, vol. 27, no. 1, pp. 76-85, Jan.-Feb. 2010, doi:10.1109/MDT.2010.28
Usage of this product signifies your acceptance of the Terms of Use.