Co-verification speeds SOC design

被引：0
|
作者：
Andrews, J
机构：
来源：
EDN | 2002年 / 47卷 / 19期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：95 / +
页数：4
相关论文
共 50 条
  • [1] Formal co-verification for SoC design with colored petri net
    Zhan, JY
    Sang, N
    Xiong, GZ
    EMBEDDED SOFTWARE AND SYSTEMS, 2005, 3605 : 188 - 195
  • [2] A novel collaborative verification environment for SoC co-verification
    Li, Tun
    Li, SiKun
    Yu, JinShan
    Guo, Yang
    PROCEEDINGS OF THE 2007 11TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS 1 AND 2, 2007, : 145 - +
  • [3] Integrated ISS and FPGA SoC HW/SW co-verification environment design
    Zhang, Xunying
    Hui, Fei
    Wang, Qiang
    Shen, Xubang
    PROCEEDINGS OF THE 2008 12TH INTERNATIONAL CONFERENCE ON COMPUTER SUPPORTED COOPERATIVE WORK IN DESIGN, VOLS I AND II, 2008, : 1071 - 1075
  • [4] 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 - +
  • [5] System-on-chip (SoC) requires IC & package co-design and co-verification
    Fontanelli, A
    Arrigoni, S
    Raccagni, D
    Rosin, M
    PROCEEDINGS OF THE IEEE 2002 CUSTOM INTEGRATED CIRCUITS CONFERENCE, 2002, : 319 - 322
  • [6] New methods of FPGA co-verification for system on chip (SoC)
    Lin, YF
    Zeng, XY
    Wu, M
    Chen, J
    Bao, RC
    2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 219 - 222
  • [7] SOC HW/SW co-verification based debugging technique
    Ruan, A. W.
    Li, C. Q.
    Song, Z. J.
    Li, W. C.
    COMPEL-THE INTERNATIONAL JOURNAL FOR COMPUTATION AND MATHEMATICS IN ELECTRICAL AND ELECTRONIC ENGINEERING, 2013, 32 (02) : 545 - 555
  • [8] Hardware and software co-verification from security perspective in SoC platforms
    Chen, Kejun
    Sun, Lei
    Deng, Qingxu
    JOURNAL OF SYSTEMS ARCHITECTURE, 2022, 122
  • [9] A demonstration of co-design and co-verification in a synchronous language
    Singh, S
    DESIGN, AUTOMATION AND TEST IN EUROPE CONFERENCE AND EXHIBITION, VOLS 1 AND 2, PROCEEDINGS, 2004, : 1394 - 1395
  • [10] Hardware and software co-verification - Key to co-design
    Leef, S
    ELECTRONIC DESIGN, 1997, 45 (20) : 67 - &
12345