基于关键信号的路径覆盖率模型

摘要：

针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题,使用控制流图表示代码逻辑结构,采用数据流分析技术对待验证路径进行合理的化简.所产生的路径集合规模小、针对性强,有利于尽早发现设计错误.最后使用遗传算法生成模拟矢量,并基于北京大学"众志-863系统"芯片中的功能模块给出实验结果,说明该覆盖率模型的有效性.

关键词：覆盖率模型、路径覆盖率、数据流分析、模拟矢量生成、遗传算法

所属期刊栏目：18

分类号：TP3(计算技术、计算机技术)

资助基金：国家高技术研究发展计划863计划2004AA1Z1010

在线出版日期：2006-09-11（万方平台首次上网日期，不代表论文的发表时间）

页数：共7页

页码：1085-1091