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 条
  • [31] Multiple Scenario Approach for Pre-Silicon Hardware/Software Co-Verification
    Katona, Mihajlo
    Djukaric, Dragan
    Cvejanovic, Djordje
    2009 1ST IEEE EASTERN EUROPEAN CONFERENCE ON THE ENGINEERING OF COMPUTER BASED SYSTEMS, 2009, : 110 - +
  • [32] Hardware/software security co-verification and vulnerability detection: An information flow perspective
    Qin, Maoyuan
    Zhu, Jiacheng
    Mao, Baolei
    Hu, Wei
    INTEGRATION-THE VLSI JOURNAL, 2024, 94
  • [33] Efficient Reachability Analysis of Buchi Pushdown Systems for Hardware/Software Co-verification
    Li, Juncao
    Xie, Fei
    Ball, Thomas
    Levin, Vladimir
    COMPUTER AIDED VERIFICATION, PROCEEDINGS, 2010, 6174 : 339 - +
  • [34] Software and Hardware Co-verification Technology Based on Virtual Prototyping of RF SoC
    Gao, Yuhan
    Liu, Lintao
    Du, Haoming
    Gong, Qiao
    2018 IEEE INTERNATIONAL CONFERENCE ON COMPUTER AND COMMUNICATION ENGINEERING TECHNOLOGY (CCET), 2018, : 244 - 247
  • [35] Hardware/software security co-verification and vulnerability detection: An information flow perspective
    Qin, Maoyuan
    Zhu, Jiacheng
    Mao, Baolei
    Hu, Wei
    Integration, 2024, 94
  • [36] 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 - +
  • [37] Component-based hardware/software co-verification for building trustworthy embedded systems
    Xie, Fei
    Yang, Guowu
    Song, Xiaoyu
    JOURNAL OF SYSTEMS AND SOFTWARE, 2007, 80 (05) : 643 - 654
  • [38] Software and Hardware Co-Verification for Privacy-Enhanced Passive UHF RFID Tag
    Li, Yang
    Naksone, Toshiki
    Sakiyama, Kazuo
    2014 IEEE INTERNATIONAL SYMPOSIUM ON ELECTROMAGNETIC COMPATIBILITY (EMC), 2014, : 752 - 757
  • [39] Safety assurance of an industrial robotic control system using hardware/software co-verification
    Murray, Yvonne
    Sirevag, Martin
    Ribeiro, Pedro
    Anisi, David A.
    Mossige, Morten
    SCIENCE OF COMPUTER PROGRAMMING, 2022, 216
  • [40] A hardware/software co-design and co-verification on a novel embedded object-oriented processor
    Yau, CH
    Tan, YY
    Mok, PL
    Yu, WS
    Fong, AS
    EMBEDDED AND UBIQUITOUS COMPUTING - EUC 2005, 2005, 3824 : 371 - 380
12345