The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.01 - January/February (2010 vol.27)
pp: 76-85
Lingkan Gong , East China Institute of Computer Technology
Jingfen Lu , East China Institute of Computer Technology
ABSTRACT
<p>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.</p>
INDEX TERMS
design and test, FPGA, microprocessor verification, system-level function, Verification-Purpose Operating System, VPOS
CITATION
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, January/February 2010, doi:10.1109/MDT.2010.28
REFERENCES
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.
94 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool