Formal specification and verification of VHDL

被引：0
|
作者：
Bickford, M [1 ]
Jamsek, D [1 ]
机构：
[1] Odyssey Res Associates, Ithaca, NY 14850 USA
来源：
FORMAL METHODS IN COMPUTER-AIDED DESIGN | 1996年 / 1166卷
关键词：
D O I：
暂无
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
We give an overview of our system for the verification of VHDL designs(1), and discuss its rationale. We present a complete example of a simple processor and discuss general methods for specification of state machines and timed and untimed combinational circuits.
引用
收藏
页码：310 / 326
页数：17
相关论文
共 50 条
  • [21] Specification of control flow properties for verification of synthesized VHDL designs
    Narasimhan, N
    Vemuri, R
    FORMAL METHODS IN COMPUTER-AIDED DESIGN, 1996, 1166 : 327 - 345
  • [22] A Survey of Smart Contract Formal Specification and Verification
    Tolmach, Palina
    Li, Yi
    Lin, Shang-Wei
    Liu, Yang
    Li, Zengxiang
    ACM COMPUTING SURVEYS, 2021, 54 (07)
  • [23] Formal Specification and Verification of Mobile Agent Systems
    Kahloul, L.
    Grira, M.
    INTERNATIONAL JOURNAL OF COMPUTERS COMMUNICATIONS & CONTROL, 2014, 9 (03) : 292 - 304
  • [24] A formal specification for web services composition and verification
    Shi, YL
    Zhang, L
    Liu, B
    Liu, FF
    Lin, LL
    Shi, BL
    Fifth International Conference on Computer and Information Technology - Proceedings, 2005, : 252 - 256
  • [25] Tools for formal specification, verification, and validation of requirements
    Heitmeyer, C
    Kirby, J
    Labaw, B
    COMPASS '97 - ARE WE MAKING PROGRESS TOWARDS COMPUTER ASSURANCE?, 1997, : 35 - 47
  • [26] Formal Specification and Verification of Ubiquitous and Pervasive Systems
    Coronato, Antonio
    De Pietro, Giuseppe
    ACM TRANSACTIONS ON AUTONOMOUS AND ADAPTIVE SYSTEMS, 2011, 6 (01)
  • [27] Formal Specification and Verification of Dynamic Parametrized Architectures
    Cimatti, Alessandro
    Stojic, Ivan
    Tonetta, Stefano
    FORMAL METHODS, 2018, 10951 : 625 - 644
  • [28] FORMAL SPECIFICATION AND VERIFICATION OF ISDN SERVICES IN LOTOS
    YAMANO, K
    JOKANOVIC, D
    ANDO, T
    OHTA, M
    TAKAHASHI, K
    IEICE TRANSACTIONS ON COMMUNICATIONS, 1992, E75B (08) : 715 - 722
  • [29] Formal Specification Technique in Smart Contract Verification
    Lee, Seung-Min
    Park, Soojin
    Park, Young B.
    2019 INTERNATIONAL CONFERENCE ON PLATFORM TECHNOLOGY AND SERVICE (PLATCON), 2019, : 7 - 10
  • [30] A survey on formal specification and verification of separation kernels
    Zhao, Yongwang
    Yang, Zhibin
    Ma, Dianfu
    FRONTIERS OF COMPUTER SCIENCE, 2017, 11 (04) : 585 - 607
12345