Model checking: A hardware design perspective

被引：0
|
作者：
Pixley, Carl [1 ]
Singhal, Vigyan [2 ]
机构：
[1] Motorola, Inc., 5918 West Courtyard Drive, MD: F30B, Austin, TX 78730, United States
[2] Cadence Berkeley Labs, 2001 Addison Street, 3rd Floor, Berkeley, CA 94704, United States
来源：
International Journal on Software Tools for Technology Transfer | 1999年 / 2卷 / 03期
关键词：
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：288 / 306
相关论文
共 50 条
  • [1] Model checking: A hardware design perspective
    Pixley C.
    Singhal V.
    International Journal on Software Tools for Technology Transfer, 1999, 2 (3) : 288 - 306
  • [2] Hardware Model Checking Competition 2017
    Biere, Armin
    van Dijk, Tom
    Heljanko, Keijo
    PROCEEDINGS OF THE 17TH CONFERENCE ON FORMAL METHODS IN COMPUTER AIDED DESIGN (FMCAD 2017), 2017, : 9 - 9
  • [3] Model checking: From hardware to software
    Henzinger, TA
    PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2003, 2895 : 176 - 177
  • [4] On model checking synchronised hardware circuits
    Leucker, M
    ADVANCES IN COMPUTING SCIENCE-ASIAN 2000, PROCEEDINGS, 2000, 1961 : 182 - 198
  • [5] Hardware Model Checking Algorithms and Techniques
    Cabodi, Gianpiero
    Camurati, Paolo Enrico
    Palena, Marco
    Pasini, Paolo
    ALGORITHMS, 2024, 17 (06)
  • [6] An Equivalence Checking Framework for Agile Hardware Design
    Wang, Yanzhao
    Xie, Fei
    Yang, Zhenkun
    Cocchini, Pasquale
    Yang, Jin
    2023 28TH ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, ASP-DAC, 2023, : 26 - 32
  • [7] Hardware design's formal verification based on temporal logic-model checking
    Guo, J.
    Du, H.M.
    Han, J.G.
    Hao, K.G.
    Xiaoxing Weixing Jisuanji Xitong/Mini-Micro Systems, 2001, 22 (05):
  • [8] Progress in Certifying Hardware Model Checking Results
    Yu, Emily
    Biere, Armin
    Heljanko, Keijo
    COMPUTER AIDED VERIFICATION, PT II, CAV 2021, 2021, 12760 : 363 - 386
  • [9] HMC: Model Checking for Hardware Memory Models
    Kokologiannakis, Michalis
    Vafeiadis, Viktor
    TWENTY-FIFTH INTERNATIONAL CONFERENCE ON ARCHITECTURAL SUPPORT FOR PROGRAMMING LANGUAGES AND OPERATING SYSTEMS (ASPLOS XXV), 2020, : 1157 - 1171
  • [10] IMPLEMENTATION OF ALGEBRAIC MODEL OF HARDWARE CHECKING.
    Podkopaev, B.D.
    Shcherbakov, N.S.
    Automatic Control and Computer Sciences, 1980, 14 (03) : 53 - 59
12345