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