GATEST: 使用遗传算法自动生成模拟矢量的验证平台

• 作者: 佟冬 易江芳 程旭
• 来源期刊: 北京大学学报（自然科学版）
• 学科: 工学
• 关键词: 路径覆盖率 数据流分析 遗传算法 模拟矢量自动生成
• 年，卷（期）: 2006,（5）
• 所属期刊栏目: 研究论文
• 页码范围: 668-673
• 页数: 6页
• 分类号: TP3
• 字数: 5832字
• 语种: 中文
• DOI: 10.3321/j.issn:0479-8023.2006.05.018

摘要

对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性.本文针对Verilog语言,采用遗传算法(Genetic Algorithm, GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST.该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成.使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	程旭	北京大学微处理器研发中心	85	436	11.0	16.0
2	佟冬	北京大学微处理器研发中心	51	284	8.0	14.0
3	易江芳	北京大学微处理器研发中心	10	88	5.0	9.0