收藏本站
《计算机工程与设计》 2016年10期
收藏 | 投稿 | 手机打开
二维码
手机客户端打开本文

基于SystemVerilog-UVM的Mickey 2.0 RTL级验证

杨坤  徐金甫  李伟  
【摘要】:为解决传统验证平台中时钟生成、复位操作、激励生成以及时序控制等结构混乱的问题,对主流的通用验证方法学UVM进行研究,分析验证组件的特性及组织方式,提出层次化可重用的验证平台。采用动态参数配置、动态组件创建和用户代码回调插入等方法实现验证平台的灵活性,基于该平台完成对同步序列密码算法Mickey 2.0RTL模型的功能验证。仿真结果表明,基于UVM的验证平台有效提高了功能覆盖率和代码覆盖率,保证了设计功能的完备性。
【作者单位】信息工程大学密码工程学院;
【基金】:国家自然科学基金项目(6140417)
【分类号】:TP311.53

手机知网App
【相似文献】
中国期刊全文数据库 前10条
1 王小虎;龚敏;;应用VMT快速搭建验证平台[J];现代电子技术;2007年15期
2 虞致国;魏敬和;;基于SystemVerilog DPI的ARM SoC虚拟调试验证平台的设计[J];微电子学与计算机;2009年11期
3 王立胜;魏然;沈宗月;王秉臣;朱波;朱智超;赖安学;;空间站信息系统仿真验证平台设计[J];上海航天;2014年01期
4 张超;李运华;郑琦;;大型工程车辆控制网络主控节点设计与验证平台开发[J];工程机械;2013年05期
5 夏建龙;刘卫东;;改进的去隔行算法及FPGA验证平台设计[J];电脑知识与技术;2013年23期
6 李焕春;张华庆;;无源高频RFID芯片的FPGA原型验证平台设计[J];微型机与应用;2014年08期
7 倪峰;;基于8051软核的SPI NOR FLASH验证平台的研究与实现[J];电脑知识与技术;2014年18期
8 苏丽;;Matlab定点仿真在FPGA验证平台中的应用[J];电子科技;2013年05期
9 许应;封君;徐伯星;王新安;;手机智能卡高效可重用SoC验证平台设计[J];计算机工程;2009年04期
10 贺珊;张多利;何伟;;基于Open Vera的IIC总线接口功能验证平台的搭建[J];合肥工业大学学报(自然科学版);2007年03期
中国重要会议论文全文数据库 前1条
1 王立胜;王秉臣;朱波;朱智超;赖安学;;基于大型飞行器的信息系统仿真验证平台设计[A];中国宇航学会深空探测技术专业委员会第十届学术年会论文集[C];2013年
中国重要报纸全文数据库 前1条
1 记者 朱申路 通讯员 杨凯盛;虚拟仿真验证平台服务船舶制造[N];舟山日报;2014年
中国硕士学位论文全文数据库 前4条
1 梁琛;SDH芯片验证平台的设计[D];西安电子科技大学;2007年
2 侯浩俊;软件漏洞虚拟验证平台的研究[D];电子科技大学;2013年
3 Zakaria BOUGHALEM;用于成形电极制备的金属熔丝沉积3D打印技术验证平台[D];上海交通大学;2014年
4 李海林;调试验证平台中结构化的串口接口模型的设计与实现[D];西安电子科技大学;2014年
 快捷付款方式  订购知网充值卡  订购热线  帮助中心
  • 400-819-9993
  • 010-62791813
  • 010-62985026