loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Specification and Design of Embedded Hardware-Software Systems
Spring 1995 (vol. 12 no. 1)
pp. 53-67
ASCII Text
x 
 
Daniel D. Gajski, Frank Vahid, "Specification and Design of Embedded Hardware-Software Systems," IEEE Design and Test of Computers, vol. 12, no. 1, pp. 53-67, Spring, 1995.
 
 
BibTex
x
 
@article{ 10.1109/54.350695,
author = {Daniel D. Gajski and Frank Vahid},
title = {Specification and Design of Embedded Hardware-Software Systems},
journal ={IEEE Design and Test of Computers},
volume = {12},
number = {1},
issn = {0740-7475},
year = {1995},
pages = {53-67},
doi = {http://doi.ieeecomputersociety.org/10.1109/54.350695},
publisher = {IEEE Computer Society},
address = {Los Alamitos, CA, USA},
}
 
 
RefWorks Procite/RefMan/Endnote
x 
 
TY - MGZN
JO - IEEE Design and Test of Computers
TI - Specification and Design of Embedded Hardware-Software Systems
IS - 1
SN - 0740-7475
SP53
EP67
EPD - 53-67
A1 - Daniel D. Gajski,
A1 - Frank Vahid,
PY - 1995
VL - 12
JA - IEEE Design and Test of Computers
ER -
 
System specification and design consists of describing a system's desired functionality, and of mapping that functionality for implementation on a set of system components, such as processors, ASIC's, memories, and buses. In this article, we describe the key problems of system specification and design, including specification capture, design exploration, hierarchical modeling, software and hardware synthesis, and cosimulation. We highlight existing tools and methods for solving those problems, and we discuss issues that remain to be solved.
Citation:
Daniel D. Gajski, Frank Vahid, "Specification and Design of Embedded Hardware-Software Systems," IEEE Design and Test of Computers, vol. 12, no. 1, pp. 53-67, Mar. 1995, doi:10.1109/54.350695
Usage of this product signifies your acceptance of the Terms of Use.