DocumentCode
3294122
Title
A new method to optimize function verification
Author
Xinyu, Feng ; Hongbo, Jiang ; Zhaoyong, Liu
Author_Institution
Electr. Power Eng. Sch., Heilongjiang Inst. of Sci. & Technol., Harbin, China
fYear
2011
fDate
15-17 April 2011
Firstpage
5642
Lastpage
5644
Abstract
In present, due to increasing complexity and scale of digital design, verification efficiency, coverage and reusability have been aspects that people care about most. In practical verification of EMI (External Memory Interface), we accumulate many experiences and conclude some rules. Based on these experiences and rules, a new method to optimize is proposed in this paper. From verification results, we prove that verification time is evidently shortened, all function points are covered and the testbench is reusable.
Keywords
formal verification; system-on-chip; EMI verification; SoC chip; digital design; external memory interface; function verification; system-on-chip; Computer bugs; Correlation; Electromagnetic interference; Registers; SDRAM; Timing; EMI; optimize; testbench; verification;
fLanguage
English
Publisher
ieee
Conference_Titel
Electric Information and Control Engineering (ICEICE), 2011 International Conference on
Conference_Location
Wuhan
Print_ISBN
978-1-4244-8036-4
Type
conf
DOI
10.1109/ICEICE.2011.5778363
Filename
5778363
Link To Document