基于遗传算法和覆盖率驱动的功能验证向量自动生成算法

Journal of Applied Sciences ›› 2005, Vol. 23 ›› Issue (4): 375-379.

• Articles • Previous Articles Next Articles

Coverage Directed Vector Generation for Functional Verification Using Genetic Algorithm

LUO Chun, YANG Jun, LING Ming

National ASIC System Engineering Research Center, Southeast University, Nanjing 210096, China

Received:2004-04-25 Revised:2004-10-08 Online:2005-07-31 Published:2005-07-31

Abstract

Abstract: With a new algorithm for coverage directed vector generation, a major challenge in the verification on the register transfer level by simulation is addressed.The approach is based on genetic algorithm, which provides an efficient way in forming feedback from the coverage domain back to the generator.This technique has been applied to the verification of an industrial SoC module, showing encouraging results and indicating that the quality of the verification is improved.

Key words: genetic algorithm, functional verification, vector automatic generation

CLC Number:

TN47

LUO Chun, YANG Jun, LING Ming. Coverage Directed Vector Generation for Functional Verification Using Genetic Algorithm[J]. Journal of Applied Sciences, 2005, 23(4): 375-379.

[1]	DONG Li, SONG Xiao-qin, HAN Jie. Resource Allocation Based on Genetic Algorithm and Particle Swarm Optimization for Cognitive OFDM Network [J]. Journal of Applied Sciences, 2017, 35(3): 288-298.
[2]	JIANG Cui-ling, LIN Jia-jun. Robust Image Hashing Based on Genetic Algorithm and BP Network [J]. Journal of Applied Sciences, 2016, 34(5): 537-546.
[3]	ZHENG Yi1,2, ZHENG Ping3,4. Dual Thresholding Method Using Fuzzy Entropy and Genetic Algorithm [J]. Journal of Applied Sciences, 2014, 32(4): 427-433.
[4]	HONG Tao1, SONG Mao-zhong2, LIU Yu2. Design of Directional Modulation Signal Based on Multi-objective Genetic Algorithm for Physical Layer Secure Communication [J]. Journal of Applied Sciences, 2014, 32(1): 51-56.
[5]	CHEN Gang, GU Hong, SU Wei-min, WU Hao. Optimization of MIMO Radar Arrays in Near Field [J]. Journal of Applied Sciences, 2013, 31(4): 387-393.
[6]	LI Ming, WANG Ying, CHEN Hao, LU Yu-ming. [J]. Journal of Applied Sciences, 2012, 30(6): 669-676.
[7]	SU Lin-lin, ZHANG Xiao-lin. Automatic Test for Chip Function Verification Using Adaptive Genetic Algorithm [J]. Journal of Applied Sciences, 2011, 29(6): 631-636.
[8]	HU Wei, ZHANG Jian-hua, QI Lin, HU Feng-ge. Design of UWB Antenna Using Improved Quantum Genetic Algorithm and Optimum Uniform Approximation [J]. Journal of Applied Sciences, 2011, 29(6): 637-643.
[9]	CHEN Hao1, LI Ming2, CHEN Xi2. Hybrid Memory Scheme for Genetic Algorithm in Dynamic Environments [J]. Journal of Applied Sciences, 2010, 28(5): 540-545.
[10]	PENG Fei, XIE Guang-jun. Optimum Design of Quantum Teleportation Circuit [J]. Journal of Applied Sciences, 2010, 28(3): 313-317.
[11]	LIU Nan-nan1, SHI Yu1, CHENG Wei-ping2, QIN Fu-gao3;4. Improved Multi-objective Genetic Algorithm with Application to PID Optimization Design [J]. Journal of Applied Sciences, 2010, 28(1): 83-89.
[12]	CHENG Xin, XIE Guang-jun, YANG Yi-zhong. Optimization of Constrained Multi-layer Routing Algorithm [J]. Journal of Applied Sciences, 2009, 27(4): 387-391.
[13]	ZHANG Kai, CHEN Chen, GUO Chen-jiang, XU Jia-dong. Synthesis of Radiation Pattern Using Genetic Algorithm for Antenna Array near Electrically Large Platform [J]. Journal of Applied Sciences, 2009, 27(4): 381-386.
[14]	Lü Yu-long1, SHEN Qing-song1, SHI Tie-liu2, WANG Yi-fei1. Intelligentized Biclustering Based on Tabu Search and Genetic Algorithm [J]. Journal of Applied Sciences, 2009, 27(3): 282-287.
[15]	DING Xiao 1, DING Xuan-hao 2. Ultra-wideband Antenna Design Using Genetic Algorithms [J]. Journal of Applied Sciences, 2009, 27(2): 187-191.

Coverage Directed Vector Generation for Functional Verification Using Genetic Algorithm

PDF

Knowledge

Cited

Abstract

Cite this article

share this article

References

Related Articles 15

Recommended Articles

Metrics

Comments