Harnessing machine learning to improve the success rate of stimuli generation
暂无分享,去创建一个
[1] Andrew Piziali,et al. Functional verification coverage measurement and analysis , 2004 .
[2] Yehuda Naveh,et al. X-Gen: a random test-case generator for systems and SoCs , 2002, Seventh IEEE International High-Level Design Validation and Test Workshop, 2002..
[3] Aharon Aharon,et al. Test Program Generation for Functional Verification of PowePC Processors in IBM , 1995, 32nd Design Automation Conference.
[4] Avi Ziv,et al. Hole analysis for functional coverage data , 2002, DAC '02.
[5] Avi Ziv,et al. Coverage directed test generation for functional verification using Bayesian networks , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[6] Judea Pearl,et al. Probabilistic reasoning in intelligent systems , 1988 .
[7] Avi Ziv,et al. Using a constraint satisfaction formulation and solution techniques for random test program generation , 2002, IBM Syst. J..
[8] Wolfgang Roesner,et al. Comprehensive Functional Verification: The Complete Industry Cycle , 2005 .
[9] David Heckerman,et al. A Tutorial on Learning with Bayesian Networks , 1998, Learning in Graphical Models.
[10] Allon Adir,et al. Genesys-Pro: innovations in test program generation for functional processor verification , 2004, IEEE Design & Test of Computers.