Improving simulation-based verification by means of formal methods

被引：0
|
作者：
机构：
[1] Fey, Görschwin
[2] Drechsler, Rolf
来源：
Fey, G. (fey@informatik.uni-bremen.de) | / IEEE Circuits and Systems Society; ACM SIGDA; IEICE; Information Processing of Japan; et al卷 / Institute of Electrical and Electronics Engineers Inc.期
关键词：
621 Nuclear Reactors - 723.5 Computer Applications - 731.1 Control Systems - 921 Mathematics;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
相关论文
共 50 条
  • [1] Improving simulation-based verification by means of formal methods
    Fey, G
    Drechsler, R
    ASP-DAC 2004: PROCEEDINGS OF THE ASIA AND SOUTH PACIFIC DESIGN AUTOMATION CONFERENCE, 2004, : 640 - 643
  • [2] Applying formal techniques in simulation-based verification
    Zhu, YS
    2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 946 - 951
  • [3] Methods for Reliable Simulation-Based PLC Code Verification
    Carlsson, Henrik
    Svensson, Bo
    Danielsson, Fredrik
    Lennartson, Bengt
    IEEE TRANSACTIONS ON INDUSTRIAL INFORMATICS, 2012, 8 (02) : 267 - 278
  • [4] Formal meaning of coverage metrics in simulation-based hardware design verification
    Ugarte, I
    Sanchez, P
    HLDVT'05: TENTH ANNUAL IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2005, : 221 - 228
  • [5] Improving quality of simulation-based verification using state enumeration
    Nakata, T
    Iwashita, H
    Hirose, F
    FUJITSU SCIENTIFIC & TECHNICAL JOURNAL, 1995, 31 (02): : 135 - 142
  • [6] Improving Coverage of Simulation-based Verification by Dedicated Stimuli Generation
    Yang, Shuo
    Wille, Robert
    Drechsler, Rolf
    2014 17TH EUROMICRO CONFERENCE ON DIGITAL SYSTEM DESIGN (DSD), 2014, : 599 - 606
  • [7] A Method for Improving the Verification and Validation of Systems by the Combined Use of Simulation and Formal Methods
    Yacoub, Aznam
    Hamri, Maamar
    Frydman, Claudia
    2014 IEEE/ACM 18TH INTERNATIONAL SYMPOSIUM ON DISTRIBUTED SIMULATION AND REAL TIME APPLICATIONS (DS-RT 2014), 2014, : 155 - 162
  • [8] Investigation of Simulation-Based Verification Methods for Descriptions with Functional Indeterminacy
    Novikov, D. Ya.
    Cheremisinova, L. D.
    AUTOMATIC CONTROL AND COMPUTER SCIENCES, 2012, 46 (05) : 191 - 199
  • [9] Investigation of simulation-based verification methods for descriptions with functional indeterminacy
    D. Ya. Novikov
    L. D. Cheremisinova
    Automatic Control and Computer Sciences, 2012, 46 (5) : 191 - 199
  • [10] Improving the security of industrial networks by means of formal verification
    Bertolotti, Ivan Cibrario
    Durante, Luca
    Maggi, Paolo
    Sisto, Riccardo
    Valenzano, Adriano
    COMPUTER STANDARDS & INTERFACES, 2007, 29 (03) : 387 - 397
12345