计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2004年
7期
1053-1055,1058
,共4页
嵌入式微处理器%软硬件协同验证%系统芯片%模型驱动%多层次模拟
嵌入式微處理器%軟硬件協同驗證%繫統芯片%模型驅動%多層次模擬
감입식미처리기%연경건협동험증%계통심편%모형구동%다층차모의
软硬件协同验证是解决系统芯片验证的关键技术.模型驱动的软硬件协同验证方法是一种新颖的嵌入式微处理器的验证方法,其主要部分包括基于真实的验证平台、验证向量的自动生成器、验证结果的分析和比较器.该验证方法可实现嵌入式微处理器的完备验证,且基于该方法实现的验证平台可很容易地转化为系统芯片的设计及验证平台.
軟硬件協同驗證是解決繫統芯片驗證的關鍵技術.模型驅動的軟硬件協同驗證方法是一種新穎的嵌入式微處理器的驗證方法,其主要部分包括基于真實的驗證平檯、驗證嚮量的自動生成器、驗證結果的分析和比較器.該驗證方法可實現嵌入式微處理器的完備驗證,且基于該方法實現的驗證平檯可很容易地轉化為繫統芯片的設計及驗證平檯.
연경건협동험증시해결계통심편험증적관건기술.모형구동적연경건협동험증방법시일충신영적감입식미처리기적험증방법,기주요부분포괄기우진실적험증평태、험증향량적자동생성기、험증결과적분석화비교기.해험증방법가실현감입식미처리기적완비험증,차기우해방법실현적험증평태가흔용역지전화위계통심편적설계급험증평태.
