检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:欧阳峰[1] 郭乐[2] 金淼[2] OUYANG Feng GUO Le JIN Miao(Academy of Broadcasting Science, SAPPRFT, Beijing, 100866, China The State Key Lab. of Integrated Services Networks, Xidian University, Xi' an, 710071 ,China)
机构地区:[1]国家新闻出版广电总局广播科学研究院,北京100866 [2]西安电子科技大学ISN国家重点实验室,西安710071
出 处:《网络新媒体技术》2017年第2期33-38,共6页Network New Media Technology
基 金:863计划资助项目(编号:2011AA01A106);国家科技支撑计划资助项目(编号:2012BAH02B02)
摘 要:基于UVM提出了一种验证HINOC PHY系统的有效方法,并基于该方法对HINOC PHY系统的关键模块进行了充分而高效的验证。本文阐述了该方法的设计思想、验证过程和验证结果。本文所采用的工作在短时间内实现了对HINOC PHY系统各模块设计的正确性和完备性的验证,体现出该验证方法在复杂逻辑功能验证中的优势。An effective method for verifying HINOC PHY system based on UVM is proposed,and the key components of HINOC PHY system are verified comprehensively and efficiently. The design concept,verification process and verification results are described. The method realizes the correctness and the completeness of HINOC PHY verification in short time,and reflects its advantages in verifying of complex logic function.
分 类 号:TN943.6[电子电信—信号与信息处理]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.222