From Design Validation to Hardware Testing: A Unified Approach

被引:0
作者
Ghassan Al-Hayek
Chantal Robach
机构
[1] LCIS-INPG,
来源
Journal of Electronic Testing | 1999年 / 14卷
关键词
design validation; mutation testing; VHDL;
D O I
暂无
中图分类号
学科分类号
摘要
In this paper we propose a new approach that addresses both the problems of design validation and hardware testing since the early stages of the design flow. The approach consists in adapting the mutation testing, a software method, to circuits described in VHDL. At the functional level, the approach behaves as a design validation method and at the hardware level as a classical ATPG. Standard software test metrics are used for assessing the quality of the design validation process, and the hardware fault coverage for assessing the test quality at the hardware level. An enhancement process that allows design validation to be efficiently reused for hardware testing is detailed. The approach is shown to be efficient upon a set of representative circuits.
引用
收藏
页码:133 / 140
页数:7
相关论文
共 12 条
  • [1] Levendel Y.(1982)Test Generation Algorithms for Computer Hardware Description Languages IEEE Transactions on Computers C-31 577-588
  • [2] Menon P.(1985)The S-algorithm: A Promising Solution for Systematic Functional Test Generation IEEE Transactions On Computer-Aided-Design CAD-4 250-263
  • [3] Lin T.(1991)On Behavioral Fault Modeling for Digital Designs Journal of Electronic Testing: Theory and Applications 2 135-151
  • [4] Su S.Y.(1988)Chip-Level Modeling with HDLs IEEE Design and Test of Computers 5 577-588
  • [5] Ghosh S.(1978)Hints on Test Data Selection: Help for the Practicing Programmer IEEE Computer 11 34-41
  • [6] Chakraborty T.J.(1991)Constraint-Based Automatic Test Data Generation IEEE Transactions on Computers 17 900-910
  • [7] Armstrong J.R.(undefined)undefined undefined undefined undefined-undefined
  • [8] DeMillo R.(undefined)undefined undefined undefined undefined-undefined
  • [9] Lipton R.(undefined)undefined undefined undefined undefined-undefined
  • [10] Sayward F.(undefined)undefined undefined undefined undefined-undefined