10.3969/j.issn.1681-5289.2023.04.011
一种寄存器自动化验证方法
随着芯片功能的不断增加,芯片中寄存器数量日趋庞大,寄存器的属性也日趋复杂,寄存器验证的完备性和高效性成为验证人员迫切需要解决的问题.本文介绍一种寄存器自动化验证方法,只需要提供寄存器的规格文档,极少的人工参与,即可自动生成验证寄存器的仿真验证激励及相应说明文档.对于特殊功能的寄存器或寄存器位,会生成特殊寄存器报告,验证人员根据该报告对特殊寄存器加以补充验证,从而让寄存器的验证更完备.
寄存器、自动化验证、完备性、高效性
32
TP338.7;F121.3;G633.3
2023-05-09(万方平台首次上网日期,不代表论文的发表时间)
共5页
61-65