CN105389200A - 用于超大规模芯片验证的多组激励批量仿真方法及系统 - Google Patents

Abstract

本发明公开了一种用于超大规模芯片验证的多组激励批量仿真方法及系统，包括：按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；运行测试激励组对应的仿真程序；判断所述仿真程序是否退出；若所述仿真程序退出，则将仿真结果保存到对应预定区域；用自动化的脚本和相关的验证环境配置，替代了人力的工作即该方法能够在验证人员休息或者进行分析验证结果等其它工作的时候，持续地运行仿真，提高了对硬件资源和人力资源的使用效率。

Description

用于超大规模芯片验证的多组激励批量仿真方法及系统

技术领域

本发明涉及仿真技术领域，特别涉及一种用于超大规模芯片验证的多组激励批量仿真方法及系统。

背景技术

随着工艺技术以及应用领域的不断发展，芯片的复杂度不断提高，相对应的，验证工作的复杂度也不断提高，这主要体现在两个方面：一方面，验证的种类(与芯片功能点数目有关)增加；另一方面，每种验证的规模(与芯片的规模有关)变大。这就大大增加了仿真验证以及回归测试对于硬件资源和验证人员工作量的需求，在人力和资源都有限的情况下，会造成验证周期的延长。

验证过程中，一组激励用于验证某个或某几个功能点。除去回归测试的某些时候，绝大部分情况下，是不会让多组激励在同一次仿真中串行运行的，这是因为，不同组激励之间需要的系统配置可能不一致，同时，不同组激励之间也很可能存在对彼此运行结果的干扰。因此，仿真验证的通常模式是，由验证人员使用一组激励，启动一次仿真，然后等待仿真结束，确认结果，再进行分析或者启动下一组激励的仿真。同样，也可以由每个验证人员同时启动多个仿真(个数受限于硬件资源)，仿真结束后再进行新的仿真。但这些做法都需要验证人员一直参与和管理仿真的进度，也就是说，每天仿真能进行多少个小时，取决于验证人员工作多少个小时。会造成验证周期的延长。因此，如何提高超大规模芯片验证效率，是本领域技术人员需要解决的技术问题。

发明内容

本发明的目的是提供一种用于超大规模芯片验证的多组激励批量仿真方法及系统，能够用自动化的脚本和相关的验证环境配置，替代了人力的工作，提高了对硬件资源和人力资源的使用效率。

为解决上述技术问题，本发明提供一种用于超大规模芯片验证的多组激励批量仿真方法，包括：

按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；

运行测试激励组对应的仿真程序；

判断所述仿真程序是否退出；

若所述仿真程序退出，则将仿真结果保存到对应预定区域。

其中，所述按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境，包括：

为每组测试激励组按照仿真顺序进行编号，并为每组测试激励组设置对应的配置文件；其中，所述配置文件包括仿真工作模式和仿真系统配置；

脚本按照每组测试激励组的编号，依次调取一个测试激励组，并读取对应的配置文件；

根据读取的配置文件配置测试激励组的验证环境。

其中，所述配置文件还包括：

设置仿真出错退出或仿真异常退出的条件；

设置仿真程序正常退出的条件。

其中，所述将仿真结果保存到对应预定区域，包括：

通过脚本将仿真结果复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

其中，所述将仿真结果保存到对应预定区域，包括：

通过脚本将仿真结果以及仿真退出的原因信息复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

本发明提供一种用于超大规模芯片验证的多组激励批量仿真系统，包括：

配置模块，用于按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；

仿真模块，用于运行测试激励组对应的仿真程序；

判断模块，用于判断所述仿真程序是否退出；

保存模块，用于若所述仿真程序退出，则将仿真结果保存到对应预定区域。

其中，所述配置模块包括：

配置单元，用于为每组测试激励组按照仿真顺序进行编号，并为每组测试激励组设置对应的配置文件；其中，所述配置文件包括仿真工作模式和仿真系统配置；

