Title :
Functional verification of external memory interface IP core based on restricted random testbench
Author :
Meng, Qingdong ; Li, Zhaolin ; Wang, Fang
Author_Institution :
Tsinghua Nat. Lab. for Inf. Sci. & Technol., Tsinghua Univ., Beijing, China
Abstract :
The design of SoC system, random test is becoming an application for IP cores verification gradually. In order to test the integrated EMIF IP core, the restricted random verification method is used with added flexible generation of parameterized script files and adaptable random test points. Based on the verification environment built, some tasks were created and passed as transactions according to the analysis of simulation interface and output results. Standard memory modules were integrated with timing factors to support verification. Comparing with the direct verification, the method present in this paper is much more flexible and practicable, and can improve the whole efficiency of verification.
Keywords :
formal verification; integrated circuit testing; memory architecture; system-on-chip; IP cores verification; SoC system design; adaptable random test points; external memory interface IP core; functional verification; integrated EMIF IP core; parameterized script files; restricted random testbench; restricted random verification method; standard memory modules; timing factors; verification environment; Analytical models; Control systems; Digital signal processing; Information science; Information technology; Laboratories; Microelectronics; Protocols; System testing; Timing; EMIF; IP; Verification; script;
Conference_Titel :
Computer Engineering and Technology (ICCET), 2010 2nd International Conference on
Conference_Location :
Chengdu
Print_ISBN :
978-1-4244-6347-3
DOI :
10.1109/ICCET.2010.5485235