Functional Verification of Digital Systems Using Meta-Heuristic Algorithms

[1]  Avi Ziv,et al.  Learning microarchitectural behaviors to improve stimuli generation quality , 2011, 2011 48th ACM/EDAC/IEEE Design Automation Conference (DAC).

[2]  Michael S. Hsiao,et al.  An ant colony optimization technique for abstraction-guided state justification , 2009, 2009 International Test Conference.

[3]  David Tcheng,et al.  GoldMine: Automatic assertion generation using data mining and static analysis , 2010, 2010 Design, Automation & Test in Europe Conference & Exhibition (DATE 2010).

[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]  Sofiène Tahar,et al.  Automated Coverage Directed Test Generation Using a Cell-Based Genetic Algorithm , 2006, 2006 IEEE International High Level Design Validation and Test Workshop.

[6]  Magdy S. Abadir,et al.  Simulation knowledge extraction and reuse in constrained random processor verification , 2013, 2013 50th ACM/EDAC/IEEE Design Automation Conference (DAC).

[7]  Russell C. Eberhart,et al.  A discrete binary version of the particle swarm algorithm , 1997, 1997 IEEE International Conference on Systems, Man, and Cybernetics. Computational Cybernetics and Simulation.

[8]  Ricardo Barrón,et al.  Automated Functional Test Generation for Digital Systems Through a Compact Binary Differential Evolution Algorithm , 2015, J. Electron. Test..

[9]  Tao Xie,et al.  Mutation-analysis driven functional verification of a soft microprocessor , 2012, 2012 IEEE International SOC Conference.

[10]  Michael S. Hsiao,et al.  Fast Stimuli Generation for Design Validation of RTL Circuits Using Binary Particle Swarm Optimization , 2015, 2015 IEEE Computer Society Annual Symposium on VLSI.

[11]  Alfonso Martinez Cruz,et al.  Automated Functional Coverage for a Digital System Based on a Binary Differential Evolution Algorithm , 2013 .

[12]  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).

[13]  Qi Guo,et al.  Coverage Directed Test Generation: Godson Experience , 2008, 2008 17th Asian Test Symposium.