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

摘要：

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

关键词：通用验证方法学、完备性、断言、验证组件、验证效率

所属期刊栏目：37

分类号：TP311(计算技术、计算机技术)

资助基金：国家自然科学基金项目6140417

在线出版日期：2016-12-07（万方平台首次上网日期，不代表论文的发表时间）

页数：共5页

页码：2644-2648