一种芯片引脚功能自动验证方法及系统技术方案

本发明专利技术提供一种芯片引脚功能自动验证方法及系统，涉及芯片测试验证技术领域，包括：构建引脚功能数据库，其中配置有多个周边功能及其对应的功能定义；获取芯片的引脚周边功能配置表，其中包括芯片的至少一引脚，以及每个引脚对应的周边功能；分别于引脚周边功能配置表和引脚功能数据库中匹配得到的芯片的待验证的引脚的各周边功能及其对应的功能定义，并根据各周边功能及其对应的功能定义生成待验证的引脚的每个周边功能对应的断言；分别获取各周边功能对应的寄存器传输级程序，并根据寄存器传输级程序和对应的断言对引脚的各周边功能进行形式验证，得到芯片的引脚功能自动验证结果。有益效果是节约验证时间的同时节省人力验证成本。验证成本。验证成本。

【技术实现步骤摘要】
一种芯片引脚功能自动验证方法及系统


[0001]本专利技术涉及芯片测试验证
，尤其涉及一种芯片引脚功能自动验证方法及系统。

技术介绍

[0002]引脚是指从集成电路(芯片)内部电路引出与外围电路的接线，引脚构成了这块芯片的接口。随着硬件技术的飞速发展，芯片集成的引脚功能也越来越多，可以达到成百上千个，可以通过引脚的复用，以在有限的引脚范围内实现更多的引脚功能。引脚作为芯片内部与外部进行数据传输的直接通道，其对应的引脚功能的验证工作是非常重要的。
[0003]传统的芯片引脚功能验证中，通常采用测试用例的方式进行验证，相关的验证人员需要根据芯片的引脚功能控制模块的周边功能配置表手动书写测试用例，并且通过牢记大量的命令行去运行所有的测试用例，而且在测试用例运行完后，需要验证人员自己去查看和分析仿真结果，非常不方便。进一步地，由于每个芯片对应的引脚的数量以及引脚功能存在差异，不同芯片进行引脚功能验证时，其对应的周边功能配置表会发生变化，此时需要更改或重写各测试用例，导致验证工作量较大且容易出错，从而延长芯片开发的周期，芯片验证的效率较低，且验证人员的操作成本较高。

技术实现思路

