Assertion-based and constraint-based verification

被引：0
|
作者：
Pixley, C
机构：
来源：
IEEE DESIGN & TEST OF COMPUTERS | 2002年 / 19卷 / 04期
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：97 / 97
页数：1
相关论文
共 50 条
  • [41] A SystemC-based Platform for Assertion-based Verification and Mutation Analysis in Systems Biology
    Coati, Daniele
    Distefano, Rosario
    Bombieri, Nicola
    Fummi, Franco
    Mirenda, Michela
    Laudanna, Carlo
    Giugno, Rosalba
    [J]. 2016 17TH IEEE LATIN-AMERICAN TEST SYMPOSIUM (LATS), 2016, : 159 - 164
  • [42] Assertion-based design with Horus
    Oddos, Yann
    Morin-Allory, Katell
    Borrione, Dominique
    [J]. MEMOCODE'08: SIXTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2008, : 75 - 76
  • [43] Integrating assertion-based verification into system-level synthesis methodology
    Hessabi, S
    Gharehbaghi, AM
    Yaran, BH
    Goudarzi, M
    [J]. 16TH INTERNATIONAL CONFERENCE ON MICROELECTRONICS, PROCEEDINGS, 2004, : 232 - 235
  • [44] A performance and functional assertion-based verification methodology at transaction-level
    Ardakani, Hassan Hatefi
    Gharehbaghi, Amir Masoud
    Hessabi, Shaahin
    [J]. 2007 INTERNATIONAL CONFERENCE ON MICROELECTRONICS, 2007, : 337 - +
  • [45] System-Level Assertion-Based Performance Verification for Embedded Systems
    Hatefi-Ardakani, Hassan
    Gharehbaghi, Amir Masoud
    Hessabi, Shaahin
    [J]. ADVANCES IN COMPUTER SCIENCE AND ENGINEERING, 2008, 6 : 243 - 250
  • [46] MYGEN : Automata-Based On-line Test Generator for Assertion-Based Verification
    Oddos, Yann
    Morin-Allory, Katell
    Borrione, Dominique
    Boule, Marc
    Zilic, Zeljko
    [J]. GLSVLSI 2009: PROCEEDINGS OF THE 2009 GREAT LAKES SYMPOSIUM ON VLSI, 2009, : 75 - 80
  • [47] A Dynamic Assertion-based verification platform for UML Statecharts over Rhapsody
    Banerjee, A.
    Ray, S.
    Dasgupta, P.
    Chakrabarti, P. P.
    Ramesh, S.
    Vignesh, P.
    Ganesan, V.
    [J]. 2008 IEEE REGION 10 CONFERENCE: TENCON 2008, VOLS 1-4, 2008, : 473 - +
  • [48] Security Analysis of a System-on-Chip Using Assertion-Based Verification
    Bhamidipati, Padmaja
    Achyutha, Shanmukha Murali
    Vemur, Ranga
    [J]. 2021 IEEE INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2021, : 826 - 831
  • [49] Assertion-Based Verification Technique for ECG Bio-Sensor Algorithms
    Al-Hamadi, Hussam
    Gawanmeh, Amjad
    Al-Qutayri, Mahmoud
    [J]. 2016 IEEE 59TH INTERNATIONAL MIDWEST SYMPOSIUM ON CIRCUITS AND SYSTEMS (MWSCAS), 2016, : 549 - 552
  • [50] Assertion-based Verification of behavioral descriptions with non-linear solver
    Ugarte, I.
    Sanchez, P.
    [J]. HLDVT'06: ELEVENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2006, : 61 - +
12345