期刊文章详细信息
基于层次化验证平台的存储器控制器功能验证
A Hiberarchy Testbench-Based Functional Verification Method of Memory Controller
文献类型:期刊文章
机构地区:[1]北京微电子技术研究所,北京100076
年 份:2009
卷 号:26
期 号:2
起止页码:25-28
语 种:中文
收录情况:BDHX、BDHX2008、CSCD、CSCD_E2011_2012、JST、ZGKJHX、核心刊
摘 要:文中描述了一种基于层次化的验证平台存储器控制器功能验证方法.根据VMM(Verification Methodology Manual)验证方法学构建的一个层次性的验证平台,它易于维护并且具有很好的灵活性和可重用性.文中中的覆盖率模型是采用分类树方法构建.采用分类树方法不仅易于提取完整的被测功能点,而且可以使从规范到Sys-temVerilog语言描述的转换变得更加容易,从而大大提高了验证的效率和缩短了验证时间.该方法也同样适合于片上系统(SoC)的验证.
关 键 词:VMM 分类树 验证 存储器控制器
分 类 号:TN47]
参考文献:
正在载入数据...
二级参考文献:
正在载入数据...
耦合文献:
正在载入数据...
引证文献:
正在载入数据...
二级引证文献:
正在载入数据...
同被引文献:
正在载入数据...