小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2004年
4期
752-756
,共5页
顾震宇%虞志益%沈泊%章倩苓
顧震宇%虞誌益%瀋泊%章倩苓
고진우%우지익%침박%장천령
RISC%功能验证%流水线模型%流水线冲突%伪随机%代码覆盖率
RISC%功能驗證%流水線模型%流水線遲突%偽隨機%代碼覆蓋率
RISC%공능험증%류수선모형%류수선충돌%위수궤%대마복개솔
提出了一种基于仿真(simulation-based)的32位RISC微处理器的功能验证方法.以伪随机生成和针对流水线模型生成激励向量方式相结合为主的验证环境的建立,提高了功能验证的自动化程度和效率;同时采用代码覆盖率来分析和指出功能验证中的遗漏之处,从而提高了整个验证环境的完备性.另外,通过FPGA硬件验证的结果以及32位RISC微处理器流片的测试结果,可以证明本文所提出的功能验证方法的有效性和完备性.
提齣瞭一種基于倣真(simulation-based)的32位RISC微處理器的功能驗證方法.以偽隨機生成和針對流水線模型生成激勵嚮量方式相結閤為主的驗證環境的建立,提高瞭功能驗證的自動化程度和效率;同時採用代碼覆蓋率來分析和指齣功能驗證中的遺漏之處,從而提高瞭整箇驗證環境的完備性.另外,通過FPGA硬件驗證的結果以及32位RISC微處理器流片的測試結果,可以證明本文所提齣的功能驗證方法的有效性和完備性.
제출료일충기우방진(simulation-based)적32위RISC미처리기적공능험증방법.이위수궤생성화침대류수선모형생성격려향량방식상결합위주적험증배경적건립,제고료공능험증적자동화정도화효솔;동시채용대마복개솔래분석화지출공능험증중적유루지처,종이제고료정개험증배경적완비성.령외,통과FPGA경건험증적결과이급32위RISC미처리기류편적측시결과,가이증명본문소제출적공능험증방법적유효성화완비성.
