Introduction: Formal Methods for CAD: Enabling Technologies and System-level Applications

被引：0
|
作者：
Ganesh C. Gopalakrishnan
机构：
[1] University of Utah,Department of Computer Science
来源：
Formal Methods in System Design | 2000年 / 16卷
关键词：
Operating System; Formal Method; Enabling Technology;
D O I：
暂无
中图分类号：
学科分类号：
摘要：
引用
收藏
页码：5 / 6
页数：1
相关论文
共 50 条
  • [1] Introduction: Formal methods for CAD: Enabling technologies and system-level applications
    Gopalakrishnan, GC
    FORMAL METHODS IN SYSTEM DESIGN, 2000, 16 (01) : 5 - 6
  • [2] Enabling Technologies for System-Level Simulation of MEMS
    Bechtold, Tamara
    Schrag, Gabriele
    Feng, Lihong
    2013 14TH INTERNATIONAL CONFERENCE ON THERMAL, MECHANICAL AND MULTI-PHYSICS SIMULATION AND EXPERIMENTS IN MICROELECTRONICS AND MICROSYSTEMS (EUROSIME), 2013,
  • [3] Application of formal methods for system-level verification of Network on Chip
    Palaniveloo, Vinitha Arakkonam
    Sowmya, Arcot
    2011 IEEE COMPUTER SOCIETY ANNUAL SYMPOSIUM ON VLSI (ISVLSI), 2011, : 162 - 169
  • [4] Combining simulation and formal methods for system-level performance analysis
    Kuenzli, Simon
    Poletti, Francesco
    Benini, Luca
    Thiele, Lothar
    2006 DESIGN AUTOMATION AND TEST IN EUROPE, VOLS 1-3, PROCEEDINGS, 2006, : 234 - +
  • [5] Formal system-level design space exploration
    Knorreck, Daniel
    Apvrille, Ludovic
    Pacalet, Renaud
    CONCURRENCY AND COMPUTATION-PRACTICE & EXPERIENCE, 2013, 25 (02): : 250 - 264
  • [6] System-level State Equality Detection for the Formal Dynamic Verification of Legacy Distributed Applications
    Guthmuller, Marion
    Quinson, Martin
    Corona, Gabriel
    23RD EUROMICRO INTERNATIONAL CONFERENCE ON PARALLEL, DISTRIBUTED, AND NETWORK-BASED PROCESSING (PDP 2015), 2015, : 451 - 458
  • [7] System-level state equality detection for the formal dynamic verification of legacy distributed applications
    Guthmuller, Marion
    Corona, Gabriel
    Quinson, Martin
    JOURNAL OF LOGICAL AND ALGEBRAIC METHODS IN PROGRAMMING, 2018, 96 : 1 - 11
  • [8] System-Level Design Solutions: Enabling the IoT Explosion
    Yang, Liwei
    Chen, Yao
    Zuo, Wei
    Tan Nguyen
    Gurumani, Swathi
    Rupnow, Kyle
    Chen, Deming
    PROCEEDINGS OF 2015 IEEE 11TH INTERNATIONAL CONFERENCE ON ASIC (ASICON), 2015,
  • [9] HDL and integrating system-level simulation technologies
    Ussery, C
    McKinley, K
    Lang, K
    Komp, E
    Larue, W
    1997 IEEE INTERNATIONAL VERILOG HDL CONFERENCE, PROCEEDINGS, 1997, : 91 - 97
  • [10] Formal Model for System-Level Power Management Design
    Simonovic, Mirela
    Zivojnovic, Vojin
    Saranovac, Lazar
    PROCEEDINGS OF THE 2017 DESIGN, AUTOMATION & TEST IN EUROPE CONFERENCE & EXHIBITION (DATE), 2017, : 1599 - 1602
12345