［1］ WANG S, HUANG K, XIE T, et al. Hybrid model: an efficient symmetric multiprocessor reference model [J]. Journal of Electrical and Computer Engineering, 2015,2015:23.
[2] FINE S, ZIV A. Coverage directed test generation for functional verification using Bayesian networks ［C］ ∥Proceeding of the 40th Annual Design Automation Conference. New York: IEEE, 2003: 286-291．
［3］ BRAUN M, FINE S, ZIV A. Enhancing the efficiency of Bayesian network based coverage directed test generation ［C］ ∥ Proceeding of IEEE International Workshop on High Level Design Validation and Test. New York: IEEE, 2004: 75-80．
［4］ FINE S, FREUND A, JAEGER I, et al. Harnessing machine learning to improve the success rate of stimuli generation ［J］. IEEE Transaction on Computers, 2006, 55(11): 1344-1355．
［5］ BARAS D, FINE S, FOURNIER L, et al. Automatic boosting of cross product coverage using Bayesian networks ［J］. International Journal on Software Tools for Technology Transfer, 2011, 13(3): 247-261．
［6］ WAGBER I, BERTACCO V, AUSTIN T. StressTest: an automatic approach to test generation via activity monitors ［C］∥ Proceeding of the 42nd annual Design Automation Conference. New York: ACM, 2005: 783788．
［7］ WAGBER I, BERTACCO V, AUSTIN T. Microprocessor verification via feedback adjusted Markov models ［J］. IEEE Transactions on Computer Aided Design of Integrated Circuits and Systems, 2007, 26(6): 1126-1138．
［8］ EDER K, FLACH P, HSUEH H W. Towards automating simulation based design verification using ILP ［C］∥ Proceeding of the 16th International Conference, ILP 2006. Berlin: Springer Press, 2007: 154-168．
［9］ IOANNIDES C, EDER K I. Coverage directed test generation automated by machine learning a review ［J］. ACM Transactions on Design Automation of Electronic Systems (TODAES), 2012, 17(1): 1-23．
［10］  马永杰, 云文霞. 遗传算法研究进展［J］. 计算机应用研究, 2012, 29(4): 1201-1210．
MA Yong jie, YUN Wen xia. Research progress of genetic algorithm ［J］. Application Research of Computers, 2012, 29(4): 1201-1210．
［11］ ARABALI A, GHOFRANI M, ETEZADI AMOLI M, et al. Genetic algorithm based optimization approach for energy management ［J］. IEEE Transactions on Power Delivery, 2012, 28(1): 162-170．
［12］ CHA Y J, AGRAWAL A K. Decentralized output feedback polynomial control of seismically excited structures using genetic algorithm ［J］. Structural Control and Health Monitoring, 2013, 20(3): 241-258．
［13］  方水良, 姚嫣菲, 赵诗奎. 柔性车间调度的改进遗传算法［J］. 浙江大学学报: 工学版, 2012, 46(4): 629-635．
FANG Shui liang, YAO Yan fei, ZHAO Shi kui. Improved genetic algorithm for flexible job shop scheduling ［J］. Journal of Zhejiang University: Engineering Science, 2012, 46(4): 629-635．
［14］ 寿涌毅, 彭晓峰, 李菲, 等. 抢占式资源受限项目调度问题的遗传算法［J］. 浙江大学学报: 工学版, 2014, 48(8): 1473-1480．
SHOU Yong yi, PENG Xiao feng, LI Fei, et al. Genetic algorithm for the preemptive resource constrained project scheduling problem ［J］. Journal of Zhejiang University: Engineering Science, 2014, 48(8): 1473-1480．
［15］TONELLA P, SUSI A, PALMA F. Interactive requirements prioritization using a genetic algorithm ［J］. Information and Software Technology, 2013, 55(1): 173-187．
［16］ MA Y, CUI X. Solving the fuel transportation problem based on the improved genetic algorithm ［C］ ∥ Proceeding of the 10th International Conference on Natural Computation (ICNC). New York: IEEE, 2014: 584-588．
［17］ TORRES J, GUARDADO J L, RIVAS DAVALOS F, et al. A genetic algorithm based on the edge window decoder technique to optimize power distribution systems reconfiguration ［J］. Electrical Power and Energy Systems, 2013, 45(1): 28-34．
［18］ SMITH J E, BARTLEY M, FOGARTY T C. Microprocessor design verification by two phase evolution of variable length tests ［C］ ∥Proceeding of IEEE International Conference on Evolutionary Computation. New York: IEEE, 1997: 453-458．
［19］ BOSE M, SHIN J, RUDNICK E M, et al. A genetic approach to automatic bias generation for biased random instruction generation ［C］ ∥ Proceeding of the 2001 Congress on Evolutionary Computation. New York: IEEE, 2001: 442-448．
［20］YU X, FIN A, FUMMI F, et al. A genetic testing framework for digital integrated circuits ［C］ ∥ Proceeding of the 14th IEEE International Conference on Tools with Artificial Intelligence. New York: IEEE, 2002: 521-526．
［21］ SAMARAH A, HABIBI A, TAHAR S, et al. Automated coverage directed test generation using a cell based genetic algorithm ［C］ ∥ Proceeding of the 11th Annual IEEE International High Level Design Validation and Test Workshop. New York: IEEE, 2006: 19-26．
［22］ HABIBI A, TAHAR S, SAMARAH A, et al. Efficient assertion based verification using TLM ［C］ ∥ Proceeding of Design, Automation and Test in Europe. New York: IEEE, 2006: 16．
［23］ SHEN H, WEI W, CHEN Y, et al. Coverage directed test generation: godson experience ［C］ ∥ Proceeding of the 17th Asian Test Symposium. New York: IEEE, 2008: 321-326．
［24］SUBEDHA V, SRIDHAR S. An efficient coverage driven functional verification system based on genetic algorithm ［J］. European Journal of Scientific Research, 2012, 81(4): 321-326．
［25］ WANG J, LIU Z, WANG S, et al. Coverage directed stimulus generation using a genetic algorithm ［C］ ∥ Proceeding of the 2013 International SoC Design Conference (ISOCC). New York: IEEE, 2013: 17-19．