[发明专利]一种用于无源标签芯片的设计验证方法

摘要

本发明公开了一种用于无源标签芯片的设计验证方法，其设计验证的步骤包括：算法设计的步骤、算法验证的步骤、RTL设计的步骤和RTL验证的步骤。本发明采用交叉实现和交叉验证的设计方法，可以实现对RFID标准协议的充分实现、充分完善的验证，使得一次性投片的成功率大大提高。

主权项

1.一种用于无源标签芯片的设计验证方法，其特征在于，包括如下步骤：步骤(1)，确定RFID标准协议,以确定RFID所要实现的各项功能和所要达到的各项性能指标；步骤(2)，RFID标准协议确定后，逻辑验证工程师开始编写RTL逻辑验证规格书，编写时需要参考步骤(12)中逻辑设计工程师编写的逻辑详细设计方案，且RTL逻辑验证规格书里面的验证规格必须覆盖步骤(1)的标准协议中的所有功能和性能指标；步骤(3)，RTL逻辑验证规格书评审完成后，逻辑验证工程师开始进行RTL测试点分解，分解的测试点必须覆盖步骤(2)中所有的验证规格；测试点分解完成后进行RTL直接用例构造，构造的RTL直接用例必须和测试点进行一一对应；步骤(4)，测试点分解、RTL直接用例构造完成后，逻辑验证工程师开始搭建VMM来验证环境搭建；步骤(5)，验证环境搭建完成后，逻辑验证工程师对验证环境的各个组成部分进行联合仿真调试，调试完成后，逻辑验证工程师让验证环境跑通第一个用例，即验证环境的冒烟；步骤(6)，步骤(5)的验证环境调试及冒烟用例跑通后，逻辑验证工程师将步骤(3)构造的所有RTL直接用例在验证环境中全部跑通，直到全部RTL直接用例通过；该步骤需要调用步骤(14)的SV模型，需要例化步骤(15)逻辑设计工程师编写的RTL代码，需要调用步骤(27)算法工程师使用MATLAB生成的可执行参考模型；步骤(6‑2)，步骤(6)的RTL直接用例执行完成后，逻辑验证工程师开始搭建随机验证环境，随机验证环境能实现全随机和部分随机的功能；其中，全随机和部分随机的功能使用perl脚本进行实现，或者采用system verilog进行实现；步骤(6‑3)，步骤(6‑2)的随机验证环境搭建完成，以及随机脚本编写完成后，逻辑验证工程师需要构造随机用例；步骤(7)，步骤(6‑3)的随机用例构造完成后，逻辑验证工程师即开始每天执行随机用例，随机用例配置参数的随机种子采用日期+时间作为随机种子；步骤(8)，随机用例运行足够长时间后，逻辑验证工程师开始收集代码覆盖率；步骤(9)，步骤(8)的代码覆盖率达标后，逻辑验证工程师开始编写功能覆盖率代码，并将功能覆盖率代码加入到VMM验证环境中；步骤(9‑2)，步骤(9)的功能覆盖率代码编写完成并加入到验证环境中后，开始运行验证环境，并进行功能覆盖率的收集；步骤(10)，代码覆盖率和功能覆盖率达标后，验证结束；步骤(11)，RFID标准协议确定后，逻辑设计工程师开始编写RTL逻辑需求规格书，逻辑需求规格书必须覆盖步骤(1)的RFID标准协议中的所有功能和性能指标；步骤(12)、步骤(11)的逻辑需求规格书编写完成并评审通过后，逻辑设计工程师开始编写逻辑详细设计方案，逻辑详细设计方案要求画出所有顶层模块和子模块的框图及模块之间的信号连接关系，各个模块的输入输出信号及位宽、功能描述，以及所有输入输出信号的时序图；步骤(13),步骤(12)的逻辑详细设计方案编写完成并评审通过后，逻辑验证工程师根据逻辑详细设计方案开始进行system verilog代码的实现，然后使用MATLAB生成的SV模型进行比对验证；步骤(14),步骤(13)的SV模型比对验证完成后，逻辑验证工程师需要对system verilog代码进行自我检查，检查通过后再执行步骤(6)及后续的步骤；步骤(15),步骤(12)的逻辑详细设计方案编写完成并评审通过后，逻辑设计工程师开始进行RTL verilog代码的编写，该步骤和步骤(13)同时进行；步骤(16),步骤(15)的RTL verilog代码编写完成后，逻辑设计工程师还需要进行RTL verilog代码的检查；RTL verilog代码检查通过后，逻辑设计工程师将RTL verilog代码交付给逻辑验证工程师例化到VMM验证环境中进行验证，同时将RTL verilog代码交付给算法验证工程师进行逻辑、算法的联合调试；步骤(17),步骤(1)的RFID标准协议确定后，算法设计工程师开始进行算法逻辑需求规格书的编写，该算法逻辑需求规格书需要覆盖RFID标准协议中所有的功能性能要求；该步骤和步骤(2)、步骤(11)同时进行；步骤(18),步骤(17)的算法逻辑需求规格书编写完成并通过评审后，算法设计工程师开始进行算法逻辑详细设计方案的编写，该算法逻辑详细设计方案用于实现步骤(17)的算法逻辑需求规格书中的所有需求规格；步骤(19),步骤(18)的算法逻辑详细设计方案编写完成并通过评审后，算法设计工程师开始进行算法实现；步骤(20),步骤(19)的算法实现完成后，算法设计工程师先进行第一遍检查，检查完成后交付给算法验证工程师进行验证；该步骤完成后需要交付给步骤(21)和步骤(25)执行后续的步骤；步骤(21),步骤(16)的RTL verilog代码和步骤(20)的算法实现后，逻辑验证工程师和算法验证工程师共同参与制定FPGA测试用例，FPGA测试用例需要覆盖所有的RTL/算法直接用例，还要覆盖产品化后的所有应用场景；步骤(21‑2)，步骤(21)的FPGA用例构造完成后,逻辑验证工程师和算法验证工程师开始进行算法、逻辑的FPGA联调，该调试基于MATLAB+DSP+FPGA进行；步骤(22),步骤(21‑2)的FPGA联合调试通过后，开始执行FPGA用例，该过程涉及到逻辑验证工程师和算法验证工程师共同定位相应的用例FAIL问题，根据问题根源制定相应的解决方案，直到测试用例全部通过；步骤(23),步骤(22)的FPGA用例执行完后，逻辑验证工程师和算法验证工程师开始共同进行各项功能性能参数测试、直到所有功能性能参数达标；步骤(24),步骤(23)的所有功能性能测试达标后，逻辑验证工程师和算法验证工程师共同撰写FPGA测试报告，报告评审通过后，FPGA测试完成；步骤(25),步骤(1)的RFID标准协议确定后，算法验证工程师开始进行算法验证规格书的编写，该算法验证规格书需要覆盖标准协议中所有的功能性能要求；该步骤和步骤(2)、步骤(7)、步骤(11)同时进行；步骤(26),步骤(25)的算法验证规格书编写完成且评审通过后，算法验证工程师开始进行算法测试点的分解和用例构造，该步骤分解的测试点需要覆盖步骤(25)的所有算法验证规格，同时必须覆盖步骤(17)的所有需求规格；步骤(27),步骤(26)的算法测试点分解、用例构造完成后，算法验证工程师进行算法的验证环境搭建；步骤(28),步骤(27)的算法验证环境搭建完成后，算法验证工程师进行算法验证环境的调试，调试通过后，进行用例冒烟，跑通第一条用例；步骤(29)、算法用例冒烟后，算法验证工程师开始执行算法直接用例，该步骤会调用步骤(20)调试通过的芯片的算法实现模型；步骤(30)、算法验证工程师进行算法随机验证环境的搭建；步骤(30‑2)、步骤(30)的随机验证环境搭建完 后，算法验证工程师进行算法随机用例的构造；步骤(30‑3)，步骤(30‑2)的算法随机用例构造完成后，算法验证工程师开始执行算法随机用例；算法随机用例的随机种子以日期+时间作为种子，避免重复；随机用例的执行要做到每日随机执行，每日生成随机报告，直到代码覆盖率达到要求为止；步骤(31)、步骤(30‑3)的随机用例执行完成且代码覆盖率达标后，算法验证工程师将MATLAB的SIMULINK加M语言代码生成为一个可执行的文件，交付给逻辑验证工程师进行调用和比对验证。