Title :
System verifacation based on VMM and SOPC
Author :
Hu, Jinbin ; Li, Xiaoguang
Author_Institution :
Sch. of Electron. & Inf. Eng., Beijing Jiaotong Univ., Beijing, China
Abstract :
This paper presents a new type of a more complete system verification method, which combines a high-level verification methodology based on verification methodology manual (VMM) techniques for functional simulation and system-on-a-programmable-chip (SOPC) techniques for board-level verification, effectively improve the adequacy and reliability of verification and validation efficiency. This paper gives a scalable hierarchical verification platform used systemverilog, which achieved the constraint-random stimulus generation, assertion monitoring, automatic real-time comparison for outputs and coverage statistics. Additionally, this paper describes the development of the test environment and the entire physical verification platform.
Keywords :
electronic engineering computing; formal verification; integrated circuit design; system-on-chip; SOPC; VMM; assertion monitoring; constraint random stimulus generation; functional simulation; scalable hierarchical verification platform; system verification method; system-on-a-programmable-chip technique; systemverilog; verification methodology manual technique; Adaptation model; Analytical models; Computational modeling; Educational institutions; Integrated circuit modeling; Logic gates; Software reliability; SOPC; System verifacation; VMM; verifacation;
Conference_Titel :
Computer Science and Information Technology (ICCSIT), 2010 3rd IEEE International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-5537-9
DOI :
10.1109/ICCSIT.2010.5563981