GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms

CORC > 北京大学 > 信息科学技术学院

	GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms
	Yi, Jiangfang ; Tong, Dong ; Cheng, Xu
刊名	北京大学学报自然科学版
	2006
英文摘要	The approaches of simulation-based validation need a large amount of simulation-vectors for verifying the corner cases of VLSI designs. The authors developed a validation platform of automatic simulation vectors generation based on the path coverage metric using genetic algorithm for RT-level designs. Given the critical signals, it used techniques of data flow analysis to acquire the critical path set and choose the critical path coverage to be the fitness function used in the GA. The authors performed experiments on some functional modules of Unity-863 SoC. The relationship between the final results and the control factors were also analyzed in detail. The results show that GATEST is effective and efficient.; EI; 0; 5; 668-673; 42
语种	英语
内容类型	期刊论文
源URL	[http://ir.pku.edu.cn/handle/20.500.11897/410334]
专题	信息科学技术学院
推荐引用方式 GB/T 7714	Yi, Jiangfang,Tong, Dong,Cheng, Xu. GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms[J]. 北京大学学报自然科学版,2006.
APA	Yi, Jiangfang,Tong, Dong,&Cheng, Xu.(2006).GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms.北京大学学报自然科学版.
MLA	Yi, Jiangfang,et al."GATEST: a validation platform of automatic simulation vectors generation using genetic algorithms".北京大学学报自然科学版 (2006).