基于System Verilog-UVM的Mickey 2.0 RTL级验证

杨坤; 徐金甫; 李伟

首页> 中文期刊> 《计算机工程与设计》 >基于System Verilog-UVM的Mickey 2.0 RTL级验证

基于System Verilog-UVM的Mickey 2.0 RTL级验证

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

为解决传统验证平台中时钟生成、复位操作、激励生成以及时序控制等结构混乱的问题,对主流的通用验证方法学UVM进行研究,分析验证组件的特性及组织方式,提出层次化可重用的验证平台.采用动态参数配置、动态组件创建和用户代码回调插入等方法实现验证平台的灵活性,基于该平台完成对同步序列密码算法Mickey 2.0 RTL模型的功能验证.仿真结果表明,基于UVM的验证平台有效提高了功能覆盖率和代码覆盖率,保证了设计功能的完备性.

著录项

来源
《计算机工程与设计》 |2016年第10期|2644-2648|共5页
作者
杨坤; 徐金甫; 李伟;
展开▼
作者单位

信息工程大学密码工程学院;

河南郑州450001;

信息工程大学密码工程学院;

河南郑州450001;

信息工程大学密码工程学院;

河南郑州450001;

展开▼
原文格式 PDF
正文语种 chi
中图分类程序设计、软件工程;
关键词
通用验证方法学; 完备性; 断言; 验证组件; 验证效率;

相似文献

中文文献
外文文献
专利

1. 基于FPGA的RTL级USB2.0协议层设计与实现 [J] . 殷拔群 ,周献中 . 中国集成电路 . 2008,第007期
2. 基于RTL级USB2.0协议层的设计与实现 [J] . 车娟 ,吴士萍 ,黄君凯 . 电子工程师 . 2004,第1期
3. 基于指令分解的微处理器验证与RTL级错误定位 [J] . 沈胜宇 ,李思昆 . 计算机工程与科学 . 2005,第005期
4. AMBA2.0总线RTL、CC与PVT级模型的实现 [J] . 戴庆华 ,徐国治 . 计算机工程 . 2005,第022期
5. RTL到门级网表的等价性验证方法 [J] . 田素雷 ,刘海龙 ,刘淑涛 . 中国集成电路 . 2015,第003期
6. 系统级模型与RTL实现的等价性验证方法 [C] . 曾松伟 ,李光辉 . 第十九届全国测控、计量、仪器仪表学术年会 . 2009
7. RTL级基于覆盖率驱动EMI的验证 [A] . 金娟 . 2006

基于System Verilog-UVM的Mickey 2.0 RTL级验证

摘要

著录项

相似文献

相关主题

期刊订阅