Book

MASAŘÍK, K.. Systém pro souběžný návrh technického a programového vybavení počítačů. Brno: Faculty of Information Technology BUT, 2008. ISBN 978-80-214-3863-7.
Publication language:czech
Original title:Systém pro souběžný návrh technického a programového vybavení počítačů
Title (en):System for Hardware-Software Co-Design
Pages:156
Series:VUTIUM
Place:Brno, CZ
Year:2008
ISBN:978-80-214-3863-7
Publisher:Faculty of Information Technology BUT
Keywords
Hardware/software co-design, ASIP, architecture description language, hardware description language, model equivalence.
Annotation
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.
BibTeX:
@BOOK{
   author = {Karel Masařík},
   title = {Systém pro souběžný návrh technického a programového
	vybavení počítačů},
   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 = {http://www.fit.vutbr.cz/research/view_pub.php.en?id=8915}
}

Your IPv4 address: 54.87.74.21
Switch to IPv6 connection

DNSSEC [dnssec]