检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
机构地区:[1]西北工业大学软件与微电子学院,陕西西安710065
出 处:《测控技术》2008年第6期83-85,共3页Measurement & Control Technology
摘 要:通用串行接口由于传输稳定,抗干扰性强等优点,被广泛应用于各种系统中,但其功能验证却是一项复杂而重要的工作。基于e语言,并针对IP核验证的可重用要求,主要介绍了通用串行接口IP核的功能验证方法及流程,提出了基于参考模型和功能覆盖率的验证方法,并在参考模型的基础之上,实现了能对仿真结果自我检测的自动化验证平台。Universal serial interface has advantages in steady transmission and strong anti-jamming, which is used widely in all kinds of systems. Function verification is a rather complex and important job. Based on e language and aimed at reusable requirement of IP core verification, the function verification methods and flows of IP core of universal serial interface are introduced and verification methods based on reference model and function coverage rate are put forward, then an automatic verification platform which is based on reference model is realized.
分 类 号:TP391.9[自动化与计算机技术—计算机应用技术]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.249