SPECIFICATION AND DESIGN OF EMBEDDED HARDWARE-SOFTWARE SYSTEMS

被引：56
|
作者：
GAJSKI, DD [1 ]
VAHID, F [1 ]
机构：
[1] UNIV CALIF RIVERSIDE,DEPT COMP SCI,RIVERSIDE,CA 92521
来源：
IEEE DESIGN & TEST OF COMPUTERS | 1995年 / 12卷 / 01期
关键词：
D O I：
10.1109/54.350695
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
Embedded-system specification and design consists of describing a system's desired functionality and mapping that functionality for implementation by a set of system components such as 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 cosimulation. The authors highlight existing tools and methods for solving those problems and describe a ''specify-explore-refine'' methodology for meeting today's embedded-system product development requirements.
引用
收藏
页码：53 / 67
页数：15
相关论文
共 50 条
  • [1] HARDWARE-SOFTWARE CO-DESIGN OF EMBEDDED SYSTEMS
    WOLF, WH
    [J]. PROCEEDINGS OF THE IEEE, 1994, 82 (07) : 967 - 989
  • [2] Hardware-software codesign of embedded systems
    Coelho, CJN
    da Silva, DC
    Fernandes, AO
    [J]. XI BRAZILIAN SYMPOSIUM ON INTEGRATED CIRCUIT DESIGN, PROCEEDINGS, 1998, : 2 - 8
  • [3] HARDWARE-SOFTWARE CODESIGN OF EMBEDDED SYSTEMS
    CHIODO, M
    GIUSTO, P
    JURECSKA, A
    HSIEH, HC
    SANGIOVANNIVINCENTELLI, A
    LAVAGNO, L
    [J]. IEEE MICRO, 1994, 14 (04) : 26 - 36
  • [4] Java as a specification language for hardware-software systems
    Helaihel, Rachid
    Olukotun, Kunle
    [J]. IEEE/ACM International Conference on Computer-Aided Design, Digest of Technical Papers, 1997, : 690 - 697
  • [5] High-level design of embedded hardware-software systems
    Dolinsky, M
    [J]. ADVANCES IN ENGINEERING SOFTWARE, 2000, 31 (03) : 197 - 201
  • [6] High-level design of embedded hardware-software systems
    Dolinsky, MS
    [J]. AVTOMATIKA I VYCHISLITELNAYA TEKHNIKA, 1997, (05): : 63 - 70
  • [7] Hardware-software coverification of distributed embedded systems
    Fu, JM
    Chen, SJ
    [J]. INTERNATIONAL CONFERENCE ON PARALLEL AND DISTRIBUTED PROCESSING TECHNIQUES AND APPLICATIONS, VOL VI, PROCEEDINGS, 1999, : 2995 - 3001
  • [8] Java']Java as a specification language for hardware-software systems
    Helaihel, R
    Olukotun, K
    [J]. 1997 IEEE/ACM INTERNATIONAL CONFERENCE ON COMPUTER-AIDED DESIGN - DIGEST OF TECHNICAL PAPERS, 1997, : 690 - 697
  • [9] Design for testability in hardware-software systems
    Vranken, HPE
    Witteman, MF
    vanWuijtswinkel, RC
    [J]. IEEE DESIGN & TEST OF COMPUTERS, 1996, 13 (03): : 79 - 87
  • [10] Hardware-software timing coverification of distributed embedded systems
    Fu, JM
    Lee, TY
    Hsiung, PA
    Chen, SJ
    [J]. IEICE TRANSACTIONS ON INFORMATION AND SYSTEMS, 2000, E83D (09): : 1731 - 1740
12345