PyABV: a framework for enhancing PyRTL with assertion-based verification

被引：0
|
作者：
Cheng, Yue [1 ]
Li, Tun [1 ]
Zou, Hongji [1 ]
Qu, Wanxia [1 ]
机构：
[1] Natl Univ Def Technol, Coll Comp Sci & Technol, Changsha 410073, Peoples R China
来源：
FRONTIERS OF COMPUTER SCIENCE | 2025年 / 19卷 / 07期
基金：
中国国家自然科学基金;
关键词：
D O I：
10.1007/s11704-024-40127-0
中图分类号：
TP [自动化技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页数：2
相关论文
共 50 条
  • [1] Assertion-based verification turns the corner
    Gupta, A
    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
    2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 630 - 633
  • [3] On More Dependable Assertion-Based Verification
    Radojicic, Carna
    Moreno, Javier
    Pan, Xiao
    Grimm, Christoph
    39TH ANNUAL CONFERENCE OF THE IEEE INDUSTRIAL ELECTRONICS SOCIETY (IECON 2013), 2013, : 7742 - 7747
  • [4] A Survey on Assertion-based Hardware Verification
    Witharana, Hasini
    Lyu, Yangdi
    Charles, Subodha
    Mishra, Prabhat
    ACM COMPUTING SURVEYS, 2022, 54 (11S)
  • [5] Assertion-based and constraint-based verification
    Pixley, C
    IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 97 - 97
  • [6] On the Effectiveness of Assertion-Based Verification in an Industrial Context
    Pierre, Laurence
    Pancher, Fabrice
    Suescun, Rodolphe
    Quevremont, Jerome
    FORMAL METHODS FOR INDUSTRIAL CRITICAL SYSTEMS, 2013, 8187 : 78 - 93
  • [7] Assertion-Based Verification through Binary Instrumentation
    Brignon, Enzo
    Pierre, Laurence
    2019 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2019, : 988 - 991
  • [8] Assertion-based verification: Industry myths to realities
    Foster, Harry
    COMPUTER AIDED VERIFICATION, 2008, 5123 : 5 - 10
  • [9] 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
    2016 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2016, : 982 - 985
  • [10] A Study on the Assertion-Based Verification of Digital IC
    Li, Yangyang
    Wu, Wuchen
    Hou, Ligang
    Cheng, Hao
    ICIC 2009: SECOND INTERNATIONAL CONFERENCE ON INFORMATION AND COMPUTING SCIENCE, VOL 2, PROCEEDINGS: IMAGE ANALYSIS, INFORMATION AND SIGNAL PROCESSING, 2009, : 25 - +
12345