Learning microarchitectural behaviors to improve stimuli generation quality
暂无分享,去创建一个
Avi Ziv | Yoav Katz | Michal Rimon | Gai Shaked | A. Ziv | M. Rimon | Yoav Katz | Gai Shaked
[1] Giovanni Squillero,et al. MicroGP—An Evolutionary Assembly Program Generator , 2005, Genetic Programming and Evolvable Machines.
[2] Wolfgang Roesner,et al. Comprehensive Functional Verification: The Complete Industry Cycle (Systems on Silicon) , 2005 .
[3] J. Ross Quinlan,et al. C4.5: Programs for Machine Learning , 1992 .
[4] Avi Ziv,et al. Coverage directed test generation for functional verification using Bayesian networks , 2003, Proceedings 2003. Design Automation Conference (IEEE Cat. No.03CH37451).
[5] Balaram Sinharoy,et al. POWER7: IBM's next generation server processor , 2010, 2009 IEEE Hot Chips 21 Symposium (HCS).
[6] Wolfgang Roesner,et al. Comprehensive Functional Verification: The Complete Industry Cycle , 2005 .
[7] Allon Adir,et al. Genesys-Pro: innovations in test program generation for functional processor verification , 2004, IEEE Design & Test of Computers.
[8] Todd M. Austin,et al. Microprocessor Verification via Feedback-Adjusted Markov Models , 2007, IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems.
[9] Yehuda Naveh,et al. Constraint-Based Random Stimuli Generation for Hardware Verification , 2006, AI Mag..
[10] Thomas M. Cover,et al. Elements of Information Theory , 2005 .
[11] Alberto Maria Segre,et al. Programs for Machine Learning , 1994 .
[12] T. Ferguson. A Course in Large Sample Theory , 1996 .
[13] Peter A. Flach,et al. Towards Automating Simulation-Based Design Verification Using ILP , 2007, ILP.