自动化技术、通信工程 |
|
|
|
|
基于遗传算法的覆盖率驱动测试产生器 |
王树朋1,黄凯1,严晓浪2 |
1.浙江大学 信息与电子工程学系,浙江 杭州 310027; 2. 浙江大学 超大规模集成电路研究所,浙江 杭州 310027 |
|
Coverage directed test generation based on genetic algorithm |
WANG Shu peng1, HUANG Kai1, YAN Xiao lang2 |
1. Department of Information Science and Electronic Engineering, Zhejiang University, Hangzhou 310027, China;2. Institute of VLSI Design, Zhejiang University, Hangzhou 310027, China |
[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. |
|
Viewed |
|
|
|
Full text
|
|
|
|
|
Abstract
|
|
|
|
|
Cited |
|
|
|
|
|
Shared |
|
|
|
|
|
Discussed |
|
|
|
|