Integrated, comprehensive assertion-based coverage

被引：0
|
作者：
TransEDA [1 ]
不详 [2 ]
不详 [3 ]
机构：
来源：
Electron. Eng. Times | 2006年 / 1412卷 / 22-25期
关键词：
(Edited Abstract);
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Defining and Providing Coverage for Assertion-Based Dynamic Verification
    Jason G. Tong
    Marc Boulé
    Zeljko Zilic
    Journal of Electronic Testing, 2010, 26 : 211 - 225
  • [2] Defining and Providing Coverage for Assertion-Based Dynamic Verification
    Tong, Jason G.
    Boule, Marc
    Zilic, Zeljko
    JOURNAL OF ELECTRONIC TESTING-THEORY AND APPLICATIONS, 2010, 26 (02): : 211 - 225
  • [3] Automatic High Functional Coverage Stimuli Generation for Assertion-based Verification
    Rostami, Hossein
    Hosseini, Mostafa
    Azarpeyvand, Ali
    Iman, Mohammad Reza Heidari
    Ghasempouri, Tara
    2024 IEEE 30TH INTERNATIONAL SYMPOSIUM ON ON-LINE TESTING AND ROBUST SYSTEM DESIGN, IOLTS 2024, 2024,
  • [4] A Novel Assertion-based CAD Tool for Automatic Extraction of Functional Coverage
    Abubakr, Abdelrahman G.
    El-Kharashy, Hatem
    El-Yamany, Ahmed
    El-Ashry, Sameh
    Salah, Khaled
    2016 28TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS (ICM 2016), 2016, : 29 - 32
  • [5] Assertion-based design with Horus
    Oddos, Yann
    Morin-Allory, Katell
    Borrione, Dominique
    MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2008, : 75 - 76
  • [6] Assertion-Based Optimization of Quantum Programs
    Haener, Thomas
    Hoefler, Torsten
    Troyer, Matthias
    PROCEEDINGS OF THE ACM ON PROGRAMMING LANGUAGES-PACMPL, 2020, 4 (OOPSLA):
  • [7] Abstraction in assertion-based test oracles
    Cheon, Yoonsik
    USIC 2007: PROCEEDINGS OF THE SEVENTH INTERNATIONAL CONFERENCE ON QUALITY SOFTWARE, 2007, : 410 - 414
  • [8] Assertion-based verification turns the corner
    Gupta, A
    IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 131 - 131
  • [9] Assertion-Based Verification of RTOS Properties
    Oliveira, Marcio F. S.
    Zabel, Henning
    Mueller, Wolfgang
    2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 630 - 633
  • [10] Assertion-based slicing and slice graphs
    Barros, Jose Bernardo
    da Cruz, Daniela
    Henriques, Pedro Rangel
    Pinto, Jorge Sousa
    FORMAL ASPECTS OF COMPUTING, 2012, 24 (02) : 217 - 248
12345