检索规则说明:AND代表“并且”;OR代表“或者”;NOT代表“不包含”;(注意必须大写,运算符两边需空一格)
检 索 范 例 :范例一: (K=图书馆学 OR K=情报学) AND A=范并思 范例二:J=计算机应用与软件 AND (U=C++ OR U=Basic) NOT M=Visual
作 者:庞博[1] 许晏[1] PANG Bo;XU Yan(Institute of Electronic Engineering,China Academy of Engineering Physics,Mianyang Sichuan 621999,China)
机构地区:[1]中国工程物理研究院电子工程研究所,四川绵阳621999
出 处:《太赫兹科学与电子信息学报》2017年第3期450-454,共5页Journal of Terahertz Science and Electronic Information Technology
摘 要:针对存储转发系统数据随机性、不同接口之间时序异步的特点,提出了不同于典型平台的事物级数据结构和参考模型设计,构建基于System Verilog语言的通用验证方法学(UVM)的验证平台。验证结果表明,此验证平台能够灵活控制随机约束和验证进程,优化验证事务。该平台提高了验证的效率和验证平台的可重用性,较好地满足了超大规模可编程逻辑器件验证需要。For the storage and retransmission systems,aiming at the characteristics of randomness of data and asynchronization with different interfaces,a kind of transaction-level data structure and a reference model are presented which are different from the typical verification platform.A so-called Universal Verification Methodology(UVM)-based System Verilog verification platform is built.According to the results of verification,both the random constraint and verification process can be controlled flexibly.The test bench and test cases are optimized.This platform can improve the verification efficiency and platform reusability.It well meets the requirements of verification of very large scale programmable logic devices.
关 键 词:UVM验证方法学 SYSTEM VERILOG语言 存储转发系统 异步系统
分 类 号:TP333[自动化与计算机技术—计算机系统结构]
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在载入数据...
正在链接到云南高校图书馆文献保障联盟下载...
云南高校图书馆联盟文献共享服务平台 版权所有©
您的IP:216.73.216.49