一种SOC芯片验证架构并行验证的实现方法技术

本发明专利技术公开了一种SOC芯片验证架构并行验证的实现方法，首先配置验证环境参数，之后选择后仿真、门仿真、FPGA仿真和RTL仿真其中一种仿真类型，脚本文件会自动生成独立命令的运行执行程序和一些独立命名的中间文件，最后脚本会调用独命名的执行程序进行仿真。优点是：该方法支持生成独立命名的CASE仿真输出文件夹以及编译生成独立运行的编译执行文件，各个独立命名的文件在运行时并不会产生冲突，从而达到RTL仿真、门仿真、后仿真、FPGA仿真并行仿真验证目的，加快了仿真时间同时节省了资源。加快了仿真时间同时节省了资源。加快了仿真时间同时节省了资源。

【技术实现步骤摘要】
一种SOC芯片验证架构并行验证的实现方法


[0001]本专利技术涉及芯片验证
，尤其涉及一种SOC芯片验证架构并行验证的实现方法。

技术介绍

[0002]在SOC验证过程中,通常有大量的CASE需要验证及调试分析。通常SOC验证环境只能进行单一测试CASE的仿真，如果进行并行仿真的话，需要完全手动拷贝一份仿真环境，然后再运行仿真。在同一份仿真环境进行二次仿真操作后，前一次仿真的相关的log以及波形文档被覆盖。有些仿真环境能自动实现一些并行验证,但不充分，生成的相关log以及文件保存的不够充分，在多个CASE同时进行仿真时，很容易造成冲突,并不利于多个CASE同时仿真，产生的log文件和文档有前后覆盖的情况,不利于调试前后对比分析。

技术实现思路

