小型微型计算机系统
小型微型計算機繫統
소형미형계산궤계통
MINI-MICRO SYSTEMS
2011年
3期
531-535
,共5页
功能验证%验证方法学%覆盖率%断言%WTB控制器
功能驗證%驗證方法學%覆蓋率%斷言%WTB控製器
공능험증%험증방법학%복개솔%단언%WTB공제기
随着单芯片集成度的迅速提高,硬件验证在系统设计中占有越来越重要的地位.仅由设计者完成的模块级验证已经不能够保障流片成功率,需要在验证方法学指导下采用多种先进有效的验证技术和工具,帮助设计者尽可能早地发现和修改设计缺陷.本文详细介绍了在验证方法学VMM指导下,基于IEC61375-1标准的规定,设计分层次的验证环境,对绞线式列车总线控制器进行RTL和参考模型联合仿真的功能验证技术.通过可重用VMM库和随机化函数及基于断言的验证方法,编写高效、可重用的验证平台,以提高验证效率和覆盖率.实验表明,采用覆盖率导向的验证方法可有效地减少验证工作量和验证时间,提高验证质量.
隨著單芯片集成度的迅速提高,硬件驗證在繫統設計中佔有越來越重要的地位.僅由設計者完成的模塊級驗證已經不能夠保障流片成功率,需要在驗證方法學指導下採用多種先進有效的驗證技術和工具,幫助設計者儘可能早地髮現和脩改設計缺陷.本文詳細介紹瞭在驗證方法學VMM指導下,基于IEC61375-1標準的規定,設計分層次的驗證環境,對絞線式列車總線控製器進行RTL和參攷模型聯閤倣真的功能驗證技術.通過可重用VMM庫和隨機化函數及基于斷言的驗證方法,編寫高效、可重用的驗證平檯,以提高驗證效率和覆蓋率.實驗錶明,採用覆蓋率導嚮的驗證方法可有效地減少驗證工作量和驗證時間,提高驗證質量.
수착단심편집성도적신속제고,경건험증재계통설계중점유월래월중요적지위.부유설계자완성적모괴급험증이경불능구보장류편성공솔,수요재험증방법학지도하채용다충선진유효적험증기술화공구,방조설계자진가능조지발현화수개설계결함.본문상세개소료재험증방법학VMM지도하,기우IEC61375-1표준적규정,설계분층차적험증배경,대교선식열차총선공제기진행RTL화삼고모형연합방진적공능험증기술.통과가중용VMM고화수궤화함수급기우단언적험증방법,편사고효、가중용적험증평태,이제고험증효솔화복개솔.실험표명,채용복개솔도향적험증방법가유효지감소험증공작량화험증시간,제고험증질량.