Pregled bibliografske jedinice broj: 294663
Specification and Design of Embedded Hardware-Software Systems
Specification and Design of Embedded Hardware-Software Systems // IEEE Design and Test of Computers, 12 (1995), 1; 53-67 (međunarodna recenzija, članak, znanstveni)
CROSBI ID: 294663 Za ispravke kontaktirajte CROSBI podršku putem web obrasca
Naslov
Specification and Design of Embedded Hardware-Software Systems
Autori
Gajski, Danijel ; Vahid, F.
Izvornik
IEEE Design and Test of Computers (0740-7475) 12
(1995), 1;
53-67
Vrsta, podvrsta i kategorija rada
Radovi u časopisima, članak, znanstveni
Ključne riječi
application specific integrated circuits; formal specification; real-time systems
Sažetak
Designing an embedded-system involves creating a specification of the system's functionality and mapping that functionality for implementation by a set of processors, ASICs, memories and buses. This tutorial discusses the key problems of system specification and design, including specification capture, design exploration, hierarchical modeling, software and hardware synthesis, and co-simulation. Existing tools and methods for solving these problems are presented. Also described is a 'specify-explore-refine' methodology that can lead to substantial productivity gains through the early detection of functional errors and through faster exploration of design alternatives.
Izvorni jezik
Engleski
Znanstvena područja
Računarstvo
POVEZANOST RADA
Ustanove:
Fakultet elektrotehnike i računarstva, Zagreb
Profili:
Daniel Gajski
(autor)
Citiraj ovu publikaciju:
Časopis indeksira:
- Current Contents Connect (CCC)
- Web of Science Core Collection (WoSCC)
- SCI-EXP, SSCI i/ili A&HCI
- Scopus
