版权所有:内蒙古大学图书馆 技术提供:维普资讯• 智图
内蒙古自治区呼和浩特市赛罕区大学西街235号 邮编: 010021
作者机构:南京大学物理系微电子设计研究所南京210093 海军装备技术研究所上海200083 江苏省光电信息功能材料重点实验室南京210093
出 版 物:《电子测量技术》 (Electronic Measurement Technology)
年 卷 期:2009年第32卷第4期
页 面:75-79页
学科分类:080903[工学-微电子学与固体电子学] 0809[工学-电子科学与技术(可授工学、理学学位)] 08[工学]
摘 要:本文从验证平台模型的构建出发,完成了对一款USB2.0 IP核的功能验证。文中列举了部分验证代码和实例,在测试用例中着重对UTMI接口,微处理器接口和RAM接口等进行了详细描述,最后给出了仿真波形和验证结果报告,从中可以看出USB2.0 IP核的代码覆盖率达到了100%,结果令人满意。文中对验证方法学进行了研究和实践,实现了测试向量的可读性,验证结果的自动生成和可观测性,验证思想可以在相关设计中复用。