买专利卖专利找龙图腾，真高效！ 查专利查商标用IPTOP,全免费！专利年费监控用IP管家,真方便！

申请/专利权人：山东云海国创云计算装备产业创新中心有限公司

摘要：本申请公开了一种PAD控制单元的功能验证方法，所述方法包括：搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果。本申请能够提高PAD控制单元的功能验证效率和完备性。本申请还公开了一种PAD控制单元的功能验证系统、一种电子设备及一种存储介质，具有以上有益效果。

主权项：1.一种PAD控制单元的功能验证方法，其特征在于，包括：搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；其中，所述PAD控制单元为GPIO中连接控制寄存器和GPIO端口的选择单元，所述检查机制文件根据管脚列表生成，所述检查机制文件中包括多个引脚输入和输出逻辑的检查规则；从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；其中，通过形式验证将输入信号在满足输入约束的条件下进行充分随机；根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果；其中，根据所述检查机制文件判断各个引脚的输入和输出逻辑是否正确以得到所述PAD控制单元的功能验证结果；对应地，在根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值之前，还包括：将形式验证的应用模式设置为形式化属性检查验证模式；对应地，所述确定PAD控制单元的设计文件和检查机制文件包括：在查询所述形式验证环境中设置的所述PAD控制单元的设计文件所在路径和所述检查机制文件所在路径；根据所述PAD控制单元的设计文件所在路径读取所述PAD控制单元的设计文件；根据所述检查机制文件所在路径读取所述检查机制文件；对应地，所述搭建形式验证环境包括：通过设置验证平台参数、脚本运行参数和基础配置参数搭建所述形式验证环境；其中，所述验证平台部分的参数包括约束属性、检查属性和覆盖率属性，所述脚本运行参数包括形式验证过程运行的脚本和仿真参数，所述基础配置参数包括分析和编译命令、环境时钟和复位命令、检查机制命令、以及仿真报告生成命令；对应地，在确定PAD控制单元的设计文件和检查机制文件之前，还包括：从所述管脚列表中选取当前管脚；判断所述当前管脚是否为GPIO复用功能对应的管脚；若是，则根据所述当前管脚的选择控制接口生成断言检查机制，并将所述断言检查机制添加至所述检查机制文件；其中，根据GPIO的管脚列表自动提取相关断言机制；对应地，在根据所述当前管脚的选择控制接口生成断言检查机制，并将所述断言检查机制添加至所述检查机制文件之后，还包括：将所述检查机制文件中的所有所述断言检查机制集成至片上系统SOC的验证环境中，以便利用所述断言检查机制对片上所述系统SOC进行验证；对应地，在根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果之后，还包括：若所述功能验证结果为验证失败，则执行失败原因定位操作；其中，检查机制文件的生成过程，包括：读取管脚列表pinlist数据，判断该数据是否为PAD复用功能对应的引脚；若是，则读取至少包括sel的相关数据并输出断言；若否，则读取PAD方向相关数据并输出断言；若PAD中的管脚未处理完成则重新判断下一引脚是否未PAD复用功能对应的引脚，若PAD中的管脚处理完成则结束流程；对应地，验证环境结构包括三部分：Tb，Run和Tcl，其中，Tb是验证平台，包含对输入信号的约束属性、输出信号的检查属性以及覆盖率属性；Run部分是指定需要运行的Tcl脚本并且设置仿真参数；Tcl部分是运行形式环境所需的基础配置，至少包括设置分析和编译命令、环境的时钟和复位、检查机制以及产生仿真报告；对应地，形式验证过程设置应用模式；若需要收集覆盖率还需设置覆盖率相关参数，对于一些不需要检查的内部小模块可将其设置为黑盒模式，设置完毕后需要指定PAD控制单元的设计文件所在路径以及检查机制的文件路径，之后加入系统时钟和复位，等复位释放后输入信号会产生符合输入约束的输入随机值，然后进行形式检查机制，运行环境中提前设置好的断言assertion，如果断言assertion断定失败则需去定位失败原因；对应地，在完成模块PAD控制单元验证后，将脚本产生的检查机制集成到片上系统SOC验证环境中，其中，检查机制的输入信号就是对应模块的真实信号。

全文数据：

权利要求：

百度查询： 山东云海国创云计算装备产业创新中心有限公司 一种PAD控制单元的功能验证方法及系统