Fault models and test generation for hardware-software covalidation

被引:16
|
作者
Harris, IG [1 ]
机构
[1] Univ Calif Irvine, Sch Informat & Comp Sci, Irvine, CA 92697 USA
来源
IEEE DESIGN & TEST OF COMPUTERS | 2003年 / 20卷 / 04期
关键词
D O I
10.1109/MDT.2003.1214351
中图分类号
TP3 [计算技术、计算机技术];
学科分类号
0812 ;
摘要
引用
收藏
页码:40 / 47
页数:8
相关论文
共 50 条
  • [1] Hardware-software covalidation: Fault models and test generation
    Harris, IG
    SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 151 - 156
  • [2] Test generation for hardware-software covalidation using non-linear programming
    Xin, F
    Harris, IG
    SEVENTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2002, : 175 - 180
  • [3] Hardware/software covalidation
    Harris, IG
    IEE PROCEEDINGS-COMPUTERS AND DIGITAL TECHNIQUES, 2005, 152 (03): : 380 - 392
  • [4] CPU core generation for hardware-software codesign
    Jang, KS
    Kunieda, H
    APCCAS '96 - IEEE ASIA PACIFIC CONFERENCE ON CIRCUITS AND SYSTEMS '96, 1996, : 306 - 309
  • [5] Test pattern generation for timing-induced functional errors hardware-software systems
    Arekapudi, S
    Xin, F
    Peng, JZ
    Harris, IG
    SIXTH IEEE INTERNATIONAL HIGH-LEVEL DESIGN VALIDATION AND TEST WORKSHOP, PROCEEDINGS, 2001, : 83 - 88
  • [6] Hardware-software codesign
    Hoover, C
    Martin, G
    IEEE SPECTRUM, 1996, 33 (11) : 40 - 41
  • [7] HARDWARE-SOFTWARE TRADEOFF
    不详
    MINI-MICRO SYSTEMS, 1977, 10 (11-1): : 98 - &
  • [8] HARDWARE-SOFTWARE INTERACTION
    BROWN, PTS
    DATA PROCESSING, 1973, 15 (02): : 125 - 129
  • [9] HARDWARE-SOFTWARE COMPLEMENTARITY
    OETTINGE.AC
    COMMUNICATIONS OF THE ACM, 1967, 10 (10) : 604 - &
  • [10] Inferred Models for Dynamic and Sparse Hardware-Software Spaces
    Wu, Weidan
    Lee, Benjamin C.
    2012 IEEE/ACM 45TH INTERNATIONAL SYMPOSIUM ON MICROARCHITECTURE (MICRO-45), 2012, : 413 - 424