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
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;
Conference_Titel :
Electric Information and Control Engineering (ICEICE), 2011 International Conference on
Conference_Location :
Wuhan
Print_ISBN :
978-1-4244-8036-4
DOI :
10.1109/ICEICE.2011.5778363