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 条
  • [31] Automatic Asset Identification for Assertion-Based SoC Security Verification
    Ayalasomayajula, Avinash
    Dipu, Nusrat Farzana
    Tehranipoor, Mark M.
    Farahmandi, Farimah
    [J]. IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (10) : 3264 - 3277
  • [32] Assertion-Based Verification for SoC Models and Identification of Key Events
    Pierre, Laurence
    Chabot, Martial
    [J]. 2017 EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2017, : 54 - 61
  • [33] Assertion-based verification of a 32 thread SPARC™ CMT microprocessor
    Turumella, Babu
    Sharma, Mukesh
    [J]. 2008 45TH ACM/IEEE DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2008, : 256 - 261
  • [34] Panel: Assertion-based verification -what's the big deal?
    Shukla, Sandeep
    Hu, Alan J.
    Abrahams, Jacob
    Ashar, Pranav
    Foster, Harry
    Landver, Avner
    Pixley, Carl
    [J]. Proceedings - IEEE International High-Level Design Validation and Test Workshop, HLDVT, 2006,
  • [35] A Dynamic Assertion-Based Verification Platform for Validation of UML Designs
    Banerjee, Ansuman
    Ray, Sayak
    Dasgupta, Pallab
    Chakrabarti, Partha Pratim
    Ramesh, S.
    Ganesan, P. Vignesh V.
    [J]. AUTOMATED TECHNOLOGY FOR VERIFICATION AND ANALYSIS, PROCEEDINGS, 2008, 5311 : 222 - 227
  • [36] Automatic assume guarantee analysis for assertion-based formal verification
    Wang, Dong
    Levitt, Jeremy
    [J]. ASP-DAC 2005: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, VOLS 1 AND 2, 2005, : 561 - 566
  • [37] Combined static and dynamic assertion-based debugging of constraint logic programs
    Puebla, G
    Bueno, F
    Hermenegildo, M
    [J]. LOGIC-BASED PROGRAM SYNTHESIS AND TRANSFORMATION, PROCEEDINGS, 2000, 1817 : 273 - 292
  • [38] Constraint-based Verification of Formation Control
    Sandretto, Julien Alexandre Dit
    Chapoutot, Alexandre
    Garion, Christophe
    Thirioux, Xavier
    Ziat, Ghiles
    [J]. 2021 60TH IEEE CONFERENCE ON DECISION AND CONTROL (CDC), 2021, : 7136 - 7141
  • [39] Uncovering Bugs in P4 Programs with Assertion-based Verification
    Freire, Lucas
    Neves, Miguel
    Leal, Lucas
    Levchenko, Kirill
    Schaeffer-Filho, Alberto
    Barcellos, Marinho
    [J]. PROCEEDINGS OF THE SYMPOSIUM ON SDN RESEARCH (SOSR'18), 2018,
  • [40] Airwolf-TG: A Test Generator for Assertion-Based Dynamic Verification
    Tong, Jason G.
    Boule, Marc
    Zilic, Zeljko
    [J]. 2009 IEEE INTERNATIONAL HIGH LEVEL DESIGN VALIDATION AND TEST WORKSHOP, 2009, : 106 - 113
12345