调取单元，用于脚本按照每组测试激励组的编号，依次调取一个测试激励组，并读取对应的配置文件；

环境配置单元，用于根据读取的配置文件配置测试激励组的验证环境。

其中，所述配置单元，包括：

第一配置子单元，用于设置仿真工作模式；

第二配置子单元，用于设置仿真系统配置；

第三配置子单元，用于设置仿真出错退出或仿真异常退出的条件；

第四配置子单元，用于设置仿真程序正常退出的条件。

其中，所述保存模块具体用于：通过脚本将仿真结果复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

其中，所述保存模块具体用于：

通过脚本将仿真结果以及仿真退出的原因信息复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

本发明所提供的用于超大规模芯片验证的多组激励批量仿真方法及系统，包括：按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；运行测试激励组对应的仿真程序；判断所述仿真程序是否退出；若所述仿真程序退出，则将仿真结果保存到对应预定区域；

该方法通过自动化的脚本按照测试激励组的顺序依次自动调取测试激励组，并对测试激励组进行验证环境配置；即用自动化的脚本和相关的验证环境配置，替代了人力的工作即该方法能够在验证人员休息或者进行分析验证结果等其它工作的时候，持续地运行仿真，提高了对硬件资源和人力资源的使用效率。

附图说明

为了更清楚地说明本发明实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作简单地介绍，显而易见地，下面描述中的附图仅仅是本发明的实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据提供的附图获得其他的附图。

图1为本发明实施例所提供的用于超大规模芯片验证的多组激励批量仿真方法的流程图；

图2为本发明实施例所提供的用于超大规模芯片验证的多组激励批量仿真方法的示意图；

图3为本发明实施例所提供的用于超大规模芯片验证的多组激励批量仿真系统的结构框图。

具体实施方式

本发明的核心是提供一种用于超大规模芯片验证的多组激励批量仿真方法及系统，能够用自动化的脚本和相关的验证环境配置，替代了人力的工作，提高了对硬件资源和人力资源的使用效率。

为使本发明实施例的目的、技术方案和优点更加清楚，下面将结合本发明实施例中的附图，对本发明实施例中的技术方案进行清楚、完整地描述，显然，所描述的实施例是本发明一部分实施例，而不是全部的实施例。基于本发明中的实施例，本领域普通技术人员在没有做出创造性劳动前提下所获得的所有其他实施例，都属于本发明保护的范围。

请参考图1，图1为本发明实施例所提供的用于超大规模芯片验证的多组激励批量仿真方法的流程图；该方法可以包括：

S100、按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；

其中，为了尽量减少测试激励时的人工参与；这里可以通过自动化脚本来自动按照每组测试激励组的顺序，在该测试激励组仿真退出后，自动调取下一个测试激励组进行仿真。这里每组测试激励组的顺序可以通过预先对需要进行仿真的各个测试激励组进行编号，脚本按照编号顺序依次调取测试激励组；也可以是在脚本中设置调取各个测试激励组的顺序，脚本即按照设置的顺序进行依次调取；本方法并不对测试激励组的排序方式进行限定，只需要使得脚本能够按照预定顺序可自动化依次调取测试激励组即可。

配置读取的测试激励组的验证环境可以通过配置文件实现，即可以在配置文件中设置好该配置文件对应的测试激励组的验证环境，脚本通过读取配置文件，并根据配置文件的内容搭建验证环境；其中，这里的验证环境的内容可以是设定仿真工作模式和仿真系统配置参数等。这里的配置文件的设置是针对待验证激励比较复杂，有多种不同工作模式和系统配置的情况，为了使应用于不同工作模式下的测试激励能自动化地批量处理。如果验证环境只有一种配置，或者用于批量处理的激励都用于同一种配置环境，那么配置文件相关的工作可以省略。这里设置配置文件的目的就是可以使得脚本在调取该测试激励组之后，不需要人工进行验证环境的搭建，可以直接进行搭建，并在搭建后可以直接进行仿真，完成自动仿真，避免仿真时的人工参与。针对用于超大规模芯片验证的多组激励批量仿真的时候，优选的，该步骤可以包括：

