邵阳学院学报（自然科学版）
邵暘學院學報（自然科學版）
소양학원학보（자연과학판）
JOURNAL OF SHAOYANG UNIVERSITY(NATURAL SCIENCE)
2006年
2期
46-49
,共4页
系统级验证%验证平台%功能验证
繫統級驗證%驗證平檯%功能驗證
계통급험증%험증평태%공능험증
随着CPU设计尺寸和设计复杂度的不断增加,功能验证已经成为整个设计过程中的严重瓶颈,文章回顾了系统级验证的一些技术,针对我们设计的64位CPU系统级验证,设计了CPU系统级自动化验证平台.实用表明,该平台简化了验证流程,提高了验证效率.
隨著CPU設計呎吋和設計複雜度的不斷增加,功能驗證已經成為整箇設計過程中的嚴重瓶頸,文章迴顧瞭繫統級驗證的一些技術,針對我們設計的64位CPU繫統級驗證,設計瞭CPU繫統級自動化驗證平檯.實用錶明,該平檯簡化瞭驗證流程,提高瞭驗證效率.
수착CPU설계척촌화설계복잡도적불단증가,공능험증이경성위정개설계과정중적엄중병경,문장회고료계통급험증적일사기술,침대아문설계적64위CPU계통급험증,설계료CPU계통급자동화험증평태.실용표명,해평태간화료험증류정,제고료험증효솔.
