Re-useable hardware software co-verification of IP blocks

被引：0
|
作者：
Bruce, A
Goodenough, J
机构：
来源：
ELECTRONIC ENGINEERING DESIGN | 2002年 / 74卷 / 908期
关键词：
D O I：
暂无
中图分类号：
TM [电工技术]; TN [电子技术、通信技术];
学科分类号：
0808 ; 0809 ;
摘要：
引用
收藏
页码：20 / +
页数：4
相关论文
共 50 条
  • [1] Re-useable hardware/software co-verification of IP blocks
    Bruce, A
    Goodenough, J
    14TH ANNUAL IEEE INTERNATIONAL ASIC/SOC CONFERENCE, PROCEEDINGS, 2001, : 413 - 417
  • [2] Hardware/software co-verification, an IP vendors viewpoint
    Hopes, T
    INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS AND PROCESSORS, PROCEEDINGS, 1998, : 242 - 246
  • [3] Panel: Hardware/software co-verification
    Smith, G
    Courtoy, M
    Kenefick, M
    DESIGN AUTOMATION CONFERENCE - PROCEEDINGS 1997, 1997, : 484 - 485
  • [4] Modeling and building reliable, re-useable software
    Wagner, F
    Wolstenholme, P
    ECBS 2003: 10TH IEEE INTERNATIONAL CONFERENCE AND WORKSHOP ON THE ENGINEERING OF COMPUTER-BASED SYSTEMS, PROCEEDINGS, 2003, : 277 - 286
  • [5] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
    Nguyen, Minh D.
    Kunz, Wolfgang
    2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
  • [6] Compositional reasoning for hardware/software co-verification
    Xie, Fei
    Yang, Guowu
    Song, Xiaoyu
    AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2006, 4218 : 154 - 169
  • [7] The challenge of hardware-software co-verification
    Manolios, Panagiotis
    VERIFIED SOFTWARE: THEORIES, TOOLS, EXPERIMENTS, 2008, 4171 : 438 - 447
  • [8] Formal Techniques for Hardware/Software Co-Verification
    Kroening, Daniel
    Srivas, Mandayam
    2013 26TH INTERNATIONAL CONFERENCE ON VLSI DESIGN AND 2013 12TH INTERNATIONAL CONFERENCE ON EMBEDDED SYSTEMS (VLSID), 2013, : LVII - LVIII
  • [9] Solutions eyed for hardware and software co-verification
    不详
    ELECTRONIC DESIGN, 1997, 45 (19) : 28 - 28
  • [10] Hardware and Software Co-Verification from Security Perspective
    Chen, Kejun
    Deng, Qingxu
    Hou, Yumin
    Jin, Yier
    Guo, Xiaolong
    2019 20TH INTERNATIONAL WORKSHOP ON MICROPROCESSOR/SOC TEST, SECURITY AND VERIFICATION (MTV 2019), 2019, : 50 - 55
12345