为每组测试激励组按照仿真顺序进行编号，并为每组测试激励组设置对应的配置文件；其中，所述配置文件包括仿真工作模式和仿真系统配置；

脚本按照每组测试激励组的编号，依次调取一个测试激励组，并读取对应的配置文件；

根据读取的配置文件配置测试激励组的验证环境。

其中，在同一个验证环境的搭建中，包含对于不同工作模式和系统配置，并使其可以通过读入配置文件的方式进行选择。

S110、运行测试激励组对应的仿真程序；

S120、判断所述仿真程序是否退出；

S130、若所述仿真程序退出，则将仿真结果保存到对应预定区域。

其中，由于脚本在一个测试激励组完成仿真后，需要自动调取下一组测试激励组；因此，需要使得脚本知道怎么样算是仿真程序退出，即需要在脚本中设置仿真退出的条件。当测试激励组在仿真的过程中触发了退出条件，则退出仿真，脚本将得到的仿真结果进行保存后，调取下一个测试激励组进行仿真。

其中，这里的仿真退出设置的条件可以根据实际情况进行确定，一般包括仿真结束后的正常退出，也可以包括仿真异常或错误时的退出。即在验证环境中可以包含退出仿真的控制开关，当条件触发时退出本组激励的仿真。

具体的，优选的，所述配置文件还可以包括：

设置仿真出错退出或仿真异常退出的条件；

设置仿真程序正常退出的条件。

即退出仿真控制开关，其触发条件包含两类，一类是仿真的激励已经运行完毕，得到了结果(无论结果是对是错)；另一类是仿真激励没有全部运行完毕，但是已经无法继续运行出结果，包括出现死循环、死锁或者其它错误。对于前者的条件设置相对简单，如以仿真出现结果即可，而对于后者，需要对仿真“无法继续运行”设置一个或多个判断条件。最简单的可以用仿真时间作为条件，但为了减少误判就需要采用尽可能宽松的阈值，为了避免这方面带来的时间浪费，最有效的方法是根据对于整个系统的了解，采用对系统的一些状态变化和时间共同作为判断条件。此外，退出仿真的原因等信息需要尽可能详细地记录下来。以便后续技术人员进行分析。

这里要注意，由于该方法用于超大规模芯片验证，因此，每次测试的激励会比较多，多组激励是在同一个验证环境中运行，每次仿真之后，为了避免出现结果被覆盖，可以通过脚本的方式将该次仿真的结果复制出去单独保存。可以通过为每组测试激励组都分配制定的保存区域，也可以是将结果保存时以能够表明测试对象的名称进行命名如每组测试激励组的编号。优选的，所述将仿真结果保存到对应预定区域，包括：通过脚本将仿真结果复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

其中，为验证环境设置判断仿真出错或者异常的条件，也就是规定除了得到仿真结果之外的仿真提出的条件。在激励组方面，准备需要批量处理的多组测试激励，每组测试激励都包含对应的配置文件，并对多组测试激励进行顺序编号。

为了更好地对仿真结果进行分析，了解仿真的整个过程，还需要将退出仿真的原因等信息需要尽可能详细地记录下来。优选的，所述将仿真结果保存到对应预定区域，包括：

通过脚本将仿真结果以及仿真退出的原因信息复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

