Výzkumná skupina Hardware-Software Codesign

Výzkumná skupina Hardware-Software Codesign

Skupina řeší projekt simulátoru mikroprocesorů pro hardware-software co-desing nazvaný Lissom. Projekt je zaměřen na výzkum a návrh jazyka pro popis mikroprocesorů a metody transformace modelů mikroprocesoru. Tyto metody budou užity pro návrh systému, který zefektivní a zautomatizuje proces návrhu mikroprocesoru.

Témata výzkumu

  • Hardware-Software codesign mikroprocesorů pro vestavěné systémy
  • Jazyky pro popis architektury
  • Překladače
  • Generické nástroje pro programováni a simulace aplikačně specifických instrukčních mikroprocesorů
  • Transformace mezi jazyky pro popis architektury a hardwarově popisnými jazyky
  • Aplikace formálních jazyku v překladačích
Nahoru