一种寄存器自动化验证方法  

A method of automatic verification of registers

作　　者：冯俊杰 张晓冰 FENG Jun-jie;ZHANG Xiao-bing(CEC Huada Electronic Design Co.,Ltd.,Beijing Key Laboratory of RFID Chip Test Technology)

机构地区：[1]北京中电华大电子设计有限责任公司,射频识别芯片检测技术北京市重点实验室

出　　处：《中国集成电路》2023年第4期61-65,共5页China lntegrated Circuit

摘　　要：随着芯片功能的不断增加,芯片中寄存器数量日趋庞大,寄存器的属性也日趋复杂,寄存器验证的完备性和高效性成为验证人员迫切需要解决的问题。本文介绍一种寄存器自动化验证方法,只需要提供寄存器的规格文档,极少的人工参与,即可自动生成验证寄存器的仿真验证激励及相应说明文档。对于特殊功能的寄存器或寄存器位,会生成特殊寄存器报告,验证人员根据该报告对特殊寄存器加以补充验证,从而让寄存器的验证更完备。As the function of the chip increases,the number of registers in the chip has been becoming larger and larger,and the properties of them have been becoming more and more complex.The completeness and efficiency of register verification has become an urgent problem for verifiers to solve.A novel method of automatic verification of registers is introduced in this paper,which can automatically generate the simulation verification incentive and the corresponding description document of the register with only the specification document of it and little manual operation required.For registers or register bits with special functions,a special register report will be generated,and the verifier can supplement the verification of them to make it more complete according to the aforementioned report.

关 键 词：寄存器 自动化验证 完备性 高效性 

分 类 号：TP332.11[自动化与计算机技术—计算机系统结构]