检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:侯大志[1,2,3] 李丽[1,3] 何书专[1,3] 吴志刚[1,3]
机构地区:[1]南京大学物理系微电子设计研究所,南京210093 [2]海军装备技术研究所,上海200083 [3]江苏省光电信息功能材料重点实验室,南京210093
出 处:《电子测量技术》2009年第4期75-79,共5页Electronic Measurement Technology
摘 要:本文从验证平台模型的构建出发,完成了对一款USB2.0 IP核的功能验证。文中列举了部分验证代码和实例,在测试用例中着重对UTMI接口,微处理器接口和RAM接口等进行了详细描述,最后给出了仿真波形和验证结果报告,从中可以看出USB2.0 IP核的代码覆盖率达到了100%,结果令人满意。文中对验证方法学进行了研究和实践,实现了测试向量的可读性,验证结果的自动生成和可观测性,验证思想可以在相关设计中复用。With the construction of verification testbench model, we performed function-verification based on a USB2. 0 IP core in this paper. Also some real codes and cases are listed here. In particularly, the UTMI interface, macroprocessor interface and RAM interface are described in the test examples. We reach a conclusion of simulation wave and verification report, from which we find a 100% percentage of code-coverage of this core. The test vector has a feature of readability, and the verification result is created automatically. In addition, it can be reused in relative design.
分 类 号:TN407[电子电信—微电子学与固体电子学]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.117