FORMAL HARDWARE SPECIFICATION AND VERIFICATION USING PROLOG

被引：2
|
作者：
BREZOCNIK, Z [1 ]
HORVAT, B [1 ]
机构：
[1] UNIV MARIBOR, FAC TECH SCI, MARIBOR, YUGOSLAVIA
来源：
MICROPROCESSING AND MICROPROGRAMMING | 1989年 / 27卷 / 1-5期
关键词：
D O I：
10.1016/0165-6074(89)90040-9
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
引用
收藏
页码：163 / 170
页数：8
相关论文
共 50 条
  • [1] EXPERIENCE WITH SPECIFICATION AND VERIFICATION OF HARDWARE USING PROLOG
    SUZUKI, N
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1984, 163 : 161 - 173
  • [2] 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
  • [3] Formal specification in VHDL for hardware verification
    Reetz, R
    Schneider, K
    Kropf, T
    [J]. DESIGN, AUTOMATION AND TEST IN EUROPE, PROCEEDINGS, 1998, : 257 - 263
  • [4] Formal hardware specification languages for protocol compliance verification
    Bunker, A
    Gopalakrishnan, G
    Mckee, SA
    [J]. ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2004, 9 (01) : 1 - 32
  • [5] FORMAL SPECIFICATION OF A PROLOG COMPILER
    HANUS, M
    [J]. LECTURE NOTES IN COMPUTER SCIENCE, 1989, 348 : 273 - 282
  • [6] Specification and verification of synchronous hardware using LOTOS
    He, J
    Turner, KJ
    [J]. FORMAL METHODS FOR PROTOCOL ENGINEERING AND DISTRIBUTED SYSTEMS, 1999, 28 : 295 - 312
  • [7] Hardware/Software Formal Co-Verification using Hardware Verification Techniques
    Nguyen, Minh D.
    Kunz, Wolfgang
    [J]. 2012 FOURTH INTERNATIONAL CONFERENCE ON COMMUNICATIONS AND ELECTRONICS (ICCE), 2012, : 465 - 470
  • [8] Using Reo for formal specification and verification of system designs
    Razavi, Niloofar
    Sirjani, Marjan
    [J]. FOURTH ACM & IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR CO-DESIGN, PROCEEDINGS, 2006, : 113 - +
  • [9] Compositional Verification Using a Formal Component and Interface Specification
    Xing, Yue
    Lu, Huaixi
    Gupta, Aarti
    Malik, Sharad
    [J]. 2022 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, ICCAD, 2022,
  • [10] ON THE FORMAL SPECIFICATION AND VERIFICATION OF CIM ARCHITECTURES USING LOTOS
    BIEMANS, F
    BLONK, P
    [J]. COMPUTERS IN INDUSTRY, 1986, 7 (06) : 491 - 504
12345