微机发展
微機髮展
미궤발전
MICROCOMPUTER DEVELOPMENT
2005年
5期
43-45
,共3页
詹文法%陶芳泽%张溯%杨羽
詹文法%陶芳澤%張溯%楊羽
첨문법%도방택%장소%양우
系统芯片%片上总线%总线协议检验器%功能验证
繫統芯片%片上總線%總線協議檢驗器%功能驗證
계통심편%편상총선%총선협의검험기%공능험증
随着集成电路设计规模的不断增加,传统的验证方法学由于无法提供足够的能力来检查系统所有可能功能的正确性,已经不能满足SOC验证的需求.验证重用方法学是解决这一问题的有效途径.在SOC的验证过程中,利用总线协议检验器对片上总线上发生的事务进行协议检验,并将检验结果以文本格式显示出来,从而可以帮助验证工程师有效地判断数据传输的正确性,达到验证单个模块和系统功能的目的.总线协议检验器比传统的总线监视器存在自动化程度较高等优点,增强了验证的自动化,减少了验证时间,提高了验证效率.文中提出了一种总线协议检验器的设计方法,并给出了具体的实现过程.
隨著集成電路設計規模的不斷增加,傳統的驗證方法學由于無法提供足夠的能力來檢查繫統所有可能功能的正確性,已經不能滿足SOC驗證的需求.驗證重用方法學是解決這一問題的有效途徑.在SOC的驗證過程中,利用總線協議檢驗器對片上總線上髮生的事務進行協議檢驗,併將檢驗結果以文本格式顯示齣來,從而可以幫助驗證工程師有效地判斷數據傳輸的正確性,達到驗證單箇模塊和繫統功能的目的.總線協議檢驗器比傳統的總線鑑視器存在自動化程度較高等優點,增彊瞭驗證的自動化,減少瞭驗證時間,提高瞭驗證效率.文中提齣瞭一種總線協議檢驗器的設計方法,併給齣瞭具體的實現過程.
수착집성전로설계규모적불단증가,전통적험증방법학유우무법제공족구적능력래검사계통소유가능공능적정학성,이경불능만족SOC험증적수구.험증중용방법학시해결저일문제적유효도경.재SOC적험증과정중,이용총선협의검험기대편상총선상발생적사무진행협의검험,병장검험결과이문본격식현시출래,종이가이방조험증공정사유효지판단수거전수적정학성,체도험증단개모괴화계통공능적목적.총선협의검험기비전통적총선감시기존재자동화정도교고등우점,증강료험증적자동화,감소료험증시간,제고료험증효솔.문중제출료일충총선협의검험기적설계방법,병급출료구체적실현과정.
