DocumentCode :
1855128
Title :
Development of verification envioronment for SPI master interface using SystemVerilog
Author :
Zhili Zhou ; Zheng Xie ; Xin´an Wang ; Teng Wang
Author_Institution :
Shenzhen Grad. Sch., Key Lab. of Integrated Micro-Syst., Peking Univ., Beijing, China
Volume :
3
fYear :
2012
fDate :
21-25 Oct. 2012
Firstpage :
2188
Lastpage :
2192
Abstract :
System-level verification with scalable and reusable components provides a solution for current complex SOC verification and SystemVerilog with OOP is one of the most promising language to develop a complete verification environment with constrained random testing, functional coverage and assertions. In this paper, a uniform verification environment for SPI master interface is developed using SystemVerilog after a comprehensive analysis of the verification plan. The proposed multi-layer testbench is comprised of APB driver, SPI slave, scoreboard, checker, coverage analysis and assertions, which are implemented with different properties of SystemVerilog. Furthermore, constrained random testing vectors are generated automatically and driven into the DUT for higher functional coverage. The verification result shows the effectiveness of the proposed verification environment, which is of great feasibility for further extension and reuse.
Keywords :
formal verification; hardware description languages; object-oriented programming; system-on-chip; APB driver; DUT; OOP; SPI master interface; SPI slave; SystemVerilog; complete verification environment; complex SOC verification; constrained random testing vectors; coverage analysis; functional coverage; higher functional coverage; multi-layer testbench; system-level verification; SPI interface; SystemVerilog; assertion; functional coverage; object-oriented programming;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Signal Processing (ICSP), 2012 IEEE 11th International Conference on
Conference_Location :
Beijing
ISSN :
2164-5221
Print_ISBN :
978-1-4673-2196-9
Type :
conf
DOI :
10.1109/ICoSP.2012.6492015
Filename :
6492015
Link To Document :
بازگشت