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 :
بازگشت