文献类型：期刊文章

作　　者：侯大志[1,2,3] 李丽[1,3] 何书专[1,3] 吴志刚[1,3]

机构地区：[1]南京大学物理系微电子设计研究所,南京210093 [2]海军装备技术研究所,上海200083 [3]江苏省光电信息功能材料重点实验室,南京210093

出　　处：《电子测量技术》

年　　份：2009

卷　　号：32

期　　号：4

起止页码：75-79

语　　种：中文

收录情况：JST、RCCSE、ZGKJHX、普通刊

摘　　要：本文从验证平台模型的构建出发,完成了对一款USB2.0 IP核的功能验证。文中列举了部分验证代码和实例,在测试用例中着重对UTMI接口,微处理器接口和RAM接口等进行了详细描述,最后给出了仿真波形和验证结果报告,从中可以看出USB2.0 IP核的代码覆盖率达到了100%,结果令人满意。文中对验证方法学进行了研究和实践,实现了测试向量的可读性,验证结果的自动生成和可观测性,验证思想可以在相关设计中复用。

关 键 词：USB2.0 IP核 接口 验证  

分 类 号：TN407]