• DocumentCode
    2645803
  • 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
  • Volume
    7
  • fYear
    2010
  • fDate
    16-18 April 2010
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Engineering and Technology (ICCET), 2010 2nd International Conference on
  • Conference_Location
    Chengdu
  • Print_ISBN
    978-1-4244-6347-3
  • Type

    conf

  • DOI
    10.1109/ICCET.2010.5485235
  • Filename
    5485235