电子器件
電子器件
전자기건
JOURNAL OF ELECTRON DEVICES
2011年
3期
350-354
,共5页
刘芳%谢峥%连志斌%王新安
劉芳%謝崢%連誌斌%王新安
류방%사쟁%련지빈%왕신안
UART%SystemVerilog%带约束的随机方法%功能覆盖率%VMM
UART%SystemVerilog%帶約束的隨機方法%功能覆蓋率%VMM
UART%SystemVerilog%대약속적수궤방법%공능복개솔%VMM
以UART总线接口为例介绍一种高性能验证平台.该验证平台基于SystemVerilog语言,以功能覆盖率为导向,通过带约束的随机方法产生测试激励,并具有自动检查运行结果及可重用性等特点.实践表明,与传统的验证平台相比,该平台在验证效率及功能覆盖率方面均有明显的优越性;与基于VMM搭建的验证平台相比,该平台也表现出了一定的灵活性、易操作性的特点.
以UART總線接口為例介紹一種高性能驗證平檯.該驗證平檯基于SystemVerilog語言,以功能覆蓋率為導嚮,通過帶約束的隨機方法產生測試激勵,併具有自動檢查運行結果及可重用性等特點.實踐錶明,與傳統的驗證平檯相比,該平檯在驗證效率及功能覆蓋率方麵均有明顯的優越性;與基于VMM搭建的驗證平檯相比,該平檯也錶現齣瞭一定的靈活性、易操作性的特點.
이UART총선접구위례개소일충고성능험증평태.해험증평태기우SystemVerilog어언,이공능복개솔위도향,통과대약속적수궤방법산생측시격려,병구유자동검사운행결과급가중용성등특점.실천표명,여전통적험증평태상비,해평태재험증효솔급공능복개솔방면균유명현적우월성;여기우VMM탑건적험증평태상비,해평태야표현출료일정적령활성、역조작성적특점.
