10.16208/j.issn1000-7024.2016.10.013
基于System Verilog-UVM的Mickey 2.0 RTL级验证
为解决传统验证平台中时钟生成、复位操作、激励生成以及时序控制等结构混乱的问题,对主流的通用验证方法学UVM进行研究,分析验证组件的特性及组织方式,提出层次化可重用的验证平台.采用动态参数配置、动态组件创建和用户代码回调插入等方法实现验证平台的灵活性,基于该平台完成对同步序列密码算法Mickey 2.0 RTL模型的功能验证.仿真结果表明,基于UVM的验证平台有效提高了功能覆盖率和代码覆盖率,保证了设计功能的完备性.
通用验证方法学、完备性、断言、验证组件、验证效率
37
TP311(计算技术、计算机技术)
国家自然科学基金项目6140417
2016-12-07(万方平台首次上网日期,不代表论文的发表时间)
共5页
2644-2648