Integrated, comprehensive assertion-based coverage

被引：0
|
作者：
TransEDA [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Electron. Eng. Times | 2006年 / 1412卷 / 22-25期
关键词：
(Edited Abstract);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [21] Assertion-Based Verification through Binary Instrumentation
    Brignon, Enzo
    Pierre, Laurence
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 988 - 991
  • [22] Multi-level assertion-based design
    Eveking, Hans
    Braun, Martin
    Schickel, Martin
    Schweikert, Martin
    Nimbler, Volker
    MEMOCODE'07: FIFTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2007, : 85 - +
  • [23] Assertion-Based Verification of Industrial WLAN System
    Syafalni, Infall
    Surantha, Nico
    Lam, Duc Khai
    Sutisna, Nana
    Nagao, Yuhei
    Wakasugi, Katsuhiko
    Yang Tongxin
    Ochi, Hiroshi
    Tsuchiya, Taadaki
    2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 982 - 985
  • [24] A Study on the Assertion-Based Verification of Digital IC
    Li, Yangyang
    Wu, Wuchen
    Hou, Ligang
    Cheng, Hao
    ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING SCIENCE, VOL 2, PROCEEDINGS: IMAGE ANALYSIS, INFORMATION AND SIGNAL PROCESSING, 2009, : 25 - +
  • [25] Efficient and Correct by Construction Assertion-Based Synthesis
    Morin-Allory, Katell
    Javaheri, Fatemeh Negin
    Borrione, Dominique
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2015, 23 (12) : 2890 - 2901
  • [26] Assertion-based verification: Industry myths to realities
    Foster, Harry
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 5 - 10
  • [27] Assertion-based analysis of hybrid systems with PVS
    Abrahám-Mumm, E
    Hannemann, U
    Steffen, M
    COMPUTER AIDED SYSTEMS THEORY - EUROCAST 2001, 2001, 2178 : 94 - 109
  • [28] Assertion-based debug infrastructure for SoC designs
    Gharehbaghi, Amir Masoud
    Babagoli, Mozhgan
    Hessabi, Shaahin
    2007 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2007, : 341 - +
  • [29] Assertion-based encapsulation, object invariants and simulations
    Naumann, DA
    FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2005, 3657 : 251 - 273
  • [30] Applied Assertion-Based Verification: An Industry Perspective
    Foster, Harry
    FOUNDATIONS AND TRENDS IN ELECTRONIC DESIGN AUTOMATION, 2008, 3 (01): : 1 - 95
12345