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 条
  • [41] System-level integrated circuits for phased array antenna applications
    Shalkhauser, KA
    Windyka, JA
    Dening, DC
    Fithian, MJ
    1996 IEEE MTT-S INTERNATIONAL MICROWAVE SYMPOSIUM DIGEST, VOLS 1-3, 1996, : 1593 - 1596
  • [42] A methodology for system-level synthesis of mixed-signal applications
    Oehler, P
    Grimm, C
    Waldschmidt, K
    IEEE TRANSACTIONS ON VERY LARGE SCALE INTEGRATION (VLSI) SYSTEMS, 2002, 10 (06) : 935 - 942
  • [43] Runtime Precoding : Enabling Multipoint Transmission in LTE-Advanced System-Level Simulations
    Taranetz, Martin
    Blazek, Thomas
    Kropfreiter, Thomas
    Mueller, Martin Klaus
    Schwarz, Stefan
    Rupp, Markus
    IEEE ACCESS, 2015, 3 : 725 - 736
  • [44] Enabling System-Level Modeling of Variation-Induced Faults in Networks-on-Chips
    Aisopos, Konstantinos
    Chen, Chia-Hsin Owen
    Peh, Li-Shiuan
    PROCEEDINGS OF THE 48TH ACM/EDAC/IEEE DESIGN AUTOMATION CONFERENCE (DAC), 2011, : 930 - 935
  • [45] Model-Based Synthesis of Control Software from System-Level Formal Specifications
    Mari, Federico
    Melatti, Igor
    Salvo, Ivano
    Tronci, Enrico
    ACM TRANSACTIONS ON SOFTWARE ENGINEERING AND METHODOLOGY, 2014, 23 (01)
  • [46] Modeling and formal verification of dataflow graph in system-level design using Petri net
    Chiang, TH
    Dung, LR
    Yaung, MF
    2005 IEEE INTERNATIONAL SYMPOSIUM ON CIRCUITS AND SYSTEMS (ISCAS), VOLS 1-6, CONFERENCE PROCEEDINGS, 2005, : 5674 - 5677
  • [47] Editorial: Developing and Deploying Negative Emission Technologies: System-Level Assessment and Rationalization
    Brandao, Miguel
    Lamers, Patrick
    Olfe-Kraeutlein, Barbara
    Rickels, Wilfried
    Sick, Volker
    Van der Spek, Mijndert
    Yang, Aidong
    FRONTIERS IN CLIMATE, 2021, 3
  • [48] 2019 CAD Contest: System-level FPGA Routing with Timing Division Multiplexing Technique
    Su, Yu-Hsuan
    Sun, Richard
    Ho, Pei-Hsin
    2019 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN (ICCAD), 2019,
  • [49] System-level display power reduction technologies for portable computing and communications devices
    Bhowmik, Achintya K.
    Brennan, Robert J.
    2007 IEEE INTERNATIONAL CONFERENCE ON PORTABLE INFORMATION DEVICES, 2007, : 78 - 82
  • [50] System integration & validation with formal methods in ATC applications
    Prun, D
    Gonon, M
    DASIA 2000: DATA SYSTEMS IN AEROSPACE, PROCEEDINGS, 2000, 457 : 227 - 231
12345