Publication detail

Systém pro souběžný návrh technického a programového vybavení počítačů

MASAŘÍK, K.

Original Title

Systém pro souběžný návrh technického a programového vybavení počítačů

English Title

System for Hardware-Software Co-Design

Type

book

Language

Czech

Original Abstract

Aplikačně specifické instrukční procesory tvoří jádra vestavěných systémů. Oblast souběžného návrhu hardwaru a softwaru (hardware/software co-design) se zabývá návrhem aplikačně specifických procesorů, přičemž oblast prozkoumává různé varianty řešení pro konkrétní úlohu na základě různých kriterií (cena, spotřeba a velikost čipu). Úspěch fáze prozkoumávání je ovlivněn existencí řádného modelu architektury, na základě něhož mohou být vytvořeny softwarové nástroje pro programování a simulaci architektury spolu s implementací architektury v hardwarovém popisném jazyce. Jazyky pro popis architektury umožňují automatizovat fázi vytvoření softwarových nástrojů a fázi implementace architektury v hardwaru. Po vytvoření implementace architektury v hardwaru vyvstává otázka, zda je implementace v hardwaru ekvivalentní se softwarovými nástroji, lépe řečeno, zda je možné použít nástroje pro programování skutečného hardwaru a zda má vygenerovaný simulátor obdobné chování jako hardware. V této práci představíme systém, který se zabývá jednotlivými kroky automatizace procesoru souběžného návrhu hardwaru a softwaru.

English abstract

Application specific instruction set processors (ASIPs) create a core of embedded systems. The area of hardware/software co-design deals with the design of ASIPs whereas area explores the design space for the given task based on several criteria (price, consumption, chip size, etc.). The success of the exploration phase is influenced with an existence of a proper architecture model. Software tools for programming and simulation of the ASIP together with a hardware implementation in hardware description language can be generated based on the ASIP model, which is described using architecture description language. After a creation of the hardware implementation, the question of the equivalence between the implementation and software tools has to be answered - is it possible to use software tools for a programming of the real hardware and does the simulator behave according to the hardware? In this work, we introduce a system which deals with mentioned steps of the design and which tries to provide a solution for the equivalence checking problem.

Key words in English

Hardware/software co-design, ASIP, architecture description language, hardware description language, model equivalence.

Authors

MASAŘÍK, K.

RIV year

2008

Released

10. 12. 2008

Publisher

Fakulta informačních technologií VUT v Brně

Location

Brno

ISBN

978-80-214-3863-7

Edition

VUTIUM

Edition number

1st

Pages count

156

BibTex

@book{BUT61869,
  author="Karel {Masařík}",
  title="Systém pro souběžný návrh technického a programového vybavení počítačů",
  year="2008",
  publisher="Fakulta informačních technologií VUT v Brně",
  address="Brno",
  series="VUTIUM",
  edition="1st",
  pages="156",
  isbn="978-80-214-3863-7"
}