Detail výsledku

Automatic C Compiler Generation from Architecture Description Language ISAC

HUSÁR, A.; TRMAČ, M.; HRANÁČ, J.; HRUŠKA, T.; MASAŘÍK, K.; KOLÁŘ, D.; PŘIKRYL, Z. Automatic C Compiler Generation from Architecture Description Language ISAC. 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science. Brno: Masaryk University, 2010. p. 84-91. ISBN: 978-80-87342-10-7.
Typ
článek ve sborníku konference
Jazyk
anglicky
Autoři
Husár Adam, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Trmač Miloslav, Mgr., FIT (FIT)
Hranáč Jan, Ing.
Hruška Tomáš, prof. Ing., CSc., UIFS (FIT)
Masařík Karel, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Kolář Dušan, doc. Dr. Ing., UIFS (FIT)
Přikryl Zdeněk, Ing., Ph.D., FIT (FIT), UIFS (FIT)
Abstrakt

This paper deals with retargetable compiler generation. After an introduction to application-specific instruction set processor design and a
review of code generation in compiler backends, ISAC architecture description language is introduced. Automatic approach to instruction semantics extraction from ISAC models which result is usable for backend generation is presented. This approach was successfully tested on three models of MIPS, ARM and TI MSP430 architectures. Further backend generation process that uses extracted instruction is semantics presented. This process was currently tested on the MIPS architecture and some preliminary results are shown.

Klíčová slova

retargetable compilers, ADL, ISAC, Lissom

Rok
2010
Strany
84–91
Sborník
6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
Konference
MEMICS'10 -- 6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science
ISBN
978-80-87342-10-7
Vydavatel
Masaryk University
Místo
Brno
BibTeX 
@inproceedings{BUT34419,
  author="Adam {Husár} and Miloslav {Trmač} and Jan {Hranáč} and Tomáš {Hruška} and Karel {Masařík} and Dušan {Kolář} and Zdeněk {Přikryl}",
  title="Automatic C Compiler Generation from Architecture Description Language ISAC",
  booktitle="6th Doctoral Workshop on Mathematical and Engineering Methods in Computer Science",
  year="2010",
  pages="84--91",
  publisher="Masaryk University",
  address="Brno",
  isbn="978-80-87342-10-7"
}
Projekty
Matematické a inženýrské metody pro vývoj spolehlivých a bezpečných paralelních a distribuovaných počítačových systémů, GAČR, Doktorské granty, GD102/09/H042, zahájení: 2009-01-30, ukončení: 2012-12-31, ukončen
National Support for Project Smart Multicore Embedded SYstems, MŠMT, Společné technologické iniciativy, 7H10014, zahájení: 2010-02-01, ukončení: 2013-01-31, řešení
Systém pro programování a realizaci vestavěných systémů, MPO, TIP, FR-TI1/038, zahájení: 2009-07-01, ukončení: 2013-06-30, ukončen
Výzkum informačních technologií z hlediska bezpečnosti, MŠMT, Institucionální prostředky SR ČR (např. VZ, VC), MSM0021630528, zahájení: 2007-01-01, ukončení: 2013-12-31, řešení
Výzkumné skupiny
Výzkumná skupina Hardware-Software Codesign (VZ LISSOM)
Pracoviště
Ústav informačních systémů (UIFS)
Nahoru