A study in coverage-driven test generation
暂无分享,去创建一个
D. Geist | A. Hartman | Y. Wolfsthal | Y. Wolfsthal | D. Geist | M. Benjamin | A. Hartman | G. Mas | R. Smeets | M. Benjamin | G. Mas | R. Smeets
[1] Avner Landver,et al. Coverage-Directed Test Generation Using Symbolic Techniques , 1996, FMCAD.
[2] Mark Horowitz,et al. Architecture validation for processors , 1995, Proceedings 22nd Annual International Symposium on Computer Architecture.
[3] Christian Berthet,et al. Functional verification methodology of Chameleon processor , 1996, DAC '96.
[4] Aharon Aharon,et al. Test Program Generation for Functional Verification of PowePC Processors in IBM , 1995, 32nd Design Automation Conference.