[0004]针对现有技术中存在的问题，本专利技术提供一种芯片引脚功能自动验证方法，包括：
[0005]步骤S1，构建一引脚功能数据库，所述引脚功能数据库中配置有多个周边功能及其对应的功能定义；
[0006]步骤S2，获取一芯片的引脚周边功能配置表，所述引脚周边功能配置表中包括所述芯片的至少一引脚，以及每个所述引脚对应的周边功能；
[0007]步骤S3，分别于所述引脚周边功能配置表和所述引脚功能数据库中匹配得到的所述芯片的待验证的所述引脚的各所述周边功能及其对应的所述功能定义，并根据各所述周边功能及其对应的所述功能定义生成待验证的所述引脚的每个所述周边功能对应的断言；
[0008]步骤S4，分别获取待验证的所述引脚的各所述周边功能对应的寄存器传输级程序，并根据所述寄存器传输级程序和对应的所述断言对所述引脚的各所述周边功能进行形式验证，得到所述芯片的引脚功能自动验证结果。
[0009]优选的，所述步骤S3包括：
[0010]步骤S31，分别于所述引脚周边功能配置表和所述引脚功能数据库中匹配得到的所述芯片的待验证的所述引脚的各所述周边功能及其对应的所述功能定义；
[0011]步骤S32，针对每个所述周边功能，根据所述功能定义配置多个输入信号及其对应的输出信号得到一中间文件；
[0012]步骤S33，根据所述中间文件生成各所述周边功能的断言。
[0013]优选的，所述步骤S4包括：
[0014]步骤S41，分别获取待验证的所述引脚的各所述周边功能对应的寄存器传输级程序；
[0015]步骤S42，根据所述寄存器传输级程序和对应的所述断言对所述引脚的各所述周边功能进行形式验证得到各所述周边功能的形式验证结果，并对各所述断言进行条件完备性验证得到各所述断言的条件验证结果；
[0016]步骤S43，根据所述形式验证结果和所述条件验证结果生成所述芯片的所述引脚功能自动验证结果。
[0017]优选的，所述步骤S43包括：
[0018]针对每个所述断言，判断所述条件验证结果是否表示所述断言通过条件完备性验证：
[0019]若否，则将对应的所述形式验证结果和所述条件验证结果作为所述周边功能的引脚功能自动验证结果输出，同时给出相应的验证失败提示，随后退出；
[0020]若是，则将对应的所述形式验证结果作为所述断言关联的所述周边功能的引脚功能自动验证结果输出。
[0021]本专利技术还提供一种芯片引脚功能自动验证系统，应用上述的芯片引脚功能自动验证方法，所述芯片引脚功能自动验证系统包括：
[0022]数据库构建模块，用于构建一引脚功能数据库，所述引脚功能数据库中配置有多个周边功能及其对应的功能定义；
[0023]数据获取模块，用于获取一芯片的引脚周边功能配置表，所述引脚周边功能配置表中包括所述芯片的至少一引脚，以及每个所述引脚对应的周边功能；
[0024]数据处理模块，分别连接所述数据库构建模块和所述数据获取模块，用于分别于所述引脚周边功能配置表和所述引脚功能数据库中匹配得到的所述芯片的待验证的所述引脚的各所述周边功能及其对应的所述功能定义，并根据各所述周边功能及其对应的所述功能定义生成待验证的所述引脚的每个所述周边功能对应的断言；
[0025]自动验证模块，连接所述数据处理模块，用于分别获取待验证的所述引脚的各所述周边功能对应的寄存器传输级程序，并根据所述寄存器传输级程序和对应的所述断言对所述引脚的各所述周边功能进行形式验证，得到所述芯片的引脚功能自动验证结果。
[0026]优选的，所述数据处理模块包括：
[0027]匹配单元，用于分别于所述引脚周边功能配置表和所述引脚功能数据库中匹配得到的所述芯片的待验证的所述引脚的各所述周边功能及其对应的所述功能定义；
[0028]信号配置单元，连接所述匹配单元，用于针对每个所述周边功能，根据所述功能定义配置多个输入信号及其对应的输出信号得到一中间文件；
[0029]断言生成单元，连接所述配置单元，用于根据所述中间文件生成各所述周边功能的断言。
[0030]优选的，所述自动验证模块包括：
[0031]获取单元，用于分别获取待验证的所述引脚的各所述周边功能对应的寄存器传输级程序；
[0032]验证单元，连接所述获取单元，用于根据所述寄存器传输级程序和对应的所述断言对所述引脚的各所述周边功能进行形式验证得到各所述周边功能的形式验证结果，并对
各所述断言进行条件完备性验证得到各所述断言的条件验证结果；
[0033]结果生成单元，连接所述验证单元，用于根据所述形式验证结果和所述条件验证结果生成所述芯片的所述引脚功能自动验证结果。
[0034]优选的，所述结果生成单元包括：
[0035]判断子单元，用于针对每个所述断言，判断所述条件验证结果表示所述断言未通过条件完备性验证时输出一第一判断信号，以及在判断所述条件验证结果表示所述断言通过条件完备性验证时输出一第二判断信号：
[0036]输出子单元，连接所述判断子单元，用于根据所述第一判断信号将对应的所述形式验证结果和所述条件验证结果作为所述周边功能的引脚功能自动验证结果输出，同时给出相应的验证失败提示，以及根据所述第二判断信号将对应的所述形式验证结果作为所述断言关联的所述周边功能的引脚功能自动验证结果输出。
[0037]上述技术方案具有如下优点或有益效果：
[0038]1)通过构建配置有多个周边功能及其对应的功能定义的引脚功能数据库，该周边功能及其对应的功能定义独立于引脚配置，方便不同芯片在进行引脚功能自动验证时重复调用；
[0039]2)基于芯片的周边功能配置表和引脚功能数据库生成相应的中间文件，在进行不同芯片测试时，只需要根据周本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种芯片引脚功能自动验证方法，其特征在于，包括：步骤S1，构建一引脚功能数据库，所述引脚功能数据库中配置有多个周边功能及其对应的功能定义；步骤S2，获取一芯片的引脚周边功能配置表，所述引脚周边功能配置表中包括所述芯片的至少一引脚，以及每个所述引脚对应的周边功能；步骤S3，分别于所述引脚周边功能配置表和所述引脚功能数据库中匹配得到的所述芯片的待验证的所述引脚的各所述周边功能及其对应的所述功能定义，并根据各所述周边功能及其对应的所述功能定义生成待验证的所述引脚的每个所述周边功能对应的断言；步骤S4，分别获取待验证的所述引脚的各所述周边功能对应的寄存器传输级程序，并根据所述寄存器传输级程序和对应的所述断言对所述引脚的各所述周边功能进行形式验证，得到所述芯片的引脚功能自动验证结果。2.根据权利要求1所述的芯片引脚功能自动验证方法，其特征在于，所述步骤S3包括：步骤S31，分别于所述引脚周边功能配置表和所述引脚功能数据库中匹配得到的所述芯片的待验证的所述引脚的各所述周边功能及其对应的所述功能定义；步骤S32，针对每个所述周边功能，根据所述功能定义配置多个输入信号及其对应的输出信号得到一中间文件；步骤S33，根据所述中间文件生成各所述周边功能的断言。3.根据权利要求1所述的芯片引脚功能自动验证方法，其特征在于，所述步骤S4包括：步骤S41，分别获取待验证的所述引脚的各所述周边功能对应的寄存器传输级程序；步骤S42，根据所述寄存器传输级程序和对应的所述断言对所述引脚的各所述周边功能进行形式验证得到各所述周边功能的形式验证结果，并对各所述断言进行条件完备性验证得到各所述断言的条件验证结果；步骤S43，根据所述形式验证结果和所述条件验证结果生成所述芯片的所述引脚功能自动验证结果。4.根据权利要求3所述的芯片引脚功能自动验证方法，其特征在于，所述步骤S43包括：针对每个所述断言，判断所述条件验证结果是否表示所述断言通过条件完备性验证：若否，则将对应的所述形式验证结果和所述条件验证结果作为所述周边功能的引脚功能自动验证结果输出，同时给出相应的验证失败提示，随后退出；若是，则将对应的所述形式验证结果作为所述断言关联的所述周边功能的引脚功能自动验证结果输出。5.一种芯片引脚功能自动验证系统，其特征在于，应用如权利要求1
‑
4中任意一项所述的芯片引脚功能自动验证方法，所述芯片引脚功能自动验证系统包括：数据库构建模块，用于构建一引脚功能数据库，所述引脚功能数据库中配置有多个周边功能及其对应的功...

【专利技术属性】
技术研发人员：秦岭，陈红，
申请(专利权)人：苏州琪埔维半导体有限公司，
类型：发明
国别省市：