电子技术应用
電子技術應用
전자기술응용
APPLICATION OF ELECTRONIC TECHNIQUE
2015年
2期
61-64
,共4页
王鹏%刘万和%刘锐%田毅
王鵬%劉萬和%劉銳%田毅
왕붕%류만화%류예%전의
验证%SystemVerilog%测试平台%可重用
驗證%SystemVerilog%測試平檯%可重用
험증%SystemVerilog%측시평태%가중용
verification%SystemVerilog%testbench%reusable
对于中小型设计,传统的验证效率低、可重用性差,而基于方法学的高级验证测试平台搭建较繁琐,验证流程不太灵活.以ARINC429收发器IP核为验证对象,采用SystemVerilog语言,通过层次化设计,改善工程组织架构,运用虚接口与回调等关键技术,实现了一种可重用测试平台.将不同的测试案例在测试平台上运行,结合断言与覆盖率驱动等验证技术完成了对ARINC429收发器IP核的功能验证,代码覆盖率和功能覆盖率均达到100%.实践表明,该测试平台具有良好的可重用性、易操作性,验证效率较高.
對于中小型設計,傳統的驗證效率低、可重用性差,而基于方法學的高級驗證測試平檯搭建較繁瑣,驗證流程不太靈活.以ARINC429收髮器IP覈為驗證對象,採用SystemVerilog語言,通過層次化設計,改善工程組織架構,運用虛接口與迴調等關鍵技術,實現瞭一種可重用測試平檯.將不同的測試案例在測試平檯上運行,結閤斷言與覆蓋率驅動等驗證技術完成瞭對ARINC429收髮器IP覈的功能驗證,代碼覆蓋率和功能覆蓋率均達到100%.實踐錶明,該測試平檯具有良好的可重用性、易操作性,驗證效率較高.
대우중소형설계,전통적험증효솔저、가중용성차,이기우방법학적고급험증측시평태탑건교번쇄,험증류정불태령활.이ARINC429수발기IP핵위험증대상,채용SystemVerilog어언,통과층차화설계,개선공정조직가구,운용허접구여회조등관건기술,실현료일충가중용측시평태.장불동적측시안례재측시평태상운행,결합단언여복개솔구동등험증기술완성료대ARINC429수발기IP핵적공능험증,대마복개솔화공능복개솔균체도100%.실천표명,해측시평태구유량호적가중용성、역조작성,험증효솔교고.