请参考图2，具体的，该方法中的控制批量仿真的工作由脚本完成，具体脚本需要做的事情包括：在批量仿真启动之后，脚本读入第一个测试激励组，并读入对应配置文件，配置验证环境后仿真；在满足仿真退出条件时，退出当次仿真，并保存仿真结果到一个单独的文件夹中，不同激励组的结果命名以编号区分；然后读入下一个测试激励组，重复进行以上工作，直至所有激励组都仿真完毕。其中，启动仿真之前包括：搭建验证环境，包含对于不同工作模式和系统配置，使其可以通过读入配置文件的方式进行选择，准备需要批量处理的多组测试激励，每组测试激励都包含对应的配置文件，并对多组测试激励进行顺序编号，为验证环境设置判断仿真出错或者异常的条件。

基于上述技术方案，本发明实施例提供的用于超大规模芯片验证的多组激励批量仿真方法，该方法通过自动化的脚本按照测试激励组的顺序依次自动调取测试激励组，并对测试激励组进行验证环境配置；即用自动化的脚本和相关的验证环境配置，替代了人力的工作即该方法能够在验证人员休息或者进行分析验证结果等其它工作的时候，持续地运行仿真，提高了对硬件资源和人力资源的使用效率。

优选的，还可以将常用的分析方法进行编程，通过分析程序对得到的仿真结果进行分析，进而进一步的减轻了技术人员的工作量，提高了仿真分析效率。

本发明实施例提供了用于超大规模芯片验证的多组激励批量仿真方法，能够用自动化的脚本和相关的验证环境配置，替代了人力的工作，提高了对硬件资源和人力资源的使用效率。

下面对本发明实施例提供的用于超大规模芯片验证的多组激励批量仿真系统进行介绍，下文描述的用于超大规模芯片验证的多组激励批量仿真系统与上文描述的用于超大规模芯片验证的多组激励批量仿真方法可相互对应参照。

请参考图3，图3为本发明实施例所提供的用于超大规模芯片验证的多组激励批量仿真系统的结构框图；该系统可以包括：

配置模块100，用于按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；

仿真模块200，用于运行测试激励组对应的仿真程序；

判断模块300，用于判断所述仿真程序是否退出；

保存模块400，用于若所述仿真程序退出，则将仿真结果保存到对应预定区域。

优选的，所述配置模块100包括：

配置单元，用于为每组测试激励组按照仿真顺序进行编号，并为每组测试激励组设置对应的配置文件；其中，所述配置文件包括仿真工作模式和仿真系统配置；

调取单元，用于脚本按照每组测试激励组的编号，依次调取一个测试激励组，并读取对应的配置文件；

环境配置单元，用于根据读取的配置文件配置测试激励组的验证环境。

优选的，所述配置单元包括：

第一配置子单元，用于设置仿真工作模式；

第二配置子单元，用于设置仿真系统配置；

第三配置子单元，用于设置仿真出错退出或仿真异常退出的条件；

第四配置子单元，用于设置仿真程序正常退出的条件。

优选的，所述保存模块400具体用于：通过脚本将仿真结果复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

优选的，所述保存模块400具体用于：通过脚本将仿真结果以及仿真退出的原因信息复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

基于上述技术方案，本发明实施例提供的用于超大规模芯片验证的多组激励批量仿真系统，该系统通过对验证环境以及脚本的特殊配置，实现不需要人工参与的对多组激励批量仿真，并对结果进行分别保存以及简单的自动化分析。

说明书中各个实施例采用递进的方式描述，每个实施例重点说明的都是与其他实施例的不同之处，各个实施例之间相同相似部分互相参见即可。对于实施例公开的装置而言，由于其与实施例公开的方法相对应，所以描述的比较简单，相关之处参见方法部分说明即可。

专业人员还可以进一步意识到，结合本文中所公开的实施例描述的各示例的单元及算法步骤，能够以电子硬件、计算机软件或者二者的结合来实现，为了清楚地说明硬件和软件的可互换性，在上述说明中已经按照功能一般性地描述了各示例的组成及步骤。这些功能究竟以硬件还是软件方式来执行，取决于技术方案的特定应用和设计约束条件。专业技术人员可以对每个特定的应用来使用不同方法来实现所描述的功能，但是这种实现不应认为超出本发明的范围。

