Publication Details
Systém pro souběžný návrh technického a programového vybavení počítačů
Hardware/software co-design, ASIP, architecture description language, hardware
description language, model equivalence.
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.
@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"
}