Using formal specifications for functional validation of hardware designs

被引：0
|
作者：
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 条
  • [31] Verification and validation of knowledge-based systems with formal specifications
    Meseguer, P
    Preece, AD
    KNOWLEDGE ENGINEERING REVIEW, 1995, 10 (04): : 331 - 343
  • [32] Formal methods for verification and validation of partial specifications: A case study
    Easterbrook, S
    Callahan, J
    JOURNAL OF SYSTEMS AND SOFTWARE, 1998, 40 (03) : 199 - 210
  • [33] Using functional specifications
    Harrison, Malcolm
    Hydrocarbon Engineering, 2002, 7 (08):
  • [34] Extensive coverage of functional verification of hardware designs
    Radu, Mihaela
    2007 IEEE International Conference on Microelectronic Systems Education, Proceedings, 2007, : 101 - 102
  • [35] GLAsT: Learning Formal Grammars to Translate Natural Language Specifications into Hardware Assertions
    Harris, Christopher B.
    Harris, Ian G.
    PROCEEDINGS OF THE 2016 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2016, : 966 - 971
  • [36] Automatic Generation of Hardware Checkers from Formal Micro-architectural Specifications
    Fedotov, Alexander
    Schmaltz, Julien
    PROCEEDINGS OF THE 2018 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2018, : 1568 - 1573
  • [37] A Machine Learning Approach for Area Prediction of Hardware Designs from Abstract Specifications
    Zennaro, Elena
    Servadei, Lorenzo
    Devarajegowda, Keerthikumara
    Ecker, Wolfgang
    2018 21ST EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD 2018), 2018, : 413 - 420
  • [38] USING EXPERT SYSTEMS TO CONSTRUCT FORMAL SPECIFICATIONS
    BLACKBURN, MR
    IEEE EXPERT-INTELLIGENT SYSTEMS & THEIR APPLICATIONS, 1989, 4 (01): : 62 - 74
  • [39] QUICKSPEC: Guessing Formal Specifications Using Testing
    Claessen, Koen
    Smallbone, Nicholas
    Hughes, John
    TEST AND PROOFS, PROCEEDINGS, 2010, 6143 : 6 - +
  • [40] Using formal specifications in object oriented design
    Felice, L
    CHALLENGES OF INFORMATION TECHNOLOGY MANAGEMENT IN THE 21ST CENTURY, 2000, : 1062 - 1063
12345