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 条
  • [1] Assertion-based verification turns the corner
    Gupta, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 131 - 131
  • [2] Assertion-Based Verification of RTOS Properties
    Oliveira, Marcio F. S.
    Zabel, Henning
    Mueller, Wolfgang
    [J]. 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 630 - 633
  • [3] A Survey on Assertion-based Hardware Verification
    Witharana, Hasini
    Lyu, Yangdi
    Charles, Subodha
    Mishra, Prabhat
    [J]. ACM COMPUTING SURVEYS, 2022, 54 (11S)
  • [4] On More Dependable Assertion-Based Verification
    Radojicic, Carna
    Moreno, Javier
    Pan, Xiao
    Grimm, Christoph
    [J]. 39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 7742 - 7747
  • [5] On the Effectiveness of Assertion-Based Verification in an Industrial Context
    Pierre, Laurence
    Pancher, Fabrice
    Suescun, Rodolphe
    Quevremont, Jerome
    [J]. FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 78 - 93
  • [6] Assertion-Based Verification through Binary Instrumentation
    Brignon, Enzo
    Pierre, Laurence
    [J]. 2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 988 - 991
  • [7] 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
    [J]. 2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 982 - 985
  • [8] A Study on the Assertion-Based Verification of Digital IC
    Li, Yangyang
    Wu, Wuchen
    Hou, Ligang
    Cheng, Hao
    [J]. ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING SCIENCE, VOL 2, PROCEEDINGS: IMAGE ANALYSIS, INFORMATION AND SIGNAL PROCESSING, 2009, : 25 - +
  • [9] Assertion-based verification: Industry myths to realities
    Foster, Harry
    [J]. COMPUTER AIDED VERIFICATION, 2008, 5123 : 5 - 10
  • [10] Applied Assertion-Based Verification: An Industry Perspective
    Foster, Harry
    [J]. FOUNDATIONS AND TRENDS IN ELECTRONIC DESIGN AUTOMATION, 2008, 3 (01): : 1 - 95
12345