计算机辅助设计与图形学学报
計算機輔助設計與圖形學學報
계산궤보조설계여도형학학보
JOURNAL OF COMPUTER-AIDED DESIGN & COMPUTER GRAPHICS
2006年
8期
1085-1091
,共7页
覆盖率模型%路径覆盖率%数据流分析%模拟矢量生成%遗传算法
覆蓋率模型%路徑覆蓋率%數據流分析%模擬矢量生成%遺傳算法
복개솔모형%로경복개솔%수거류분석%모의시량생성%유전산법
针对使用路径覆盖率作为验证目标时出现的路径数量庞大、覆盖率难以快速提高等问题,使用控制流图表示代码逻辑结构,采用数据流分析技术对待验证路径进行合理的化简.所产生的路径集合规模小、针对性强,有利于尽早发现设计错误.最后使用遗传算法生成模拟矢量,并基于北京大学"众志-863系统"芯片中的功能模块给出实验结果,说明该覆盖率模型的有效性.
針對使用路徑覆蓋率作為驗證目標時齣現的路徑數量龐大、覆蓋率難以快速提高等問題,使用控製流圖錶示代碼邏輯結構,採用數據流分析技術對待驗證路徑進行閤理的化簡.所產生的路徑集閤規模小、針對性彊,有利于儘早髮現設計錯誤.最後使用遺傳算法生成模擬矢量,併基于北京大學"衆誌-863繫統"芯片中的功能模塊給齣實驗結果,說明該覆蓋率模型的有效性.
침대사용로경복개솔작위험증목표시출현적로경수량방대、복개솔난이쾌속제고등문제,사용공제류도표시대마라집결구,채용수거류분석기술대대험증로경진행합리적화간.소산생적로경집합규모소、침대성강,유리우진조발현설계착오.최후사용유전산법생성모의시량,병기우북경대학"음지-863계통"심편중적공능모괴급출실험결과,설명해복개솔모형적유효성.