From Design Validation to Hardware Testing: A Unified Approach
暂无分享,去创建一个
[1] Richard J. Lipton,et al. Hints on Test Data Selection: Help for the Practicing Programmer , 1978, Computer.
[2] Premachandran R. Menon,et al. Test Generation Algorithms for Computer Hardware Description Languages , 1982, IEEE Transactions on Computers.
[3] Chantal Robach,et al. From specification validation to hardware testing: a unified method , 1996, Proceedings International Test Conference 1996. Test and Design Validity.
[4] John P. Hayes,et al. High-level test generation using physically-induced faults , 1995, Proceedings 13th IEEE VLSI Test Symposium.
[5] Stephen Y. H. Su,et al. The S-Algorithm: A Promising Solution for Systematic Functional Test Generation , 1985, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[6] Sumit Ghosh,et al. On behavior fault modeling for digital designs , 1991, J. Electron. Test..
[7] James R. Armstrong,et al. B-algorithm: a behavioral test generation algorithm , 1994, Proceedings., International Test Conference.
[8] A. Jefferson Offutt,et al. Constraint-Based Automatic Test Data Generation , 1991, IEEE Trans. Software Eng..
[9] J.R. Armstrong. Chip-level modeling with HDLs , 1988, IEEE Design & Test of Computers.