FORMAL METHODS AND VLSI ENGINEERING PRACTICE

被引：0
|
作者：
STAVRIDOU, V
机构：
[1] Univ of London, Egham Surrey
来源：
COMPUTER JOURNAL | 1994年 / 37卷 / 02期
关键词：
D O I：
10.1093/comjnl/37.2.96
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
This paper surveys the state of the art in the use of formal verification for hardware design and discusses the transfer of such methods to industrial practice. We examine the characteristics of the VLSI engineering process and propose a set of criteria for evaluating the applicability of various formal approaches to the design of digital systems. We also discuss some topics for future research to enable effective technology transfer of formal methods to VLSI engineering practice.
引用
收藏
页码：96 / 113
页数：18
相关论文
共 50 条
  • [21] Embedding Formal Methods into Systems Engineering
    Veith, Helmut
    11TH INTERNATIONAL SYMPOSIUM ON SYMBOLIC AND NUMERIC ALGORITHMS FOR SCIENTIFIC COMPUTING (SYNASC 2009), 2009, : 11 - 11
  • [22] SEFM: software engineering and formal methods
    Gilles Barthe
    Alberto Pardo
    Gerardo Schneider
    Software & Systems Modeling, 2015, 14 : 3 - 4
  • [23] SEFM: software engineering and formal methods
    Barthe, Gilles
    Pardo, Alberto
    Schneider, Gerardo
    SOFTWARE AND SYSTEMS MODELING, 2015, 14 (01): : 3 - 4
  • [24] FORMAL METHODS OF DIAGNOSIS IN ENGINEERING AND MEDICINE
    LERNER, AJ
    COMPUTER JOURNAL, 1969, 12 (01): : 29 - &
  • [25] Formal methods: Theory becoming practice
    Abrial, Jean-Raymond
    JOURNAL OF UNIVERSAL COMPUTER SCIENCE, 2007, 13 (05) : 619 - 628
  • [26] Formal methods in software practice - Introduction
    Dillon, LK
    Sankar, S
    IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1997, 23 (05) : 265 - 266
  • [27] Industrial Practice in Formal Methods: A Review
    Bicarregui, J. C.
    Fitzgerald, J. S.
    Larsen, P. G.
    Woodcock, J. C. P.
    FM 2009: FORMAL METHODS, PROCEEDINGS, 2009, 5850 : 810 - +
  • [28] SOFTWARE ENGINEERING - FORMAL METHODS .1.
    DEMAN, J
    MICROPROCESSING AND MICROPROGRAMMING, 1988, 24 (1-5): : 361 - 361
  • [29] Formal foundations for software engineering methods - Introduction
    Hussmann, H
    FORMAL FOUNDATIONS FOR SOFTWARE ENGINEERING METHODS, 1997, 1322 : 1 - +
  • [30] Formal methods applied to secure network engineering
    Chin, SK
    Faust, J
    Giordano, J
    SECOND IEEE INTERNATIONAL CONFERENCE ON ENGINEERING OF COMPLEX COMPUTER SYSTEMS: HELD JOINTLY WITH 6TH CSESAW, 4TH IEEE RTAW, AND SES'96, 1996, : 344 - 351
12345