本申请公开了一种PAD控制单元的功能验证方法，所述方法包括：搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果。本申请能够提高PAD控制单元的功能验证效率和完备性。本申请还公开了一种PAD控制单元的功能验证系统、一种电子设备及一种存储介质，具有以上有益效果。果。果。
【技术实现步骤摘要】
一种PAD控制单元的功能验证方法、系统及相关组件
[0001]本申请涉及计算机
，特别涉及一种PAD控制单元的功能验证方法、系统及相关组件。
技术介绍
[0002]随着科技的高速发展，芯片行业也发展迅猛，对于一颗芯片来说GPIO(General
‑
purpose input/output，通用输入/输出口)是必不可少的，既可以将外部信号经过处理通过GPIO送给芯片内部，又可以将芯片内部输出的信号经过处理送到GPIO，从而与外部模块进行交互。
[0003]GPIO作为芯片跟外部交互的双向通道，保证其功能正确是至关重要的。在整个芯片设计中，内部模块众多，绝大部分的GPIO都会被若干内部的功能模块所复用。对于一个GPIO的功能来说，既可以作为模块一的输出通道，也可以作为模块二的输入通道，但是在同一时刻GPIO只会有一种功能模式被选中，为了保证每种功能实现时不冲突，每个GPIO都需要有一个控制寄存器，可以通过配置这些控制寄存器来控制GPIO的每一种功能都可独立正常工作，连接控制寄存器和GPIO端口的选择单元是PAD控制单元(即PCL单元)，因此保证PAD控制单元逻辑功能正确就尤为重要。
[0004]相关技术中，通常使用强制赋值(force)的方式对PAD控制单元的功能进行验证，但是PAD控制单元中包括大量的mux选择器，如果将所有输入信号的全部组合，使用传统强制赋值方式遍历进行功能验证的效率较低且无法保证验证的完备性。
[0005]因此，如何提高PAD控制单元的功能验证效率和完备性是本领域技术人员目前需要解决的技术问题。
技术实现思路
[0006]本申请的目的是提供一种PAD控制单元的功能验证方法、系统、一种电子设备及一种存储介质，能够提高PAD控制单元的功能验证效率和完备性。
[0007]为解决上述技术问题，本申请提供一种PAD控制单元的功能验证方法，该PAD控制单元的功能验证方法包括：
[0008]搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；其中，所述PAD控制单元为GPIO中连接控制寄存器和GPIO端口的选择单元，所述检查机制文件根据管脚列表生成；
[0009]从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；
[0010]根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果。
[0011]可选的，所述搭建形式验证环境包括：
[0012]通过设置验证平台参数、脚本运行参数和基础配置参数搭建所述形式验证环境；
[0013]其中，所述验证平台部分的参数包括约束属性、检查属性和覆盖率属性，所述脚本运行参数包括形式验证过程运行的脚本和仿真参数，所述基础配置参数包括分析和编译命令、环境时钟和复位命令、检查机制命令、以及仿真报告生成命令。
[0014]可选的，在确定PAD控制单元的设计文件和检查机制文件之前，还包括：
[0015]从所述管脚列表中选取当前管脚；
[0016]判断所述当前管脚是否为GPIO复用功能对应的管脚；
[0017]若是，则根据所述当前管脚的选择控制接口生成断言检查机制，并将所述断言检查机制添加至所述检查机制文件。
[0018]可选的，在根据所述当前管脚的选择控制接口生成断言检查机制，并将所述断言检查机制添加至所述检查机制文件之后，还包括：
[0019]将所述检查机制文件中的所有所述断言检查机制集成至片上系统SOC的验证环境中，以便利用所述断言检查机制对片上所述系统SOC进行验证。
[0020]可选的，在根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果之后，还包括：
[0021]若所述功能验证结果为验证失败，则执行失败原因定位操作。
[0022]可选的，在根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值之前，还包括：
[0023]将形式验证的应用模式设置为形式化属性检查验证模式。
[0024]可选的，所述确定PAD控制单元的设计文件和检查机制文件包括：
[0025]在查询所述形式验证环境中设置的所述PAD控制单元的设计文件所在路径和所述检查机制文件所在路径；
[0026]根据所述PAD控制单元的设计文件所在路径读取所述PAD控制单元的设计文件；
[0027]根据所述检查机制文件所在路径读取所述检查机制文件。
[0028]本申请还提供了一种PAD控制单元的功能验证系统，该系统包括：
[0029]环境搭建模块，用于搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；其中，所述PAD控制单元为GPIO中连接控制寄存器和GPIO端口的选择单元，所述检查机制文件根据管脚列表生成；
[0030]激励输入模块，用于从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；
[0031]验证模块，用于根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果。
[0032]本申请还提供了一种存储介质，其上存储有计算机程序，所述计算机程序执行时实现上述PAD控制单元的功能验证方法执行的步骤。
[0033]本申请还提供了一种电子设备，包括存储器和处理器，所述存储器中存储有计算机程序，所述处理器调用所述存储器中的计算机程序时实现上述PAD控制单元的功能验证方法执行的步骤。
[0034]本申请提供了一种PAD控制单元的功能验证方法，包括：搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；其中，所述PAD控制单元为GPIO中连接控制寄
存器和GPIO端口的选择单元，所述检查机制文件根据管脚列表生成；从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果。
[0035]本申请先搭建形式验证环境，并在形式验证环境中读取PAD控制单元对应的设计代码，通过对PAD控制单元的所有输入端口中输入随机值，进而对PAD控制单元进行形式验证。检查机制文件中包括PAD控制单元中各个引脚的检查规则，根据检查机制文件可以判断各个引脚的输入和输出逻辑是否正确，以便得到PAD控制单元的功能验证结果。本申请通过形式验证将输入信号在满足输入约束的条件下进行充分随机，整个验证环境结构简单，所有满足要求的输入信号的组合都可随机产生，不需要花费时间对每一个信号进行单独处理，能够提高PAD控制单元的功能验证效率和完备性。本申请同本文档来自技高网...
【技术保护点】
【技术特征摘要】
1.一种PAD控制单元的功能验证方法，其特征在于，包括：搭建形式验证环境，并确定PAD控制单元的设计文件和检查机制文件；其中，所述PAD控制单元为GPIO中连接控制寄存器和GPIO端口的选择单元，所述检查机制文件根据管脚列表生成；从所述设计文件中读取所述PAD控制单元对应的设计代码，根据所述设计代码在所述PAD控制单元的所有输入端口中输入随机值，以便对所述PAD控制单元进行形式验证；根据所述检查机制文件对所述PAD控制单元的输出结果进行检查，得到所述PAD控制单元的功能验证结果。2.根据权利要求1所述PAD控制单元的功能验证方法，其特征在于，所述搭建形式验证环境包括：通过设置验证平台参数、脚本运行参数和基础配置参数搭建所述形式验证环境；其中，所述验证平台部分的参数包括约束属性、检查属性和覆盖率属性，所述脚本运行参数包括形式验证过程运行的脚本和仿真参数，所述基础配置参数包括分析和编译命令、环境时钟和复位命令、检查机制命令、以及仿真报告生成命令。3.根据权利要求1所述PAD控制单元的功能验证方法，其特征在于，在确定PAD控制单元的设计文件和检查机制文件之前，还包括：从所述管脚列表中选取当前管脚；判断所述当前管脚是否为GPIO复用功能对应的管脚；若是，则根据所述当前管脚的选择控制接口生成断言检查机制，并将所述断言检查机制添加至所述检查机制文件。4.根据权利要求3所述PAD控制单元的功能验证方法，其特征在于，在根据所述当前管脚的选择控制接口生成断言检查机制，并将所述断言检查机制添加至所述检查机制文件之后，还包括：将所述检查机制文件中的所有所述断言检查机制集成至片上系统SOC的验证环境中，以便利用所述断言检查机制对片上所述系统SOC进行验证。5.根据权利要求1所述PAD控制单元的功能验证方法，其特征在于，在根据所述检查机制文件对所述PAD控制单元的输出结果进...
【专利技术属性】
技术研发人员：崔盼，邵海波，宋强，
申请(专利权)人：山东云海国创云计算装备产业创新中心有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。