Functional Verifications for SoC Software/Hardware Co-Design: From Virtual Platform to Physical Platform

被引:0
|
作者
Lin, Yi-Li [1 ]
Su, Alvin W. Y. [1 ]
机构
[1] Natl Cheng Kung Univ, Comp Sci & Informat Engn Dept, Tainan 70101, Taiwan
来源
2011 IEEE INTERNATIONAL SOC CONFERENCE (SOCC) | 2011年
关键词
D O I
暂无
中图分类号
TP301 [理论、方法];
学科分类号
081202 ;
摘要
This paper applies heterogeneous simulation to achieve system and functional level co-verification throughout SoC design flow. It reduces high verification complexity resulted from covering software and hardware works and involving various tools. Stubs for data transport and a Verification Router for heterogeneous simulation management are proposed. A functional module is transformed from a highly abstract model to its target design progressively through a series of intermediate models. Those models can be validated as a portion of a complete SoC system model. The proposed heterogeneous verification is demonstrated with a jpeg encoder.
引用
收藏
页码:201 / 206
页数:6
相关论文
共 50 条
  • [41] Design of a hardware/software co-simulation/verification platform
    Wu, Ye
    Jiang, Hai
    Wei, Chao
    IMECS 2007: INTERNATIONAL MULTICONFERENCE OF ENGINEERS AND COMPUTER SCIENTISTS, VOLS I AND II, 2007, : 488 - +
  • [42] Hardware/software co-verification platform for EOS design
    Wang, P
    Liu, JS
    Zeng, LG
    2003 5TH INTERNATIONAL CONFERENCE ON ASIC, VOLS 1 AND 2, PROCEEDINGS, 2003, : 195 - 198
  • [43] Hardware/software co-design then and now
    Wirth, N
    INFORMATION PROCESSING LETTERS, 2003, 88 (1-2) : 83 - 87
  • [44] Hardware software co-design in Haskell
    Aronsson M.
    Sheeran M.
    1600, Association for Computing Machinery, 2 Penn Plaza, Suite 701, New York, NY 10121-0701, United States (52): : 162 - 173
  • [45] The hardware-software co-design and co-verification of SoC for an embedded home gateway
    Guo, Bing
    Shen, Yan
    Zhang, ChuanWu
    SEC 2008: PROCEEDINGS OF THE FIFTH IEEE INTERNATIONAL SYMPOSIUM ON EMBEDDED COMPUTING, 2008, : 288 - +
  • [46] On the Co-Design of Quantum Software and Hardware
    Li, Gushu
    Wu, Anbang
    Shi, Yunong
    Javadi-Abhari, Ali
    Ding, Yufei
    Xie, Yuan
    PROCEEDINGS OF THE 8TH ACM INTERNATIONAL CONFERENCE ON NANOSCALE COMPUTING AND COMMUNICATION (ACM NANOCOM 2021), 2021,
  • [47] Hardware/software co-design for multimedia
    Wolf, W
    ADVANCED SIGNAL PROCESSING: ALGORITHMS, ARCHITECTURES, AND IMPLEMENTATIONS VII, 1997, 3162 : 510 - 517
  • [48] Hardware Software Co-design in Haskell
    Aronsson, Markus
    Sheeran, Mary
    ACM SIGPLAN NOTICES, 2017, 52 (10) : 162 - 173
  • [49] Hierarchical hardware/software co-design
    Niculiu, T
    Burileanu, D
    Manolescu, A
    Becker, J
    Glesner, M
    SIMULATION IN INDUSTRY'99: 11TH EUROPEAN SIMULATION SYMPOSIUM 1999, 1999, : 697 - 699
  • [50] Research and implementation of the hardware/software co-design based on structure test model of SoC
    Jing Gu
    Chen Zhaohui
    Yu Xiaoyang
    SECOND INTERNATIONAL SYMPOSIUM ON COMPUTATIONAL INTELLIGENCE AND DESIGN, VOL 1, PROCEEDINGS, 2009, : 526 - 530