Coverage directed test generation for functional verification using Bayesian networks
暂无分享,去创建一个
[1] Avi Ziv,et al. Cost evaluation of coverage directed test generation for the IBM mainframe , 2001, Proceedings International Test Conference 2001 (Cat. No.01CH37260).
[2] Nir Friedman,et al. Discovering Hidden Variables: A Structure-Based Approach , 2000, NIPS.
[3] Janick Bergeron,et al. Writing Testbenches: Functional Verification of HDL Models, Second Edition , 2003 .
[4] Judea Pearl,et al. Probabilistic reasoning in intelligent systems - networks of plausible inference , 1991, Morgan Kaufmann series in representation and reasoning.
[5] David G. Chinnery,et al. A functional validation technique: biased-random simulation guided by observability-based coverage , 2001, Proceedings 2001 IEEE International Conference on Computer Design: VLSI in Computers and Processors. ICCD 2001.
[6] David J. Spiegelhalter,et al. Probabilistic Networks and Expert Systems , 1999, Information Science and Statistics.
[7] A. Hasman,et al. Probabilistic reasoning in intelligent systems: Networks of plausible inference , 1991 .
[8] Shmuel Ur,et al. Micro architecture coverage directed generation of test programs , 1999, DAC '99.
[9] Jongshin Shin,et al. A genetic approach to automatic bias generation for biased random instruction generation , 2001, Proceedings of the 2001 Congress on Evolutionary Computation (IEEE Cat. No.01TH8546).
[10] D. A. Kenny,et al. Correlation and Causation. , 1982 .
[11] Laurent Fournier,et al. Functional verification methodology for microprocessors using the Genesys test-program generator , 1999, DATE '99.
[12] Avi Ziv,et al. User defined coverage—a tool supported methodology for design verification , 1998, DAC.
[13] D. A. Kenny,et al. Correlation and Causation , 1937, Wilmott.
[14] Zoubin Ghahramani,et al. Learning Dynamic Bayesian Networks , 1997, Summer School on Neural Networks.
[15] Janick Bergeron,et al. Writing Testbenches: Functional Verification of HDL Models , 2000 .
[16] 大西 仁,et al. Pearl, J. (1988, second printing 1991). Probabilistic Reasoning in Intelligent Systems: Networks of Plausible Inference. Morgan-Kaufmann. , 1994 .
[17] Michael P. Wellman,et al. Real-world applications of Bayesian networks , 1995, CACM.