Publication Details

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

MASAŘÍK Karel. Systém pro souběžný návrh technického a programového vybavení počítačů. VUTIUM. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3863-7.
English title
System for Hardware-Software Co-Design
Type
book
Language
czech
Authors
Keywords

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

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.

Published
2008
Pages
156
Series
VUTIUM
ISBN
978-80-214-3863-7
Publisher
Faculty of Information Technology BUT
Place
Brno, CZ
BibTeX
@BOOK{FITPUB8915,
   author = "Karel Masa\v{r}\'{i}k",
   title = "Syst\'{e}m pro soub\v{e}\v{z}n\'{y} n\'{a}vrh technick\'{e}ho a programov\'{e}ho vybaven\'{i} po\v{c}\'{i}ta\v{c}\r{u}",
   pages = 156,
   series = "VUTIUM",
   year = 2008,
   location = "Brno, CZ",
   publisher = "Faculty of Information Technology BUT",
   edition = "1st",
   ISBN = "978-80-214-3863-7",
   language = "czech",
   url = "https://www.fit.vut.cz/research/publication/8915"
}
Back to top