Using formal specifications for functional validation of hardware designs

被引：4
|
作者：
Shimizu, K [1 ]
Dill, DL [1 ]
机构：
[1] Stanford Univ, Comp Syst Lab, Stanford, CA 94305 USA
来源：
IEEE DESIGN & TEST OF COMPUTERS | 2002年 / 19卷 / 04期
关键词：
D O I：
10.1109/MDT.2002.1018138
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Formal specifications can help resolve both ambiguity issues and correctness problems in verifying complex hardware designs. This new methodology shows how specifications can also help design productivity by automating many procedures that are now done manually. Input sequences, output assertions, and a simulation coverage metric for the design under verification are all generated directly from the specification.
引用
收藏
页码：96 / 106
页数：11
相关论文
共 50 条
  • [1] Coverage metrics for functional validation of hardware designs
    Tasiran, S
    Keutzer, K
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 2001, 18 (04): : 36 - 45
  • [2] Application-level Validation of Accelerator Designs Using a Formal Software/Hardware Interface
    Huang, Bo-Yuan
    Lyubomirsky, Steven
    Li, Yi
    He, Mike
    Smith, Gus Henry
    Tambe, Thierry
    Gaonkar, Akash
    Canumalla, Vishal
    Cheung, Andrew
    Wei, Gu-Yeon
    Gupta, Aarti
    Tatlock, Zachary
    Malik, Sharad
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2024, 29 (02)
  • [3] Formal verification and validation of interactive systems specifications -: From informal specifications to formal validation
    Aït-Ameur, Y
    Breholée, B
    Girard, P
    Guittet, L
    Jambon, F
    [J]. HUMAN ERROR, SAFETY AND SYSTEMS DEVELOPMENT, 2004, 152 : 61 - 76
  • [4] Stepwise Validation of Formal Specifications
    Mashkoor, Atif
    Jacquot, Jean-Pierre
    [J]. 2011 18TH ASIA-PACIFIC SOFTWARE ENGINEERING CONFERENCE (APSEC 2011), 2011, : 57 - 64
  • [5] Formal validation of viewpoint specifications
    Ainsworth, M
    Riddle, S
    Wallis, PJL
    [J]. SOFTWARE ENGINEERING JOURNAL, 1996, 11 (01): : 58 - 66
  • [6] Formal specification and verification of hardware designs
    Ramesh, S
    Rao, SSSP
    Sivakumar, G
    Bhaduri, P
    [J]. PHOTOMASK AND X-RAY MASK TECHNOLOGY V, 1998, 3412 : 261 - 268
  • [7] Visualisation of executable formal specifications for user validation
    Özcan, MB
    Parry, PW
    Morrey, IC
    Siddiqi, JI
    [J]. SERVICES AND VISUALIZATION: TOWARDS USER-FRIENDLY DESIGN, 1998, 1385 : 142 - 157
  • [8] Validation of formal specifications through transformation and animation
    Mashkoor, Atif
    Jacquot, Jean-Pierre
    [J]. REQUIREMENTS ENGINEERING, 2017, 22 (04) : 433 - 451
  • [9] PRACTICAL METHODS FOR THE FORMAL VALIDATION OF SDL SPECIFICATIONS
    HOLZMANN, GJ
    [J]. COMPUTER COMMUNICATIONS, 1992, 15 (02) : 129 - 134
  • [10] A simulation approach to verification and validation of formal specifications
    Liu, SY
    [J]. FIRST INTERNATIONAL SYMPOSIUM ON CYBER WORLDS, PROCEEDINGS, 2002, : 113 - 120
12345