A compiler-compiler for Codesign

被引:0
|
作者
Carchiolo, V [1 ]
Malgeri, M [1 ]
Mangioni, G [1 ]
机构
[1] Univ Catania, Fac Ingn, Ist Informat & Telecommun, I-95125 Catania, Italy
来源
INTERNATIONAL CONFERENCE ON POLITICS AND INFORMATION SYSTEMS: TECHNOLOGIES AND APPLICATIONS, PROCEEDINGS | 2003年
关键词
hw/sw codesign; compiler; formal methods;
D O I
暂无
中图分类号
G2 [信息与知识传播];
学科分类号
05 ; 0503 ;
摘要
Growing complexity of hardware/software embedded devices coupled with short time to market requirement is getting older the traditional approaches. Codesign, i.e. integrated development of both hardware and software aims at providing a common and integrated framework for a large set of devices. Till now, several methodologies has been proposed using different tools for each development phase, thus requiring people to be acquaint to several background. Development of compiler able to join all phase providing a unique interface may be a step behind, but it is not possible to create such a tool for all possible architecture. A solution to this matter is the development of a "compiler-compiler", that is a tool able to generate a customized compiler for any architecture.
引用
收藏
页码:174 / 177
页数:4
相关论文
共 50 条
  • [1] The Pochoir Stencil Compiler
    Tang, Yuan
    Chowdhury, Rezaul
    Kuszmaul, Bradley C.
    Luk, Chi-Keung
    Leiserson, Charles E.
    SPAA 11: PROCEEDINGS OF THE TWENTY-THIRD ANNUAL SYMPOSIUM ON PARALLELISM IN ALGORITHMS AND ARCHITECTURES, 2011, : 117 - 128
  • [2] A compiler for variational forms
    Kirby, Robert C.
    Logg, Anders
    ACM TRANSACTIONS ON MATHEMATICAL SOFTWARE, 2006, 32 (03): : 417 - 444
  • [3] Optimized compiler for Intel® Itanium® processor family and compiler enhancements from NEC
    Sakon, S
    Yamamoto, H
    Kusano, K
    Washio, T
    NEC RESEARCH & DEVELOPMENT, 2003, 44 (01): : 80 - 84
  • [4] A compiler for MSVL and its applications
    Yang, Kai
    Duan, Zhenhua
    Tian, Cong
    Zhang, Nan
    THEORETICAL COMPUTER SCIENCE, 2018, 749 : 2 - 16
  • [5] Inqasm: InQuIR compiler to NetQASM
    Vazquez-Perez, Jorge
    Cardama, F. Javier
    Pineiro, Cesar
    Pichel, Juan C.
    Pena, Tomas F.
    Gomez, Andres
    JOURNAL OF SUPERCOMPUTING, 2025, 81 (02)
  • [6] Detection of Optimizations Missed by the Compiler
    Zhang, Yi
    PROCEEDINGS OF THE 31ST ACM JOINT MEETING EUROPEAN SOFTWARE ENGINEERING CONFERENCE AND SYMPOSIUM ON THE FOUNDATIONS OF SOFTWARE ENGINEERING, ESEC/FSE 2023, 2023, : 2192 - 2194
  • [7] Automatic generation of compiler backends
    Brandner, Florian
    Pavlu, Viktor
    Krall, Andreas
    SOFTWARE-PRACTICE & EXPERIENCE, 2013, 43 (02) : 207 - 240
  • [8] Machine Learning in Compiler Optimization
    Wang, Zheng
    O'Boyle, Michael
    PROCEEDINGS OF THE IEEE, 2018, 106 (11) : 1879 - 1901
  • [9] Quantum Netlist Compiler (QNC)
    Aktar, Shamminuj
    Badawy, Abdel-Hammed A.
    Santhi, Nandakishore
    2022 IEEE HIGH PERFORMANCE EXTREME COMPUTING VIRTUAL CONFERENCE (HPEC), 2022,
  • [10] Design and implementation of a queue compiler
    Canedo, Arquimedes
    Abderazek, Ben A.
    Sowa, Masahiro
    MICROPROCESSORS AND MICROSYSTEMS, 2009, 33 (02) : 129 - 138