What's between simulation and formal verification? (Extended abstract)

被引：0
|
作者：
Dill, DL [1 ]
机构：
[1] Stanford Univ, Stanford, CA 94305 USA
来源：
1998 DESIGN AUTOMATION CONFERENCE, PROCEEDINGS | 1998年
关键词：
D O I：
暂无
中图分类号：
T [工业技术];
学科分类号：
08 ;
摘要：
This embedded tutorial surveys some possibilities for verification techniques that combine conventional simulation and ideas, techniques, and algorithms from formal verification, to obtain better functional test coverage of large designs.
引用
收藏
页码：328 / 329
页数：2
相关论文
共 50 条
  • [41] Promotion of Formal Approaches in Japanese Software Industry and a Best Practice of FeliCa's Case (Extended Abstract)
    Araki, Keijiro
    Kurita, Taro
    [J]. FORMAL METHODS AND SOFTWARE ENGINEERING, ICFEM 2016, 2016, 10009 : 18 - 25
  • [42] Formal specification and verification of TCP extended with the Window Scale Option
    Lockefeer, Lars
    Williams, David M.
    Fokkink, Wan
    [J]. SCIENCE OF COMPUTER PROGRAMMING, 2016, 118 : 3 - 23
  • [43] Abstract Simulation Scenario Generation for Autonomous Vehicle Verification
    Medrano-Berumen, Christopher
    Akbas, Mustafa Ilhan
    [J]. 2019 IEEE SOUTHEASTCON, 2019,
  • [44] Extended Abstract: Management and Diagnosis of Amyloid - What Is New?
    Leng, Siyang
    Bhutani, Divaya
    Lentzsch, Suzanne
    [J]. CLINICAL LYMPHOMA MYELOMA & LEUKEMIA, 2018, 18 : S76 - S79
  • [45] It's Just Graph Extended Abstract
    Thompson, Bryan
    [J]. PROCEEDINGS OF THE 2ND ACM SIGMOD JOINT INTERNATIONAL WORKSHOP ON GRAPH DATA MANAGEMENT EXPERIENCES & SYSTEMS (GRADES) AND NETWORK DATA ANALYTICS (NDA) 2019, 2019,
  • [46] Formal Verification of a Geometry Algorithm: A Quest for Abstract Views and Symmetry in Coq Proofs
    Bertot, Yves
    [J]. THEORETICAL ASPECTS OF COMPUTING - ICTAC 2018, 2018, 11187 : 3 - 10
  • [47] Formal verification of pipeline control using controlled token nets and abstract interpretation
    Ho, PH
    Isles, AJ
    Kam, T
    [J]. 1998 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN: DIGEST OF TECHNICAL PAPERS, 1998, : 529 - 536
  • [48] Formal verification of designs with complex control by symbolic simulation
    Ritter, G
    Eveking, H
    Hinrichsen, H
    [J]. CORRECT HARDWARE DESIGN AND VERIFICATION METHODS, 1999, 1703 : 234 - 249
  • [49] Applying formal techniques in simulation-based verification
    Zhu, YS
    [J]. 2005 6TH INTERNATIONAL CONFERENCE ON ASIC PROCEEDINGS, BOOKS 1 AND 2, 2005, : 946 - 951
  • [50] Formal verification of simulation traces using computation slicing
    Sen, Alper
    Garg, Vijay K.
    [J]. IEEE TRANSACTIONS ON COMPUTERS, 2007, 56 (04) : 511 - 527
12345