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 条
  • [21] Exact Stimuli Minimization for Simulation-based Verification
    Pointner, Sebastian
    Grimmer, Andreas
    Wille, Robert
    2019 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), 2019,
  • [22] Improving the efficiency and quality of simulation-based behavioral model verification using dynamic Bayesian criteria
    Hajjar, A
    Chen, T
    PROCEEDING OF THE 2002 3RD INTERNATIONAL SYMPOSIUM ON QUALITY ELECTRONIC DESIGN, 2002, : 304 - 309
  • [23] Graphical model: The means for simulation-based learning
    Department of Computer Networking, Kaunas University of Technology, Studentu 50, Kaunas
    51368, Lithuania
    J. Compt. Inf. Technol., 2008, 4 (303-309):
  • [24] Graphical model: The means for simulation-based learning
    Aukstakalnis, Nerijus
    Baniulis, Kazys
    Pauliute, Jurate
    Slotkiene, Asta
    PROCEEDINGS OF THE ITI 2008 30TH INTERNATIONAL CONFERENCE ON INFORMATION TECHNOLOGY INTERFACES, 2008, : 471 - 476
  • [25] Digital system verification: A combined formal methods and simulation framework
    Li L.
    Thornton M.A.
    Synthesis Lectures on Digital Circuits and Systems, 2010, 27 : 1 - 93
  • [26] Simulation-Based Hardware Verification with a Graph-Based Specification
    Lv, Zhao
    Chen, Shuming
    Wang, Yaohua
    MATHEMATICAL PROBLEMS IN ENGINEERING, 2018, 2018
  • [27] Improving Simulation-Based Algorithms for Fitting ERGMs
    Hummel, Ruth M.
    Hunter, David R.
    Handcock, Mark S.
    JOURNAL OF COMPUTATIONAL AND GRAPHICAL STATISTICS, 2012, 21 (04) : 920 - 939
  • [28] Fast Simulation-Based Verification of RC Power Grids
    Fawaz, Mohammad
    Najm, Farid N.
    2016 IEEE CANADIAN CONFERENCE ON ELECTRICAL AND COMPUTER ENGINEERING (CCECE), 2016,
  • [29] Survey of modern technologies of simulation-based verification of hardware
    A. S. Kamkin
    M. M. Chupilko
    Programming and Computer Software, 2011, 37 : 147 - 152
  • [30] Simulation-Based Analysis and Experimental Verification of Chaotic Circuits
    Chen, Pao-Lung
    Lin, Ke-Xin
    NEXT WAVE IN ROBOTICS, 2011, 212 : 155 - 161
12345