• 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