Integrated, comprehensive assertion-based coverage

被引：0
|
作者：
TransEDA [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Electron. Eng. Times | 2006年 / 1412卷 / 22-25期
关键词：
(Edited Abstract);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [31] Formal Approach to Assertion-Based Code Generation
    Li, Pengyi
    Sun, Jing
    Wang, Hai
    INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2017, 27 (9-10) : 1637 - 1662
  • [32] Assertion-based automatic generation of functional vectors
    Li, Tun
    Guo, Yang
    Li, Si-Kun
    Ruan Jian Xue Bao/Journal of Software, 2004, 15 (10): : 1441 - 1450
  • [33] Practical assertion-based formal verification for SoC designs
    Yeung, Ping
    Larsen, Kenneth
    2005 International Symposium on System-On-Chip, Proceedings, 2005, : 58 - 61
  • [34] PyABV: a framework for enhancing PyRTL with assertion-based verification
    Cheng, Yue
    Li, Tun
    Zou, Hongji
    Qu, Wanxia
    FRONTIERS OF COMPUTER SCIENCE, 2025, 19 (07)
  • [35] Formal Interpretation of Assertion-Based Features on AMS Designs
    da Costa, Antonio Anastasio Bruto
    Dasgupta, Pallab
    IEEE DESIGN & TEST, 2015, 32 (01) : 9 - 17
  • [36] Assertion-Based Verification for System-Level Designs
    Sohofi, Hassan
    Navabi, Zainalabedin
    PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2014), 2015, : 582 - 588
  • [37] Towards Assertion-Based Verification of Heterogeneous System Designs
    Laemmermann, Stefan
    Ruf, Juergen
    Kropf, Thomas
    Rosenstiel, Wolfgang
    Viehl, Alexander
    Jesser, Alexander
    Hedrich, Lars
    2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1171 - 1176
  • [38] A framework for assertion-based debugging in constraint logic programming
    Puebla, G
    Bueno, F
    Hermenegildo, M
    PRINCIPLES AND PRACTICE OF CONSTRAINT PROGRAMMING - CP98, 1998, 1520 : 472 - 472
  • [39] RTL property abstraction for TLM assertion-based verification
    Bombieri, Nicola
    Filippozzi, Riccardo
    Pravadelli, Graziano
    Stefanni, Francesco
    2015 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2015, : 85 - 90
  • [40] An assertion-based proof system for multithreaded Java']Java
    Abraham, E
    de Boer, FS
    de Roever, WP
    Steffen, M
    THEORETICAL COMPUTER SCIENCE, 2005, 331 (2-3) : 251 - 290
12345