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 条
  • [21] Introduction to the Special issue on "Enabling technologies for network-based applications"
    Arnavut, Ziya
    Kamal, Ahmed E.
    COMPUTERS & ELECTRICAL ENGINEERING, 2015, 43 : 90 - 91
  • [22] Teaching Heterogeneous Computing with System-Level Design Methods
    Carloni, Luca P.
    Cota, Emilio G.
    Di Guglielmo, Giuseppe
    Giri, Davide
    Kwon, Jihye
    Mantovani, Paolo
    Piccolboni, Luca
    Petracca, Michele
    WCAE'19: PROCEEDINGS OF THE WORKSHOP ON COMPUTER ARCHITECTURE EDUCATION, 2019,
  • [23] Adaptive optimisation methods in system-level bridge management
    Liu, Haotian
    Madanat, Samer
    STRUCTURE AND INFRASTRUCTURE ENGINEERING, 2015, 11 (07) : 884 - 896
  • [24] System-level support for macroprogramming of networked sensing applications
    Bakshi, A
    Pathak, A
    Prasanna, VK
    PSC '05: Proceedings of the 2005 International Conference on Pervasive Systems and Computing, 2005, : 3 - 9
  • [25] System-level optimization of baseband filters for communication applications
    Fernández-Bootello, JF
    Delgado-Restituto, M
    Rodríguez-Vázquez, A
    VLSI CIRCUITS AND SYSTEMS, 2003, 5117 : 245 - 256
  • [26] Quality improvement methods for system-level stimuli generation
    Emek, R
    Jaeger, I
    Katz, Y
    Naveh, Y
    IEEE INTERNATIONAL CONFERENCE ON COMPUTER DESIGN: VLSI IN COMPUTERS & PROCESSORS, PROCEEDINGS, 2004, : 204 - 206
  • [27] A system-level design methodology for reconfigurable computing applications
    El-Araby, E
    El-Ghazawi, T
    Gaj, K
    FPT 05: 2005 IEEE International Conference on Field Programmable Technology, Proceedings, 2005, : 311 - 312
  • [28] Introduction to special issue: Novel paradigms in system-level design
    Pedram, Massoud
    ACM TRANSACTIONS ON DESIGN AUTOMATION OF ELECTRONIC SYSTEMS, 2006, 11 (03) : 535 - 536
  • [29] Embedded Tutorial: Formal equivalence checking between system-level models and RTL
    Koelbl, A
    Lu, Y
    Mathur, A
    ICCAD-2005: INTERNATIONAL CONFERENCE ON COMPUTER AIDED DESIGN, DIGEST OF TECHNICAL PAPERS, 2005, : 965 - 971
  • [30] Introspection mechanisms for semi-formal verification in a system-level design environment
    Metzger, M.
    Bastien, F.
    Rousseau, F.
    Vachon, J.
    Aboulhamid, E. M.
    SEVENTEENTH IEEE INTERNATIONAL WORKSHOP ON RAPID SYSTEM PROTOTYPING, 2006, : 91 - +
12345