首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题:Acceleration of Tests for the JPEG2000 Encoder Verification
  • 本地全文:下载
  • 作者:Michał Gołek ; Arkadiusz Koczor ; Łukasz Matoga
  • 期刊名称:IFAC PapersOnLine
  • 印刷版ISSN:2405-8963
  • 出版年度:2015
  • 卷号:48
  • 期号:4
  • 页码:186-192
  • DOI:10.1016/j.ifacol.2015.07.030
  • 语种:English
  • 出版社:Elsevier
  • 摘要:AbstractThe paper presents a new approach to improve efficiency of the verification process through acceleration of tests. The verification eco-system based on well-accepted industry standards, consisting of essential functionality and an emulation platform is described in the article. The JPEG2000 encoder has been developed with the use of this emulation platform in order to verify both, the new approach and the possibility of reducing verification process time. The new approach allows to save verification time, due to significant reduction of tests execution time. Additionally, a debug capability, which is provided by the emulation system, enables quick identification and elimination of implementation bugs. The presented solution can be supported by Universal Verification Methodology (UVM) like methodology to create the best suited environment. In order to use such methodology, the SystemC language has been enhanced by UVM-SystemC library. The library in combination with the approach presented in the paper and the use of the emulation platform can deliver the complete system to verify IP cores of average complexity. It gives an opportunity to avoid a commercial logic simulator within the verification process.
  • 关键词:KeywordsIP core verificationemulation platformdebuggingFPGAco-simulation
国家哲学社会科学文献中心版权所有