[0003]本专利技术的目的在于提供一种SOC芯片验证架构并行验证的实现方法，从而解决现有技术中存在的前述问题。
[0004]为了实现上述目的，本专利技术采用的技术方案如下：
[0005]一种SOC芯片验证架构并行验证的实现方法，包括如下步骤，
[0006]S1、配置验证环境参数，包括case名字及仿真类型参数；
[0007]S2、判断仿真类型参数选择的是否为后仿真，若是，则生成独立命名的后仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的后仿真执行程序进行仿真；否则，进入步骤S3；
[0008]S3、判断仿真类型参数选择的是否为门防真，若是，则生成独立命名的门仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的门仿真执行程序进行防真；否则，进入步骤S4；
[0009]S4、判断仿真类型参数选择的是否为FPGA仿真，若是，则生成独立命名的FPGA仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的FPGA仿真执行程序进行防真；否则，进入步骤S5；
[0010]S5、判断仿真类型参数选择的是否为RTL仿真，若是，则生成独立命名的RTL仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的RTL仿真执行程序进行防真；否则，配置其他仿真类型参数，流程结束。
[0011]优选的，所述验证结构文件包括，
[0012]veri子文件夹；包含tb文件夹以及仿真运行目录simdir；
[0013]所述tb文件夹中包含case测试例以及common environment；
[0014]所述仿真运行目录simdir包括用于存放脚本文件的公共的脚本文件夹、脚本文件生成后可用于仿真执行的case编译后的独立命名的执行文件、用于存放仿真执行后生成结果的case仿真输出文件夹和用于存放回归测试后输出结果的回归测试文件夹；
[0015]src子文件夹；包含可综合的源代码；
[0016]lib子文件夹；包含IP模型和工艺库文件。
[0017]优选的，所述tb文件夹中各个模块的文件夹与源代码中模块的名称一一对应。
[0018]优选的，所述脚本文件生成后可用于仿真执行的case编译后的独立命名的执行文件中包括vcs生成的可编译执行文件；在同一个源代码和CASE不变的情况下，能够通过脚本文件直接调用vcs生成的可编译执行文件，执行仿真。
[0019]本专利技术的有益效果是：1、通过脚本自动化实现了手动拷贝的过程，采用了如图4所示的文件结构，同时在脚本中解决多个仿真CASE并行仿真后不能同时保存所有仿真文件的问题。2、脚本会自动对每个CASE创建分层次的文件结构，在每一个CASE都新建一个文件夹，以及子文件夹，保证每个验证CASE生成的文件及波形文件都有独立的存储空间，防止并行验证CASE时产生冲突，满足调试上的可追溯分析需求，以及为并行验证CASE提供文件存储的条件，提出的验证方法在编译后能够生成独立命名的中间执行文件以及缓存文件，从而为CASE的并行运行创造了条件，加快仿真效率。3、在调试过程中可直接使用中间执行文件进行仿真分析以及结合产生的独立log以及原始编译文件，加快调试分析及验证。
附图说明
[0020]图1是本专利技术实施例中实现方法的流程图；
[0021]图2是本专利技术实施例中验证文件结构的示意图；
[0022]图3是本专利技术实施例中SOC芯片验证架构的示意图；
[0023]图4是本专利技术实施例中验证文件结构的具体实例；
[0024]图5是本专利技术实施例中脚本文件代码示意图。
具体实施方式
[0025]为了使本专利技术的目的、技术方案及优点更加清楚明白，以下结合附图，对本专利技术进行进一步详细说明。应当理解，此处所描述的具体实施方式仅仅用以解释本专利技术，并不用于限定本专利技术。
[0026]实施例一
[0027]如图1所示，本实施例中，提供了一种SOC芯片验证架构并行验证的实现方法，包括如下步骤，
[0028]S1、配置验证环境参数，包括case名字及仿真类型参数；
[0029]S2、判断仿真类型参数选择的是否为后仿真，若是，则生成独立命名的后仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的后仿真执行程序进行仿真；否则，进入步骤S3；
[0030]S3、判断仿真类型参数选择的是否为门防真，若是，则生成独立命名的门仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的门仿真执行程序进行防真；否则，进入步骤S4；
[0031]S4、判断仿真类型参数选择的是否为FPGA仿真，若是，则生成独立命名的FPGA仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的FPGA仿真执行程序进行防真；否则，进入步骤S5；
[0032]S5、判断仿真类型参数选择的是否为RTL仿真，若是，则生成独立命名的RTL仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的RTL仿真执行程序进行防真；否则，配置其他仿真类型参数，流程结束。
[0033]如图2所示，本实施例中，所述验证结构文件包括，
[0034]veri子文件夹；包含tb文件夹以及仿真运行目录simdir；
[0035]所述tb文件夹中包含case测试例以及common environment；
[0036]所述仿真运行目录simdir包括用于存放脚本文件的公共的脚本文件夹、脚本文件生成后可用于仿真执行的case编译后的独立命名的执行文件、用于存放仿真执行后生成结果的case仿真输出文件夹和用于存放回归测试后输出结果的回归测试文件夹；
[0037]src子文件夹；包含可综合的源代码；
[0038]lib子文件夹；包含IP模型和工艺库文件。
[0039]本实施例中，实现方法主要是首先配置验证环境参数，之后选择后仿真、门仿真、FPGA仿真和RTL仿真其中一种仿真类型，脚本文件会自动生成独立命令的运行执行程序和一些独立命名的中间文件，最后脚本会调用独命名的执行程序进行仿真。
[0040]实现方法主要依赖于SOC芯片验证架构进本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种SOC芯片验证架构并行验证的实现方法，其特征在于：包括如下步骤，S1、配置验证环境参数，包括case名字及仿真类型参数；S2、判断仿真类型参数选择的是否为后仿真，若是，则生成独立命名的后仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的后仿真执行程序进行仿真；否则，进入步骤S3；S3、判断仿真类型参数选择的是否为门防真，若是，则生成独立命名的门仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的门仿真执行程序进行防真；否则，进入步骤S4；S4、判断仿真类型参数选择的是否为FPGA仿真，若是，则生成独立命名的FPGA仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的FPGA仿真执行程序进行防真；否则，进入步骤S5；S5、判断仿真类型参数选择的是否为RTL仿真，若是，则生成独立命名的RTL仿真执行程序以及缓存空间，验证文件结构中的脚本文件调用独立命名的RTL仿真执行程序进行防真；否则，配置其他仿真类型参数，流程结束。2.根据权利要求1所述的SOC芯片验证架构并行验...

【专利技术属性】
技术研发人员：刘曼，刘家明，张奇惠，
申请(专利权)人：广州万协通信息技术有限公司，
类型：发明
国别省市：