CN112380798B - Parameter checking method, device, equipment and storage medium - Google Patents
Parameter checking method, device, equipment and storage medium Download PDFInfo
- Publication number
- CN112380798B CN112380798B CN202011277815.6A CN202011277815A CN112380798B CN 112380798 B CN112380798 B CN 112380798B CN 202011277815 A CN202011277815 A CN 202011277815A CN 112380798 B CN112380798 B CN 112380798B
- Authority
- CN
- China
- Prior art keywords
- target
- parameter
- module
- instantiation
- parameters
- Prior art date
- Legal status (The legal status is an assumption and is not a legal conclusion. Google has not performed a legal analysis and makes no representation as to the accuracy of the status listed.)
- Active
Links
Images
Classifications
-
- G—PHYSICS
- G06—COMPUTING OR CALCULATING; COUNTING
- G06F—ELECTRIC DIGITAL DATA PROCESSING
- G06F30/00—Computer-aided design [CAD]
- G06F30/30—Circuit design
- G06F30/32—Circuit design at the digital level
- G06F30/33—Design verification, e.g. functional simulation or model checking
Landscapes
- Engineering & Computer Science (AREA)
- Computer Hardware Design (AREA)
- Physics & Mathematics (AREA)
- Theoretical Computer Science (AREA)
- Evolutionary Computation (AREA)
- Geometry (AREA)
- General Engineering & Computer Science (AREA)
- General Physics & Mathematics (AREA)
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
本申请提供一种参数检查方法、装置、设备和存储介质,该方法包括:接收检查指令,所述检查指令中携带有待测电路的标识和待测的目标功能标识;根据所述目标功能标识,获取所述目标功能被配置的至少一个目标模块信息,所述目标模块为所述待测电路中的子电路模块;基于所述待测电路的标识解析所述待测电路,从解析结果中提取每个所述目标模块中包括的目标例化单元参数;检查所述目标例化单元参数的正确性,生成检查结果。本申请根据用户配置信息,分析提取的待测电路的结构信息,来生成目标模块的目标参数报告以及检查状态,大幅减少了人工验证的工作量,提升了验证的效率。
The present application provides a parameter inspection method, device, device and storage medium. The method includes: receiving an inspection instruction, wherein the inspection instruction carries an identifier of a circuit to be tested and an identifier of a target function to be tested; according to the target function identifier , obtain at least one target module information in which the target function is configured, and the target module is a sub-circuit module in the circuit to be tested; analyze the circuit to be tested based on the identifier of the circuit to be tested, and from the analysis result Extract the target instantiation unit parameters included in each of the target modules; check the correctness of the target instantiation unit parameters, and generate a check result. The present application analyzes the extracted structural information of the circuit to be tested according to the user configuration information to generate the target parameter report and check status of the target module, which greatly reduces the workload of manual verification and improves the verification efficiency.
Description
技术领域technical field
本申请涉及集成电路技术领域,具体而言,涉及一种参数检查方法、装置、设备和存储介质。The present application relates to the technical field of integrated circuits, and in particular, to a parameter checking method, device, device and storage medium.
背景技术Background technique
SOC(System on Chip,系统级芯片),是由多个具有特定功能的集成电路组合在一个芯片上形成的系统或产品,其中包含完整的硬件系统及其承载的嵌入式软件。SOC (System on Chip, system-on-chip) is a system or product formed by combining multiple integrated circuits with specific functions on a chip, which includes a complete hardware system and its embedded software.
随着信息技术的发展,SOC功能越来越多,规模越来越大,为了SOC设计的复用性,一般会建立一些通用可配置的底层单元,在简化设计的基础上,根据不同的例化参数来满足不同设计的需要。比如对于跨时钟域(Clock Domain Crossing,跨时钟域,以下简称CDC)模块,通常其仿真模型都会提供不同的参数,来实现不同的跨时钟域同步器,例如不同的同步器级数,被同步信号的位宽,以及有没有置位端复位端等等。对于这些通用模块的例化单元而言,不同的配置参数会使其设计形态和功能千差万别。仍然以上述CDC模块为例,例化成2级还是3级同步器,其配套的设计电路是不一样的。然而设计者在使用这些通用模块的时候,并不能时刻都意识到是否正确使用了参数。当通用模块的实例化在整个设计中成千上万到处都是的时候,人力已经无法去确保他们的使用都是正确的了,因此如何确保这些参数的正确性,从而确保设计的正确性,也成了验证人员需要验证的范围。现有的技术中,一般通过人力检阅设计代码,来确保参数的正确性,模块的参数是以例化单元为基础的,同样的模块在不同的例化单元中参数值可能不同,因此需要检阅所有的例化单元,工作量巨大。With the development of information technology, SOC has more and more functions and larger scale. For the reusability of SOC design, some common and configurable bottom units are generally established. On the basis of simplifying the design, according to different examples parameters to meet the needs of different designs. For example, for a clock domain crossing (Clock Domain Crossing, hereinafter referred to as CDC) module, its simulation model usually provides different parameters to realize different cross-clock domain synchronizers, such as different synchronizer stages, to be synchronized The bit width of the signal, and whether there is a set terminal or a reset terminal, etc. For the instantiated units of these common modules, different configuration parameters will make their design forms and functions vary widely. Still taking the above-mentioned CDC module as an example, whether it is instantiated as a 2-stage or 3-stage synchronizer, the supporting design circuit is different. However, when designers use these general-purpose modules, they cannot always be aware of whether the parameters are used correctly. When the instantiation of common modules is everywhere in the entire design, manpower can no longer ensure that their use is correct, so how to ensure the correctness of these parameters, so as to ensure the correctness of the design, It has also become the scope that verifiers need to verify. In the existing technology, the correctness of the parameters is generally ensured by manually reviewing the design code. The parameters of the module are based on the instantiation unit. The same module may have different parameter values in different instantiation units, so it needs to be reviewed. All instantiation units, the workload is huge.
发明内容Contents of the invention
本申请实施例的目的在于提供一种参数检查方法、装置、设备和存储介质,根据用户配置信息,分析提取的待测电路的结构信息,来生成目标模块的目标参数报告以及检查状态,大幅减少了人工验证的工作量,提升了验证的效率。The purpose of the embodiment of the present application is to provide a parameter inspection method, device, device and storage medium, which analyzes and extracts the structure information of the circuit to be tested according to the user configuration information to generate the target parameter report and inspection status of the target module, greatly reducing the The workload of manual verification is reduced, and the efficiency of verification is improved.
本申请实施例第一方面提供了一种参数检查方法,包括:接收检查指令,所述检查指令中携带有待测电路的标识和待测的目标功能标识;根据所述目标功能标识,获取所述目标功能被配置的至少一个目标模块信息,所述目标模块为所述待测电路中的子电路模块;基于所述待测电路的标识解析所述待测电路,从解析结果中提取每个所述目标模块中包括的目标例化单元参数;检查所述目标例化单元参数的正确性,生成检查结果。The first aspect of the embodiment of the present application provides a parameter inspection method, including: receiving an inspection instruction, the inspection instruction carries the identifier of the circuit to be tested and the identifier of the target function to be tested; according to the identifier of the target function, obtain the Information about at least one target module configured with the target function, the target module being a sub-circuit module in the circuit to be tested; analyzing the circuit to be tested based on the identification of the circuit to be tested, and extracting each The target instantiation unit parameter included in the target module; checking the correctness of the target instantiation unit parameter, and generating a check result.
于一实施例中,所述基于所述待测电路的标识解析所述待测电路,从解析结果中提取每个所述目标模块包括的目标例化单元参数,包括:基于所述待测电路的标识解析所述待测电路,提取所述待测电路的每个例化单元的例化参数;针对每个所述目标模块,遍历所述待测电路的每个所述例化单元的例化参数,选取所有属于所述目标模块的目标例化单元,并提取所述目标例化单元参数。In one embodiment, analyzing the circuit under test based on the identification of the circuit under test, and extracting the target instantiation unit parameters included in each target module from the analysis result includes: based on the circuit under test Parsing the circuit under test according to the identification of the test circuit, extracting the instantiation parameters of each instantiation unit of the test circuit; for each target module, traversing the instantiation parameters of each instantiation unit of the test circuit parameters, select all target instantiation units belonging to the target module, and extract parameters of the target instantiation units.
于一实施例中,所述检查所述目标例化单元参数的正确性,生成检查结果,包括:分别获取每个所述目标模块被配置的目标参数;针对每个所述目标模块,分别将每个所述目标例化单元参数与所述目标参数比对,生成参数比对结果,所述检查结果为所述参数比对结果。In one embodiment, the checking the correctness of the target instantiation unit parameters and generating the checking result includes: separately obtaining the target parameters configured for each of the target modules; for each of the target modules, respectively Each target instantiated unit parameter is compared with the target parameter to generate a parameter comparison result, and the checking result is the parameter comparison result.
于一实施例中,所述针对每个所述目标模块,分别将每个所述目标例化单元参数与所述目标参数比对,生成参数比对结果,所述检查结果为所述参数比对结果,包括:针对每个所述目标模块,分别判断每个所述目标例化单元参数是否与所述目标参数相同,若相同,所述检查结果中记录所述目标例化单元通过参数检查,否则,所述检查结果中记录所述目标例化单元未通过参数检查。In one embodiment, for each of the target modules, each target instantiation unit parameter is compared with the target parameter to generate a parameter comparison result, and the check result is the parameter comparison The results include: for each of the target modules, separately judge whether the parameters of each of the target instantiation units are the same as the target parameters, and if they are the same, record in the check result that the target instantiation unit passes the parameter check , otherwise, it is recorded in the check result that the target instantiation unit fails the parameter check.
于一实施例中,在所述检查所述目标例化单元参数的正确性,生成检查结果之后,还包括:将每个所述目标例化单元的参数检查结果按照所属的所述目标模块进行分组存储。In one embodiment, after checking the correctness of the parameters of the target instantiation unit and generating the check result, it further includes: performing the parameter check result of each target instantiation unit according to the target module to which it belongs Store in groups.
于一实施例中,还包括:将每个所述目标例化单元的所述目标参数和参数检查结果按照所属的所述目标功能进行分组存储,并生成每个所述目标功能的参数报告。In an embodiment, the method further includes: grouping and storing the target parameters and parameter inspection results of each target instantiation unit according to the target function to which it belongs, and generating a parameter report for each target function.
于一实施例中,还包括:基于所述参数报告,计算每个所述目标功能的参数检查通过率,并输出提示信息。In an embodiment, the method further includes: calculating a parameter inspection passing rate of each target function based on the parameter report, and outputting prompt information.
本申请实施例第二方面提供了一种参数检查装置,包括:接收模块,用于接收检查指令,所述检查指令中携带有待测电路的标识和待测的目标功能标识;获取模块,用于根据所述目标功能标识,获取所述目标功能被配置的至少一个目标模块信息,所述目标模块为所述待测电路中的子电路模块;解析模块,用于基于所述待测电路的标识解析所述待测电路,从解析结果中提取每个所述目标模块中包括的目标例化单元参数;检查模块,用于检查所述目标例化单元参数的正确性,生成检查结果。The second aspect of the embodiment of the present application provides a parameter inspection device, including: a receiving module, configured to receive an inspection instruction, the inspection instruction carrying the identifier of the circuit to be tested and the identifier of the target function to be tested; Obtaining at least one target module information on which the target function is configured according to the target function identifier, the target module is a sub-circuit module in the circuit under test; an analysis module is used for Identifying and analyzing the circuit to be tested, extracting target instantiation unit parameters included in each target module from the analysis results; a check module, used to check the correctness of the target instantiation unit parameters, and generate a check result.
于一实施例中,所述解析模块用于:基于所述待测电路的标识解析所述待测电路,提取所述待测电路的每个例化单元的例化参数;针对每个所述目标模块,遍历所述待测电路的每个所述例化单元的例化参数,选取所有属于所述目标模块的目标例化单元,并提取所述目标例化单元参数。In one embodiment, the parsing module is configured to: parse the circuit under test based on the identification of the circuit under test, and extract instantiation parameters of each instantiation unit of the circuit under test; The target module traverses the instantiation parameters of each instantiation unit of the circuit under test, selects all target instantiation units belonging to the target module, and extracts the target instantiation unit parameters.
于一实施例中,所述检查模块用于:分别获取每个所述目标模块被配置的目标参数;针对每个所述目标模块,分别将每个所述目标例化单元参数与所述目标参数比对,生成参数比对结果,所述检查结果为所述参数比对结果。In one embodiment, the checking module is used to: separately obtain the configured target parameters of each of the target modules; The parameter comparison is to generate a parameter comparison result, and the checking result is the parameter comparison result.
于一实施例中,所述针对每个所述目标模块,分别将每个所述目标例化单元参数与所述目标参数比对,生成参数比对结果,所述检查结果为所述参数比对结果,包括:针对每个所述目标模块,分别判断每个所述目标例化单元参数是否与所述目标参数相同,若相同,所述检查结果中记录所述目标例化单元通过参数检查,否则,所述检查结果中记录所述目标例化单元未通过参数检查。In one embodiment, for each of the target modules, each target instantiation unit parameter is compared with the target parameter to generate a parameter comparison result, and the check result is the parameter comparison The results include: for each of the target modules, separately judge whether the parameters of each of the target instantiation units are the same as the target parameters, and if they are the same, record in the check result that the target instantiation unit passes the parameter check , otherwise, it is recorded in the check result that the target instantiation unit fails the parameter check.
于一实施例中,还包括:存储模块,用于在所述检查所述目标例化单元参数的正确性,生成检查结果之后,将每个所述目标例化单元的参数检查结果按照所属的所述目标模块进行分组存储。In an embodiment, it further includes: a storage module, configured to check the correctness of the parameters of the target instantiation unit and generate the check result, and store the parameter check result of each target instantiation unit according to the corresponding The target modules are grouped and stored.
于一实施例中,还包括:生成模块,用于将每个所述目标例化单元的所述目标参数和参数检查结果按照所属的所述目标功能进行分组存储,并生成每个所述目标功能的参数报告。In one embodiment, it further includes: a generating module, configured to group and store the target parameters and parameter inspection results of each target instantiation unit according to the target function to which it belongs, and generate each target Function's parameter report.
于一实施例中,还包括:输出模块,用于基于所述参数报告,计算每个所述目标功能的参数检查通过率,并输出提示信息。In one embodiment, it further includes: an output module, configured to calculate the parameter inspection pass rate of each target function based on the parameter report, and output prompt information.
本申请实施例第三方面提供了一种电子设备,包括:存储器,用以存储计算机程序;处理器,用以执行本申请实施例第三方面及其任一实施例的方法,以检查待测电路中目标例化单元参数的正确性。The third aspect of the embodiment of the present application provides an electronic device, including: a memory, used to store computer programs; a processor, used to execute the method of the third aspect of the embodiment of the present application and any embodiment thereof, to check the The correctness of the parameters of the target instantiation unit in the circuit.
本申请实施例第四方面提供了一种非暂态电子设备可读存储介质,包括:程序,当其藉由电子设备运行时,使得所述电子设备执行本申请实施例第一方面及其任一实施例的方法。The fourth aspect of the embodiment of the present application provides a non-transitory electronic device-readable storage medium, including: a program that, when run by the electronic device, enables the electronic device to execute the first aspect of the embodiment of the present application and any other A method of an embodiment.
本申请提供的参数检查方法、装置、设备和存储介质,通过对已编译的待测电路进行分析,根据用户的查询指令以及配置文件,从待测电路的结构信息中提取目标模块所对应的所有例化单元的参数,并进行检查,产生检查结果,以供验证人员参考,大幅缩减了参数检查的工作量,提升了参数验证的效率。The parameter inspection method, device, equipment and storage medium provided by this application extract all parameters corresponding to the target module from the structural information of the circuit to be tested by analyzing the compiled circuit to be tested and according to the user's query instructions and configuration files. The parameters of the instantiated unit are checked, and the check results are generated for reference by the verifier, which greatly reduces the workload of parameter checking and improves the efficiency of parameter verification.
附图说明Description of drawings
为了更清楚地说明本申请实施例的技术方案,下面将对本申请实施例中所需要使用的附图作简单地介绍,应当理解,以下附图仅示出了本申请的某些实施例,因此不应被看作是对范围的限定,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他相关的附图。In order to more clearly illustrate the technical solutions of the embodiments of the present application, the accompanying drawings that need to be used in the embodiments of the present application will be briefly introduced below. It should be understood that the following drawings only show some embodiments of the present application, so It should not be regarded as a limitation on the scope, and those skilled in the art can also obtain other related drawings according to these drawings without creative work.
图1为本申请一实施例的电子设备的结构示意图;FIG. 1 is a schematic structural diagram of an electronic device according to an embodiment of the present application;
图2为本申请一实施例的参数检查方法的流程示意图;FIG. 2 is a schematic flowchart of a parameter checking method according to an embodiment of the present application;
图3为本申请一实施例的参数检查方法的流程示意图;FIG. 3 is a schematic flowchart of a parameter checking method according to an embodiment of the present application;
图4为本申请一实施例的参数检查方法的流程示意图;FIG. 4 is a schematic flowchart of a parameter checking method according to an embodiment of the present application;
图5为本申请一实施例的参数检查装置的结构示意图。FIG. 5 is a schematic structural diagram of a parameter inspection device according to an embodiment of the present application.
具体实施方式Detailed ways
下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行描述。在本申请的描述中,术语“第一”、“第二”等仅用于区分描述,而不能理解为指示或暗示相对重要性。The technical solutions in the embodiments of the present application will be described below with reference to the drawings in the embodiments of the present application. In the description of the present application, the terms "first", "second" and the like are only used for distinguishing descriptions, and cannot be understood as indicating or implying relative importance.
如图1所示,本实施例提供一种电子设备1,包括:至少一个处理器11和存储器12,图1中以一个处理器为例。处理器11和存储器12通过总线10连接。存储器12存储有可被处理器11执行的指令,指令被处理器11执行,以使电子设备1可执行下述的实施例中方法的全部或部分流程,以检查待测电路中目标例化单元参数的正确性。As shown in FIG. 1 , this embodiment provides an
于一实施例中,电子设备1可以是手机、平板电脑、笔记本电脑、台式计算机等设备。In one embodiment, the
请参看图2,其为本申请一实施例的参数检查方法,该方法可由图1所示的电子设备1来执行,并可以应用于集成电路的参数检查场景中,以验证待测电路中目标例化单元参数的正确性。该方法包括如下步骤:Please refer to FIG. 2, which is a parameter inspection method of an embodiment of the present application. This method can be executed by the
步骤201:接收检查指令,检查指令中携带有待测电路的标识和待测的目标功能标识。Step 201: Receive an inspection instruction, which carries the identification of the circuit to be tested and the identification of the target function to be tested.
在本步骤中,在实际场景中,用户可以指定待检测的电路模块,即针对某一个需要进行参数验证的待测电路触发检查指令,检查指令中至少可以包括待测电路的标识和待测的目标功能标识。In this step, in an actual scenario, the user can specify the circuit module to be tested, that is, trigger an inspection instruction for a certain circuit to be tested that needs parameter verification, and the inspection instruction can at least include the identification of the circuit to be tested and the Target feature ID.
在实际场景中,由于设计的电路模块可能包含有多个例化参数,而这些例化参数有可能对应于不同的功能,因此,可以将需要检查的参数按照不同的功能模型进行分类,以便于检查。以前述CDC模块为待测电路为例,比如参数TYPE对应于同步器形态,参数MetaEn对应于亚稳态建模使能,参数CheckEn对应于检查器的开关,可以将其分为不同的目标功能检查目标,比如CDC Meta和CDC Check等。In actual scenarios, since the designed circuit module may contain multiple instantiation parameters, and these instantiation parameters may correspond to different functions, the parameters to be checked can be classified according to different function models, so that examine. Take the aforementioned CDC module as the circuit to be tested as an example. For example, the parameter TYPE corresponds to the form of the synchronizer, the parameter MetaEn corresponds to the metastable modeling enable, and the parameter CheckEn corresponds to the switch of the checker, which can be divided into different target functions Check targets, such as CDC Meta and CDC Check, etc.
可以开放配置文件接口,获取用户提供的检查指令和配置文件,配置文件中可以包括待测的目标功能(Model项)的标识,对应的底层子电路模块名(Module项)和目标参数(Parameter项),如表1所示:The configuration file interface can be opened to obtain the inspection instructions and configuration files provided by the user. The configuration file can include the identification of the target function (Model item) to be tested, the corresponding underlying sub-circuit module name (Module item) and target parameters (Parameter item ),As shown in Table 1:
表1.配置文件Table 1. Configuration files
其中,feature[i]表示第i项需要检查的目标功能,比如CDC Meta和CDC Check等,module[i][0]…module[i][Ni]表示被检查的子电路模块,后续的parameter setting则表示该子电路模块需要支持该功能时所需要的参数配置值,或者配置表达式。该配置文件可以由用户维护,用户可以根据实际的需求对每一条feature进行删减,可以方便的扩展需要检查的项。Among them, feature[i] indicates the target function that needs to be checked for item i, such as CDC Meta and CDC Check, etc., module[i][0]...module[i][Ni] indicates the sub-circuit module to be checked, and the subsequent parameter setting indicates the parameter configuration value or configuration expression required when the sub-circuit module needs to support this function. The configuration file can be maintained by the user, and the user can delete each feature according to actual needs, and can easily expand the items to be checked.
于一实施例中,以CDC模块作为待测电路为例,当需要对CDC模块进行参数验证时,可以由用户触发检查指令,实时接收检查指令。In one embodiment, taking the CDC module as the circuit to be tested as an example, when the parameters of the CDC module need to be verified, the user can trigger the inspection instruction and receive the inspection instruction in real time.
于一实施例中,以CDC模块参数进行检查为例,检查指令中待测电路的标识可以是CDC,检查指令中携带的信息可以以配置文件的形式表示,如表2所示:In one embodiment, taking CDC module parameter inspection as an example, the identification of the circuit to be tested in the inspection instruction can be CDC, and the information carried in the inspection instruction can be expressed in the form of a configuration file, as shown in Table 2:
表2.检查指令的配置文件Table 2. Configuration files for check directives
在表2中,用户指明了需要检查CDC模块的两项待测的目标功能,待测的目标功能标识分别为CDC Meta和CDC Check。其中,每一项目标功能都可以有对应的目标模块信息,以及配合相应的参数。In Table 2, the user specifies two target functions to be tested that need to be checked in the CDC module, and the target functions to be tested are identified as CDC Meta and CDC Check respectively. Wherein, each target function may have corresponding target module information and corresponding parameters.
步骤202:根据目标功能标识,获取目标功能被配置的至少一个目标模块信息,目标模块为待测电路中的子电路模块。Step 202: Obtain at least one target module information on which the target function is configured according to the target function identifier, where the target module is a sub-circuit module in the circuit to be tested.
在本步骤中,逐项解析获取到的用户配置文件(如表2),得出对应于每一项需要检查的目标功能的目标模块及其参数设置。目标模块为待测电路中的子电路模块,一个目标功能可能对应一个或多个目标模块,比如表2中,目标功能CDC Meta对应的一个目标模块cdc_model_rand,目标功能CDC Check对应两个目标模块cdc_model_ext和cdc_model_rand。In this step, the acquired user configuration files (such as Table 2) are analyzed item by item to obtain the target module and its parameter settings corresponding to each target function to be checked. The target module is a sub-circuit module in the circuit to be tested. One target function may correspond to one or more target modules. For example, in Table 2, the target function CDC Meta corresponds to a target module cdc_model_rand, and the target function CDC Check corresponds to two target modules cdc_model_ext and cdc_model_rand.
步骤203:基于待测电路的标识解析待测电路,从解析结果中提取每个目标模块中包括的目标例化单元参数。Step 203: Analyze the circuit under test based on the identification of the circuit under test, and extract the target instantiation unit parameters included in each target module from the analysis result.
在本步骤中,假设待测电路标识CDC,则待测电路为跨时钟域模块,对被检查的待测电路进行分析,提取需要的电路结构信息。比如可以通过Verdi(Synopsys的仿真分析工具)的NPI(Native Program Interface,本机程序接口)提供的接口来解析待测电路,根据电路设计输入来产生包含电路层次结构、子电路模块名和例化参数等信息,然后从解析结果中提取每个目标模块中包括的目标例化单元参数。In this step, assuming that the circuit to be tested is marked with CDC, the circuit to be tested is a cross-clock domain module, and the checked circuit to be tested is analyzed to extract the required circuit structure information. For example, the circuit to be tested can be analyzed through the interface provided by the NPI (Native Program Interface) of Verdi (Synopsys' simulation analysis tool), and the circuit hierarchy, sub-circuit module name and instantiation parameters can be generated according to the circuit design input. and other information, and then extract the target instantiation unit parameters included in each target module from the parsing result.
步骤204:检查目标例化单元参数的正确性,生成检查结果。Step 204: Check the correctness of the parameters of the target instantiation unit, and generate a check result.
在本步骤中,目标例化单元参数是基于用户的配置文件确定的检查项,对于一个待测电路,仅对目标例化单元参数的正确性进行检查,降低全盘检查整个待测电路带来的巨大工作量,提高参数验证效率。In this step, the parameters of the target instantiated unit are check items determined based on the user’s configuration file. For a circuit to be tested, only the correctness of the parameters of the target instantiated unit is checked, reducing the cost of a comprehensive inspection of the entire circuit to be tested. Huge workload, improve parameter verification efficiency.
上述参数检查方法,通过对已编译的待测电路进行分析,根据用户的查询指令以及配置文件,从待测电路的结构信息中提取目标模块所对应的所有例化单元的参数,并进行检查,产生检查结果,以供验证人员参考,大幅缩减了参数检查的工作量,提升了参数验证的效率。The above parameter inspection method extracts the parameters of all instantiated units corresponding to the target module from the structural information of the circuit under test according to the user's query instructions and configuration files by analyzing the compiled circuit to be tested, and performs inspection. The inspection results are generated for reference by verification personnel, which greatly reduces the workload of parameter inspection and improves the efficiency of parameter verification.
请参看图3,其为本申请一实施例的参数检查方法,该方法可由图1所示的电子设备1来执行,并可以应用于集成电路的参数检查场景中,以验证待测电路中目标例化单元参数的正确性。该方法包括如下步骤:Please refer to FIG. 3, which is a parameter inspection method according to an embodiment of the present application. This method can be executed by the
步骤301:接收检查指令,检查指令中携带有待测电路的标识和待测的目标功能标识。详细参见上述实施例中对步骤201的描述。Step 301: Receive an inspection instruction, which carries the identification of the circuit to be tested and the identification of the target function to be tested. For details, refer to the description of
步骤302:根据目标功能标识,获取目标功能被配置的至少一个目标模块信息,目标模块为待测电路中的子电路模块。详细参见上述实施例中对步骤202的描述。Step 302: Obtain at least one target module information on which the target function is configured according to the target function identifier, where the target module is a sub-circuit module in the circuit to be tested. For details, refer to the description of
步骤303:基于待测电路的标识解析待测电路,提取待测电路的每个例化单元的例化参数。Step 303: Analyze the circuit under test based on the identification of the circuit under test, and extract instantiation parameters of each instantiated unit of the circuit under test.
在本步骤中,比如可以通过Verdi的NPI提供的接口来解析待测电路,根据电路设计输入来产生包含电路层次结构、子电路模块名和例化参数的中间文件,如表3所示:In this step, for example, the circuit to be tested can be analyzed through the interface provided by Verdi's NPI, and an intermediate file including circuit hierarchy, sub-circuit module name and instantiation parameters can be generated according to the circuit design input, as shown in Table 3:
表3.Verdi提取的电路结构设计信息Table 3. Circuit structure design information extracted by Verdi
其中,Hierarchy_Path[i]表征第i个例化单元的层次结构,Module_Name[i]表征第i个例化单元所对应的子电路模块,由于该例化单元没有例化参数,因此随后即为Hierarchy_Path[i+1]第i+1个例化单元的层次结构。Hierarchy_Path[j]表征第j个例化单元的层次结构,Module_Name[j]表征第j个例化单元所对应的子电路模块,随后的Parameter_List[j]表征第j个例化单元存在的例化参数。Among them, Hierarchy_Path[i] represents the hierarchical structure of the i-th instantiation unit, and Module_Name[i] represents the sub-circuit module corresponding to the i-th instantiation unit. Since this instantiation unit has no instantiation parameters, it is Hierarchy_Path [i+1] Hierarchy of the i+1th instantiated unit. Hierarchy_Path[j] represents the hierarchical structure of the jth instantiation unit, Module_Name[j] represents the subcircuit module corresponding to the jth instantiation unit, and the subsequent Parameter_List[j] represents the instantiation of the jth instantiation unit parameter.
于一实施例中,单个例化单元的例化参数可以如表4所示:In one embodiment, the instantiation parameters of a single instantiation unit may be as shown in Table 4:
表4.第j个例化单元的例化参数信息Table 4. Instantiation parameter information of the jth instantiation unit
其中,Parameter[j][k]表示第j个例化单元的第k个例化参数,Value[j][k]表示第j个例化单元的第k个例化参数的值,Nj表示第j个例化单元一共有Nj个例化参数。Among them, Parameter[j][k] represents the k-th instantiation parameter of the j-th instantiation unit, Value[j][k] represents the value of the k-th instantiation parameter of the j-th instantiation unit, and Nj represents The jth instantiation unit has Nj instantiation parameters in total.
步骤304:针对每个目标模块,遍历待测电路的每个例化单元的例化参数,选取所有属于目标模块的目标例化单元,并提取目标例化单元参数。Step 304: For each target module, traverse the instantiation parameters of each instantiation unit of the circuit under test, select all target instantiation units belonging to the target module, and extract target instantiation unit parameters.
在本步骤中,一个目标功能可能对应多个目标模块,对于每个目标模块,遍历步骤303中解析出的待测电路的结构信息,选取所有属于目标模块的目标例化单元,并提取目标例化单元参数。In this step, one target function may correspond to multiple target modules. For each target module, traverse the structure information of the circuit to be tested analyzed in
步骤305:分别获取每个目标模块被配置的目标参数。Step 305: Obtain the configured target parameters of each target module.
在本步骤中,目标参数是预先设定的标准参数,只有待测电路中对应的例化单元的例化参数符合目标参数时,才算该例化单元通过参数验证,可以基于实际需求设定目标参数的值。In this step, the target parameter is a preset standard parameter. Only when the instantiation parameter of the corresponding instantiation unit in the circuit to be tested meets the target parameter, the instantiation unit is considered to have passed the parameter verification, which can be set based on actual needs. The value of the target parameter.
以表2所示为例,比如为了实现目标功能CDC Meta,其目标模块cdc_model_rand所对应的所有例化单元必须把参数MetaEn配置为1。比如为了实现目标功能CDC Check,其目标模块cdc_model_ext对应的所有例化单元必须把参数AssertEn配置为1。比如为了实现目标功能CDCCheck,其目标模块cdc_model_rand对应的所有例化单元必须把参数CheckEn配置为1。Taking Table 2 as an example, for example, in order to realize the target function CDC Meta, all instantiation units corresponding to the target module cdc_model_rand must configure the parameter MetaEn as 1. For example, in order to realize the target function CDC Check, all instantiation units corresponding to the target module cdc_model_ext must configure the parameter AssertEn to 1. For example, in order to realize the target function CDCCheck, all instantiation units corresponding to the target module cdc_model_rand must configure the parameter CheckEn as 1.
步骤306:针对每个目标模块,分别将每个目标例化单元参数与目标参数比对,生成参数比对结果,检查结果为参数比对结果。Step 306: For each target module, compare each target instantiation unit parameter with the target parameter, generate a parameter comparison result, and check the result as the parameter comparison result.
在本步骤中,目标参数是预先设定的标准参数,通过将每个目标例化单元参数与其对应的目标参数一一进行比对,得到各自的比对结果作为各自对应的检查结果。In this step, the target parameter is a preset standard parameter, and each target instantiation unit parameter is compared with its corresponding target parameter one by one to obtain respective comparison results as respective corresponding inspection results.
于一实施例中,针对每个目标模块,分别判断每个目标例化单元参数是否与目标参数相同,若相同,检查结果中记录目标例化单元通过参数检查,否则,检查结果中记录目标例化单元未通过参数检查。In one embodiment, for each target module, it is judged whether the parameters of each target instantiation unit are the same as the target parameters. If they are the same, the check result records that the target instantiation unit passes the parameter check; otherwise, the check result records the target instance The chemical unit failed the parameter check.
于一实施例中,对于某一设计模块的一个例化单元,其参数比对结果可以存储在一个如表5所示的哈希数组中:In one embodiment, for an instantiation unit of a certain design module, its parameter comparison result can be stored in a hash array as shown in Table 5:
表5.一个例化单元的参数比对结果Table 5. Parameter comparison results of an instantiated unit
其中,键hier的值表示从设计信息中提取的层次结构路径。由于可能存在多个参数,因此参数部分可以采用二维哈希数组来表示,第一维索引为Params,以与Hier和Status区别,第二维的键Params[0]到Params[N]表示根据配置文件从设计信息中提取的N个目标参数,键Params[0]到Params[N]的值表示这些目标参数的值。feature[0]status到feature[M]status表示根据配置文件的目标参数设置进行检查后的结果,如果与预期相符则为PASS(通过),否则为FAIL(未通过)。Among them, the value of the key hier represents the hierarchical structure path extracted from the design information. Since there may be multiple parameters, the parameter part can be represented by a two-dimensional hash array. The index of the first dimension is Params to distinguish it from Hier and Status. The keys of the second dimension, Params[0] to Params[N], represent The configuration file extracts N target parameters from the design information, and the values of keys Params[0] to Params[N] represent the values of these target parameters. feature[0]status to feature[M]status indicate the result of checking according to the target parameter settings of the configuration file. If it matches the expectation, it is PASS (passed), otherwise it is FAIL (failed).
比如,以目标功能CDC Meta为例,对例化单元hierarchy 0进行解析,例化参数MetaEn为1,满足表2中的配置要求,检查结果为PASS,最终状态可以标记为Done,对于例化单元hierarchy N,其例化参数MetaEn为0,不满足表2中的配置要求,检查结果为FAIL。For example, taking the target function CDC Meta as an example, analyze the instantiation unit hierarchy 0, the instantiation parameter MetaEn is 1, which meets the configuration requirements in Table 2, the check result is PASS, and the final status can be marked as Done. For the instantiation unit hierarchy N, whose instantiation parameter MetaEn is 0, does not meet the configuration requirements in Table 2, and the check result is FAIL.
步骤307:将每个目标例化单元的参数检查结果按照所属的目标模块进行分组存储。Step 307: Group and store the parameter checking results of each target instantiation unit according to the target modules it belongs to.
在本步骤中,一个目标模块可以对应一个或多个目标例化单元,每一个目标例化单元的参数比对信息可以由类似表5所示的哈希数组表示,简称为sub_hash,当遍历完整个待测电路的结构信息之后,就会产生一个包含所有目标模块例化单元的参数比对信息的哈希数组,称之为实例哈希,其结构如表6所示:In this step, one target module can correspond to one or more target instantiation units, and the parameter comparison information of each target instantiation unit can be represented by a hash array similar to that shown in Table 5, referred to as sub_hash. After the structure information of the entire circuit to be tested, a hash array containing parameter comparison information of all target module instantiation units will be generated, which is called instance hash, and its structure is shown in Table 6:
表6.实例哈希-所有模块例化单元的参数比对信息Table 6. Instance hash - parameter comparison information of all module instantiation units
其中,module[i]表示第i个目标模块,Mi表示该模块一共有Mi个例化单元,每个例化单元的信息存储在如表5所示的哈希数组中。Wherein, module[i] indicates the i-th target module, and Mi indicates that the module has a total of Mi instantiation units, and the information of each instantiation unit is stored in the hash array shown in Table 5.
步骤308:将每个目标例化单元的目标参数和参数检查结果按照所属的目标功能进行分组存储,并生成每个目标功能的参数报告。Step 308: Store the target parameters and parameter inspection results of each target instantiation unit in groups according to the target functions they belong to, and generate a parameter report for each target function.
在本步骤中,可以根据表6中实例哈希的信息,生成Excel表格形式的参数报告,该参数报告包括不同目标功能的不同目标模块的参数报告。具体地,以CDC模块作为待测电路为例,其某一目标功能的某一目标模块的参数报告可以如表7所示:In this step, a parameter report in the form of an Excel table can be generated according to the information of the example hash in Table 6, and the parameter report includes parameter reports of different target modules with different target functions. Specifically, taking the CDC module as an example of the circuit to be tested, the parameter report of a certain target module of a certain target function can be shown in Table 7:
表7.CDC模块的某个目标功能的参数报告Table 7. Parameter report for a target function of the CDC module
Progress xxxProgress xxx
其中,除了目标参数信息(Parameter[0]…Parameter[M])之外,还包含了每个目标例化单元的检查结果信息(Check Status),即如果符合配置文件中定义的目标参数设置即为PASS,同时最终的Check Status会被自动标记为Done,如果不符合配置文件中定义的目标参数设置,Check Status为FAIL。Among them, in addition to the target parameter information (Parameter[0]...Parameter[M]), it also contains the check result information (Check Status) of each target instantiation unit, that is, if it conforms to the target parameter settings defined in the configuration file, then It is PASS, and the final Check Status will be automatically marked as Done. If it does not meet the target parameter settings defined in the configuration file, Check Status will be FAIL.
步骤309:基于参数报告,计算每个目标功能的参数检查通过率,并输出提示信息。Step 309: Based on the parameter report, calculate the pass rate of parameter inspection for each target function, and output prompt information.
在本步骤中,参数自动检查的结果中可能存在未能通过检查的部分,这部分可以借助人工检查,因此可以基于参数报告,计算每个目标功能的参数检查通过率,并提示给用户,以供用户参考哪些部分需要人工检查。In this step, there may be parts that failed the inspection in the results of the automatic parameter inspection, which can be manually inspected, so based on the parameter report, the parameter inspection pass rate of each target function can be calculated and prompted to the user. For user's reference which parts need to be checked manually.
比如表7中,表首Progress部分,为通过公式自动统计的Status列的完成率,用以表征参数检查的进度。其中,Check Status为FAIL的例化单元需要可以借助人工检查,如果人工完成了所有FAIL单元的检阅,填上Status则可以达到100%的完成率。For example, in Table 7, the Progress part at the top of the table is the completion rate of the Status column automatically counted by the formula, which is used to represent the progress of the parameter inspection. Among them, the instantiated unit whose Check Status is FAIL needs manual inspection. If the inspection of all FAIL units is completed manually, filling in the Status can achieve a 100% completion rate.
于一实施例中,在生成表6所示的参数报告时,还可以同时读取生成并完成参数检查报告历史记录,将已经完成参数检查部分的状态合并到新的参数报告中,就可以复用历史参数报告,因此可以只需要专注于当前对待测电路改动的部分,提升效率。In one embodiment, when the parameter report shown in Table 6 is generated, the history record of the generated and completed parameter inspection report can also be read at the same time, and the status of the completed parameter inspection part can be merged into the new parameter report, and then it can be repeated. Use the historical parameter report, so you can only focus on the current part of the circuit to be tested to improve efficiency.
于一实施例中,以表2所示的用户对待测电路CDC模块的配置文件为例,其参数报告可以如表8所示:In one embodiment, taking the configuration file of the CDC module of the circuit to be tested by the user shown in Table 2 as an example, its parameter report can be as shown in Table 8:
表8.对应于表7的CDC模块的参数报告Table 8. Parameter report for the CDC module corresponding to Table 7
Progress 80.2%Progress 80.2%
其中,对hierarchy 0所对应的目标例化单元进行解析,例化参数MetaEn为1,满足表2中的配置要求,检查状态为PASS,最终状态标记为Done。对于目标例化单元hierarchyN,其例化参数MetaEn为0,不满足表2中的配置要求,检查状态为FAIL,其可以由人工检阅。表首的Progress为80.2%,表示检查状态为PASS的目标例化单元占了总数的80.2%,其余项为FAIL,可以逐一进行人工检查,并基于检查结果填入Status,检查人员只需要关注Progress项即可对检查进度进行追踪。Among them, the target instantiation unit corresponding to hierarchy 0 is analyzed, the instantiation parameter MetaEn is 1, which meets the configuration requirements in Table 2, the check status is PASS, and the final status is marked as Done. For the target instantiation unit hierarchyN, its instantiation parameter MetaEn is 0, which does not meet the configuration requirements in Table 2, and the inspection status is FAIL, which can be checked manually. The Progress at the head of the table is 80.2%, which means that the target instantiation units whose inspection status is PASS account for 80.2% of the total, and the rest are FAIL, which can be manually inspected one by one and filled in Status based on the inspection results. The inspector only needs to pay attention to Progress item to track the progress of the inspection.
如图4所示,其为本申请一实施例的参数检查方法,该方法可由图1所示的电子设备1来执行,并可以应用于集成电路的参数检查场景中,以验证待测电路中目标例化单元参数的正确性。该方法包括如下步骤:As shown in FIG. 4, it is a parameter inspection method of an embodiment of the present application. This method can be executed by the
步骤401:读取的配置文件。Step 401: Read the configuration file.
步骤402:读取待测电路的结构信息,Step 402: read the structural information of the circuit to be tested,
步骤403:判断结构信息中每一个例化单元是否对应着被配置的需要检查的目标模块。若是,进入步骤404,否则进入步骤408。Step 403: Determine whether each instantiated unit in the structure information corresponds to the configured target module that needs to be checked. If yes, go to step 404 , otherwise go to step 408 .
步骤404:进一步获取其对应的实际参数。Step 404: Further obtain the corresponding actual parameters.
步骤405:根据用户配置提取目标参数来验证实际参数的正确性。Step 405: Extract target parameters according to user configuration to verify correctness of actual parameters.
步骤406:将检查结果按照表6存储,详细参见上述如图3所示的实施例中的描述。Step 406: Store the inspection results according to Table 6. For details, refer to the description in the embodiment shown in FIG. 3 above.
步骤407:判断是否还有未处理的结构信息,如果有,进入步骤408,否则进入步骤409。Step 407: Determine whether there is unprocessed structure information, if yes, go to step 408, otherwise go to step 409.
步骤408:读取下一条结构信息,返回步骤403。Step 408: Read the next piece of structural information, return to step 403.
步骤409:生成每项目标功能的参数报告。Step 409: Generate a parameter report for each target function.
请参看图5,其为本申请一实施例的参数检查装置500,该装置可应用于图1所示的电子设备1,并可以应用于集成电路的参数检查场景中,以验证待测电路中目标例化单元参数的正确性。该装置包括:接收模块501、获取模块502、解析模块503和检查模块504,各个模块的原理关系如下:Please refer to FIG. 5, which is a
接收模块501,用于接收检查指令,检查指令中携带有待测电路的标识和待测的目标功能标识。详细参见上述实施例中对步骤201的描述。The receiving
获取模块502,用于根据目标功能标识,获取目标功能被配置的至少一个目标模块信息,目标模块为待测电路中的子电路模块。详细参见上述实施例中对步骤202的描述。The acquiring
解析模块503,用于基于待测电路的标识解析待测电路,从解析结果中提取每个目标模块中包括的目标例化单元参数。详细参见上述实施例中对步骤203的描述。The
检查模块504,用于检查目标例化单元参数的正确性,生成检查结果。详细参见上述实施例中对步骤204的描述。The
于一实施例中,解析模块503用于:基于待测电路的标识解析待测电路,提取待测电路的每个例化单元的例化参数。针对每个目标模块,遍历待测电路的每个例化单元的例化参数,选取所有属于目标模块的目标例化单元,并提取目标例化单元参数。详细参见上述实施例中对步骤303至步骤304的描述。In one embodiment, the
于一实施例中,检查模块504用于:分别获取每个目标模块被配置的目标参数。针对每个目标模块,分别将每个目标例化单元参数与目标参数比对,生成参数比对结果,检查结果为参数比对结果。详细参见上述实施例中对步骤305至步骤306的描述。In one embodiment, the
于一实施例中,针对每个目标模块,分别将每个目标例化单元参数与目标参数比对,生成参数比对结果,检查结果为参数比对结果,包括:针对每个目标模块,分别判断每个目标例化单元参数是否与目标参数相同,若相同,检查结果中记录目标例化单元通过参数检查,否则,检查结果中记录目标例化单元未通过参数检查。详细参见上述实施例中对步骤306的描述。In one embodiment, for each target module, each target instantiation unit parameter is compared with the target parameter to generate a parameter comparison result, and the checking result is the parameter comparison result, including: for each target module, respectively Determine whether the parameters of each target instantiation unit are the same as the target parameters. If they are the same, record in the check result that the target instantiation unit passes the parameter check; otherwise, record in the check result that the target instantiation unit fails the parameter check. For details, refer to the description of
于一实施例中,还包括:存储模块505,用于在检查目标例化单元参数的正确性,生成检查结果之后,将每个目标例化单元的参数检查结果按照所属的目标模块进行分组存储。详细参见上述实施例中对步骤307的描述。In one embodiment, it also includes: a
于一实施例中,还包括:生成模块506,用于将每个目标例化单元的目标参数和参数检查结果按照所属的目标功能进行分组存储,并生成每个目标功能的参数报告。详细参见上述实施例中对步骤308的描述。In one embodiment, it further includes: a
于一实施例中,还包括:输出模块507,用于基于参数报告,计算每个目标功能的参数检查通过率,并输出提示信息。详细参见上述实施例中对步骤309的描述。In one embodiment, it further includes: an
上述参数检查装置500的详细描述,请参见上述实施例中相关方法步骤的描述。For the detailed description of the above-mentioned
本发明实施例还提供了一种非暂态电子设备可读存储介质,包括:程序,当其在电子设备上运行时,使得电子设备可执行上述实施例中方法的全部或部分流程。其中,存储介质可为磁盘、光盘、只读存储记忆体(Read-Only Memory,ROM)、随机存储记忆体(RandomAccess Memory,RAM)、快闪存储器(Flash Memory)、硬盘(Hard Disk Drive,缩写:HDD)或固态硬盘(Solid-State Drive,SSD)等。存储介质还可以包括上述种类的存储器的组合。An embodiment of the present invention also provides a non-transitory electronic device-readable storage medium, including: a program that, when running on the electronic device, enables the electronic device to execute all or part of the procedures of the methods in the above embodiments. Wherein, the storage medium may be a magnetic disk, an optical disk, a read-only memory (Read-Only Memory, ROM), a random access memory (Random Access Memory, RAM), a flash memory (Flash Memory), a hard disk (Hard Disk Drive, abbreviated : HDD) or solid-state drive (Solid-State Drive, SSD), etc. The storage medium may also include a combination of the above-mentioned kinds of memories.
虽然结合附图描述了本发明的实施例,但是本领域技术人员可以在不脱离本发明的精神和范围的情况下作出各种修改和变型,这样的修改和变型均落入由所附权利要求所限定的范围之内。Although the embodiments of the present invention have been described in conjunction with the accompanying drawings, those skilled in the art can make various modifications and variations without departing from the spirit and scope of the present invention, and such modifications and variations all fall into the scope of the appended claims. within the limited range.
Claims (13)
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011277815.6A CN112380798B (en) | 2020-11-16 | 2020-11-16 | Parameter checking method, device, equipment and storage medium |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN202011277815.6A CN112380798B (en) | 2020-11-16 | 2020-11-16 | Parameter checking method, device, equipment and storage medium |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN112380798A CN112380798A (en) | 2021-02-19 |
| CN112380798B true CN112380798B (en) | 2022-11-11 |
Family
ID=74585347
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN202011277815.6A Active CN112380798B (en) | 2020-11-16 | 2020-11-16 | Parameter checking method, device, equipment and storage medium |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN112380798B (en) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN115859874A (en) * | 2022-11-16 | 2023-03-28 | 成都海光集成电路设计有限公司 | Checker setting method, report generation method, device and related equipment |
Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104268078A (en) * | 2014-09-23 | 2015-01-07 | 北京控制工程研究所 | Automatic chip validation method based on parameterized IP test case set |
| WO2017013783A1 (en) * | 2015-07-23 | 2017-01-26 | 株式会社日立製作所 | Logic circuit verification method |
| CN111709215A (en) * | 2020-06-01 | 2020-09-25 | 哈尔滨工业大学 | IP management system and IP management method |
-
2020
- 2020-11-16 CN CN202011277815.6A patent/CN112380798B/en active Active
Patent Citations (3)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN104268078A (en) * | 2014-09-23 | 2015-01-07 | 北京控制工程研究所 | Automatic chip validation method based on parameterized IP test case set |
| WO2017013783A1 (en) * | 2015-07-23 | 2017-01-26 | 株式会社日立製作所 | Logic circuit verification method |
| CN111709215A (en) * | 2020-06-01 | 2020-09-25 | 哈尔滨工业大学 | IP management system and IP management method |
Also Published As
| Publication number | Publication date |
|---|---|
| CN112380798A (en) | 2021-02-19 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| WO2020233330A1 (en) | Batch testing method, apparatus, and computer-readable storage medium | |
| CN114372006A (en) | Test case automatic generation method, system, computer equipment and storage medium | |
| CN112597062B (en) | Military software structured quality data extraction method and device and software testing device | |
| US9286180B1 (en) | Final result checking for system with pre-verified cores | |
| CN113986762B (en) | A method and device for generating test cases | |
| CN116502596A (en) | Method for evaluating chip power consumption, method for generating power consumption model, and computer equipment | |
| KR102160379B1 (en) | Testing method for decentralized application based on blockchain and testing apparatus | |
| CN114528309B (en) | Data verification method and device based on precise comparison of database | |
| CN102455961A (en) | System and method for managing and controlling mainboard testing process | |
| CN114021716A (en) | Model training method and system and electronic equipment | |
| CN106294128B (en) | A kind of automated testing method and device exporting report data | |
| CN107239616B (en) | Comparison method of integrated circuit schematic diagram | |
| CN118733717A (en) | File duplication checking method, device, equipment, storage medium and program product | |
| US10339035B2 (en) | Test DB data generation apparatus | |
| CN117785723A (en) | Dynamic interface parameter association method, device and electronic equipment | |
| CN114816993A (en) | Full link interface test method, system, medium and electronic equipment | |
| CN111221690B (en) | Model determination method, device and terminal for integrated circuit design | |
| CN112380798B (en) | Parameter checking method, device, equipment and storage medium | |
| CN111859985A (en) | AI customer service model testing method, device, electronic equipment and storage medium | |
| CN113515588A (en) | Form data detection method, computer device and storage medium | |
| CN116204396A (en) | Test method and device for performance of analytical database | |
| CN120832858A (en) | Chip post-simulation verification acceleration method, system, device and storage medium | |
| CN111858386A (en) | Data testing method, apparatus, computer equipment and storage medium | |
| US10235484B2 (en) | Automatic timing-sensitive circuit extraction | |
| CN114969115A (en) | Data management method and system based on standardized metadata system |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| PB01 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| SE01 | Entry into force of request for substantive examination | ||
| CB02 | Change of applicant information | ||
| CB02 | Change of applicant information |
Address after: Industrial incubation-3-8, North 2-204, No. 18, Haitai West Road, Huayuan Industrial Zone, Binhai New Area, Tianjin 300450 Applicant after: Haiguang Information Technology Co.,Ltd. Address before: 100082 industrial incubation-3-8, North 2-204, 18 Haitai West Road, Huayuan Industrial Zone, Haidian District, Beijing Applicant before: Haiguang Information Technology Co.,Ltd. |
|
| GR01 | Patent grant | ||
| GR01 | Patent grant |