结合本文中所公开的实施例描述的方法或算法的步骤可以直接用硬件、处理器执行的软件模块，或者二者的结合来实施。软件模块可以置于随机存储器(RAM)、内存、只读存储器(ROM)、电可编程ROM、电可擦除可编程ROM、寄存器、硬盘、可移动磁盘、CD-ROM、或技术领域内所公知的任意其它形式的存储介质中。

以上对本发明所提供的用于超大规模芯片验证的多组激励批量仿真方法及系统进行了详细介绍。本文中应用了具体个例对本发明的原理及实施方式进行了阐述，以上实施例的说明只是用于帮助理解本发明的方法及其核心思想。应当指出，对于本技术领域的普通技术人员来说，在不脱离本发明原理的前提下，还可以对本发明进行若干改进和修饰，这些改进和修饰也落入本发明权利要求的保护范围内。

Claims (10)

1.一种用于超大规模芯片验证的多组激励批量仿真方法，其特征在于，包括：

按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；

运行测试激励组对应的仿真程序；

判断所述仿真程序是否退出；

若所述仿真程序退出，则将仿真结果保存到对应预定区域。

2.如权利要求1所述的多组激励批量仿真方法，其特征在于，所述按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境，包括：

为每组测试激励组按照仿真顺序进行编号，并为每组测试激励组设置对应的配置文件；其中，所述配置文件包括仿真工作模式和仿真系统配置；

脚本按照每组测试激励组的编号，依次调取一个测试激励组，并读取对应的配置文件；

根据读取的配置文件配置测试激励组的验证环境。

3.如权利要求2所述的多组激励批量仿真方法，其特征在于，所述配置文件还包括：

设置仿真出错退出或仿真异常退出的条件；

设置仿真程序正常退出的条件。

4.如权利要求3所述的多组激励批量仿真方法，其特征在于，所述将仿真结果保存到对应预定区域，包括：

通过脚本将仿真结果复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

5.如权利要求1至3任一项所述的多组激励批量仿真方法，其特征在于，所述将仿真结果保存到对应预定区域，包括：

通过脚本将仿真结果以及仿真退出的原因信息复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

6.一种用于超大规模芯片验证的多组激励批量仿真系统，其特征在于，包括：

配置模块，用于按照脚本中每组测试激励组的顺序，通过所述脚本依次读取一个测试激励组，配置读取的测试激励组的验证环境；

仿真模块，用于运行测试激励组对应的仿真程序；

判断模块，用于判断所述仿真程序是否退出；

保存模块，用于若所述仿真程序退出，则将仿真结果保存到对应预定区域。

7.如权利要求6所述的多组激励批量仿真系统，其特征在于，所述配置模块包括：

配置单元，用于为每组测试激励组按照仿真顺序进行编号，并为每组测试激励组设置对应的配置文件；其中，所述配置文件包括仿真工作模式和仿真系统配置；

调取单元，用于脚本按照每组测试激励组的编号，依次调取一个测试激励组，并读取对应的配置文件；

环境配置单元，用于根据读取的配置文件配置测试激励组的验证环境。

8.如权利要求7所述的多组激励批量仿真系统，其特征在于，所述配置单元，包括：

第一配置子单元，用于设置仿真工作模式；

第二配置子单元，用于设置仿真系统配置；

第三配置子单元，用于设置仿真出错退出或仿真异常退出的条件；

第四配置子单元，用于设置仿真程序正常退出的条件。

9.如权利要求8所述的多组激励批量仿真系统，其特征在于，所述保存模块具体用于：通过脚本将仿真结果复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。

10.如权利要求6至8任一项所述的多组激励批量仿真系统，其特征在于，所述保存模块具体用于：

通过脚本将仿真结果以及仿真退出的原因信息复制，根据预定路径保存到对应区域，并以测试激励组的编号进行命名。