AN ASSERTION-BASED VERIFICATION SYSTEM FOR FORMAL REQUIREMENTS DESCRIPTION

被引：0
|
作者：
AGUSA, K
OHNISHI, A
OHNO, Y
机构：
来源：
JAPAN ANNUAL REVIEWS IN ELECTRONICS COMPUTERS & TELECOMMUNICATIONS | 1984年 / 12卷
关键词：
D O I：
暂无
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：11 / 23
页数：13
相关论文
共 50 条
  • [1] Practical assertion-based formal verification for SoC designs
    Yeung, Ping
    Larsen, Kenneth
    [J]. 2005 International Symposium on System-On-Chip, Proceedings, 2005, : 58 - 61
  • [2] 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
  • [3] 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
  • [4] Assertion-Based Verification for System-Level Designs
    Sohofi, Hassan
    Navabi, Zainalabedin
    [J]. PROCEEDINGS OF THE FIFTEENTH INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN (ISQED 2014), 2015, : 582 - 588
  • [5] Towards Assertion-Based Verification of Heterogeneous System Designs
    Laemmermann, Stefan
    Ruf, Juergen
    Kropf, Thomas
    Rosenstiel, Wolfgang
    Viehl, Alexander
    Jesser, Alexander
    Hedrich, Lars
    [J]. 2010 DESIGN, AUTOMATION & TEST IN EUROPE (DATE 2010), 2010, : 1171 - 1176
  • [6] Assertion-based verification turns the corner
    Gupta, A
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2002, 19 (04): : 131 - 131
  • [7] 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
  • [8] A Survey on Assertion-based Hardware Verification
    Witharana, Hasini
    Lyu, Yangdi
    Charles, Subodha
    Mishra, Prabhat
    [J]. ACM COMPUTING SURVEYS, 2022, 54 (11S)
  • [9] 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
  • [10] Debugger supports assertion-based system-on-chip verification
    Moretti, G
    [J]. EDN, 2003, 48 (08) : 22 - 22
12345