Hierarchical test generation for VHDL behavioral models
暂无分享,去创建一个
[1] James R. Armstrong,et al. VHDL Semantics for Behavioral Test Generation , 1991 .
[2] J. Paul Roth,et al. Diagnosis of automata failures: a calculus and a method , 1966 .
[3] Glenford J. Myers,et al. Art of Software Testing , 1979 .
[4] John P. Hayes,et al. Hierarchical test generation using precomputed tests for modules , 1990, IEEE Trans. Comput. Aided Des. Integr. Circuits Syst..
[5] John P. Hayes,et al. Hierarchical test generation using precomputed testsd for modules , 1988, International Test Conference 1988 Proceeding@m_New Frontiers in Testing.
[6] James R. Armstrong,et al. Automated assists to the behavioral modeling process , 1990, [1990 Proceedings] The First International Workshop on Rapid System Prototying.
[7] H. D. Hümmer,et al. Functional Tests for Hardware Derived from VHDL Description , 1991 .
[8] Premachandran R. Menon,et al. Test Generation Algorithms for Computer Hardware Description Languages , 1982, IEEE Transactions on Computers.
[9] Jacob A. Abraham,et al. Speed up of test generation using high-level primitives , 1991, DAC '90.
[10] Balraj Singh. A parametrized CAD tool for VHDL model development with X Windows , 1990 .