北京大学学报（自然科学版）
北京大學學報（自然科學版）
북경대학학보（자연과학판）
ACTA SCIENTIARUM NATURALIUM UNIVERSITATIS PEKINENSIS
2006年
5期
668-673
,共6页
路径覆盖率%数据流分析%遗传算法%模拟矢量自动生成
路徑覆蓋率%數據流分析%遺傳算法%模擬矢量自動生成
로경복개솔%수거류분석%유전산법%모의시량자동생성
对硬件设计进行功能验证的一个关键问题是需要大量的模拟矢量来保证验证的充分性.本文针对Verilog语言,采用遗传算法(Genetic Algorithm, GA)作为解决方案,设计了一个使用遗传算法自动生成模拟矢量的验证平台GATEST.该平台的一个特点是,根据指定的关键信号使用数据流分析产生关键路径集合,并采用基于该集合的路径覆盖率作为适应度函数引导模拟矢量的生成.使用该验证平台对北大众志-863系统芯片的功能模块进行实验,并详细分析了不同控制参数配置下的实验结果,说明该平台具有一定的有效性.
對硬件設計進行功能驗證的一箇關鍵問題是需要大量的模擬矢量來保證驗證的充分性.本文針對Verilog語言,採用遺傳算法(Genetic Algorithm, GA)作為解決方案,設計瞭一箇使用遺傳算法自動生成模擬矢量的驗證平檯GATEST.該平檯的一箇特點是,根據指定的關鍵信號使用數據流分析產生關鍵路徑集閤,併採用基于該集閤的路徑覆蓋率作為適應度函數引導模擬矢量的生成.使用該驗證平檯對北大衆誌-863繫統芯片的功能模塊進行實驗,併詳細分析瞭不同控製參數配置下的實驗結果,說明該平檯具有一定的有效性.
대경건설계진행공능험증적일개관건문제시수요대량적모의시량래보증험증적충분성.본문침대Verilog어언,채용유전산법(Genetic Algorithm, GA)작위해결방안,설계료일개사용유전산법자동생성모의시량적험증평태GATEST.해평태적일개특점시,근거지정적관건신호사용수거류분석산생관건로경집합,병채용기우해집합적로경복개솔작위괄응도함수인도모의시량적생성.사용해험증평태대북대음지-863계통심편적공능모괴진행실험,병상세분석료불동공제삼수배치하적실험결과,설명해평태구유일정적유효성.
