CN109444726B - 测试激励行为一致性的检查方法及检查装置 - Google Patents

测试激励行为一致性的检查方法及检查装置 Download PDF

Info

Publication number
CN109444726B
CN109444726B CN201811189053.7A CN201811189053A CN109444726B CN 109444726 B CN109444726 B CN 109444726B CN 201811189053 A CN201811189053 A CN 201811189053A CN 109444726 B CN109444726 B CN 109444726B
Authority
CN
China
Prior art keywords
dut
test
file
array
instantiated
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
Application number
CN201811189053.7A
Other languages
English (en)
Other versions
CN109444726A (zh
Inventor
张继存
贾复山
薛炜澎
Current Assignee (The listed assignees may be inaccurate. Google has not performed a legal analysis and makes no representation or warranty as to the accuracy of the list.)
Suzhou Centec Communications Co Ltd
Original Assignee
Centec Networks Suzhou Co Ltd
Priority date (The priority date 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 date listed.)
Filing date
Publication date
Application filed by Centec Networks Suzhou Co Ltd filed Critical Centec Networks Suzhou Co Ltd
Priority to CN201811189053.7A priority Critical patent/CN109444726B/zh
Publication of CN109444726A publication Critical patent/CN109444726A/zh
Application granted granted Critical
Publication of CN109444726B publication Critical patent/CN109444726B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • G—PHYSICS
    • G01—MEASURING; TESTING
    • G01R—MEASURING ELECTRIC VARIABLES; MEASURING MAGNETIC VARIABLES
    • G01R31/00—Arrangements for testing electric properties; Arrangements for locating electric faults; Arrangements for electrical testing characterised by what is being tested not provided for elsewhere
    • G01R31/28—Testing of electronic circuits, e.g. by signal tracer
    • G01R31/317—Testing of digital circuits
    • G01R31/31722—Addressing or selecting of test units, e.g. transmission protocols for selecting test units

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

本发明提供一种测试激励行为一致性的检查方法及检查装置，所述方法包括：获取测试激励行为信息，测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径；解析测试激励行为信息，以获得验证信号，验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；根据验证信号判断测试激励行为是否一致。本发明测试激励行为一致性的检查方法及装置，可以自动完成通用意义上集成电路验证需要做的两项检查，以避免人工辅助检测例化是否完整和端口是否漏测出现的疏漏，节约时间和成本；相比传统的人力检查方法，本发明在检查速度上有大幅度的提升，且检查质量更可靠。

Description

测试激励行为一致性的检查方法及检查装置
技术领域
本发明涉及网络通信领域，尤其涉及一种测试激励行为一致性的检查方法及检查装置。
背景技术
数字集成电路的验证要测试到DUT(design under test，待测设计)的所有端口功能，这就要求每个DUT端口都要在测试激励例化中被连接，且所连接的信号在测试激励中要有相应的测试代码。规模比较大的SoC(System on a Chip，片上系统)和ASIC(ApplicationSpecified Integrated Circuit，专用集成电路)等数字集成电路中常存在端口信号数量众多的模块，对这种模块的验证，很容易出现DUT例化时遗漏某些端口或者某些端口信号在测试激励没有出现相应的测试代码的问题。
现有技术中，通常采用人工辅助校验的方式解决上述问题，然而，上述问题如果靠人力去检查效率极低，且质量难保证。
发明内容
为解决上述技术问题，本发明的目的在于提供一种测试激励行为一致性的检查方法及装置。
为了实现上述发明目的之一，本发明一实施方式提供一种测试激励行为一致性的检查方法，所述方法包括：获取测试激励行为信息，所述测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径；
解析所述测试激励行为信息，以分别获得多个验证信号，所述验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；
所述DUT端口列表为解析所述DUT顶层文件获得的原始的DUT端口的集合；所述DUT例化端口列表为解析所述测试激励顶层文件获得的例化的DUT端口的集合；所述例化信号名列表为解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名的集合；所述测试激励文件为所述测试激励文件的路径中包含的后缀为.v和.sv的全部文件的集合，每个.v或.sv的文件均包括DUT端口连接的信号名；
根据获得的验证信号判断测试激励行为是否一致。
作为本发明一实施方式的进一步改进，所述DUT例化端口列表的获取方法具体包括：
获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个DUT例化端口。
作为本发明一实施方式的进一步改进，所述例化信号名列表的获取方法具体包括：
获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个例化的DUT端口所分别连接的信号的信号名。
作为本发明一实施方式的进一步改进，所述方法还包括：
将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；
以第一数组中的每个DUT端口查询第二数组，和以第三数组中的每个信号名查询所述测试激励文件，
判断第一数组中的DUT端口是否出现在第二数组中，若存在未出现在第二数组中的DUT端口，则将该DUT端口记录在第一输出数组中；
和判断第三数组中的信号名是否出现在所述测试激励文件中，若存在未出现在所述测试激励文件中的信号名，则将该信号名记录在第二输出数组中；
若第一输出数组和第二输出数组全部为空，则确认测试激励行为一致；
若第一输出数组和第二输出数组至少其中之一不为空，则确认测试激励行为不一致，同时输出不为空的第一输出数组和/或第二输出数组。
作为本发明一实施方式的进一步改进，所述方法还包括：以第三数组中的每个信号名查询所述测试激励文件之前，过滤所述测试激励文件中的非功能测试代码文件，所述非功能测试代码文件包括：测试激励顶层文件和/或接口定义文件。
为了实现上述发明目的另一，本发明一实施方式提供一种测试激励行为一致性的检查装置，所述装置包括：获取模块，用于获取测试激励行为信息，所述测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径；
解析模块，用于解析所述测试激励行为信息，以分别获得多个验证信号，所述验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；
所述DUT端口列表为解析所述DUT顶层文件获得的原始的DUT端口的集合；所述DUT例化端口列表为解析所述测试激励顶层文件获得的例化的DUT端口的集合；所述例化信号名列表为解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名的集合；所述测试激励文件为所述测试激励文件的路径中包含的后缀为.v和.sv的全部文件的集合，每个.v或.sv的文件均包括DUT端口连接的信号名；
处理模块，用于根据获得的验证信号判断测试激励行为是否一致。
作为本发明一实施方式的进一步改进，所述解析模块具体用于：获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个DUT例化端口。
作为本发明一实施方式的进一步改进，所述解析模块具体用于：获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个例化的DUT端口所分别连接的信号的信号名。
作为本发明一实施方式的进一步改进，所述处理模块具体用于：
将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；
以第一数组中的每个DUT端口查询第二数组，和以第三数组中的每个信号名查询所述测试激励文件，
判断第一数组中的DUT端口是否出现在第二数组中，若存在未出现在第二数组中的DUT端口，则将该DUT端口记录在第一输出数组中；
和判断第三数组中的信号名是否出现在所述测试激励文件中，若存在未出现在所述测试激励文件中的信号名，则将该信号名记录在第二输出数组中；
若第一输出数组和第二输出数组全部为空，则确认测试激励行为一致；
若第一输出数组和第二输出数组至少其中之一不为空，则确认测试激励行为不一致，同时输出不为空的第一输出数组和/或第二输出数组。
作为本发明一实施方式的进一步改进，所述处理模块还用于：以第三数组中的每个信号名查询所述测试激励文件之前，过滤所述测试激励文件中的非功能测试代码文件，所述非功能测试代码文件包括：测试激励顶层文件和/或接口定义文件。
与现有技术相比，本发明测试激励行为一致性的检查方法及装置，可以自动完成通用意义上集成电路验证需要做的两项检查，避免人工辅助检测例化是否完整和端口是否漏测出现的疏漏，节约时间和成本；相比传统的人力检查方法，本发明在检查速度上有大幅度的提升，且检查质量更可靠。
附图说明
图1是本发明一实施方式中测试激励行为一致性的检查方法的流程示意图；
图2是本发明一具体示例的模块示意图；
图3是图1中其中一个步骤的具体实现流程示意图；
图4是本发明一实施方式中测试激励行为一致性的检查装置的模块图。
具体实施方式
以下将结合附图所示的各实施方式对本发明进行详细描述。但这些实施方式并不限制本发明，本领域的普通技术人员根据这些实施方式所做出的结构、方法、或功能上的变换均包含在本发明的保护范围内。
本发明提出一种测试激励行为一致性的检查方法及检查装置，以同时解决DUT例化时端口遗漏和测试激励未出现相应测试代码的问题；相应的，本发明在测试激励行为一致性的检查过程中需要检测端口例化信号的完整性以及检查所有端口信号是否有相应的测试代码出现在测试激励文件。
本发明一较佳实施方式中，使用Perl(Practical Extraction and ReportingLanguage，一种脚本语言)脚本对测试激励进行基本行为的一致性检查，来帮助高效查看测试激励的端口例化是否完整以及所有端口信号是否都有相应的测试代码，以提高检测效率和可靠性，且结果可视性良好。
如图1所示，在本发明的一实施方式中，所述测试激励行为一致性的检查方法包括：
S1、获取测试激励行为信息，所述测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径。
在验证DUT的端口功能过程中，上述测试激励行为信息均为已知，且各个测试激励行为信息均包括多种信息；结合图2所示，所述DUT顶层文件包括模块声明、输入输出信号以及其他语句等信息；所述测试激励顶层文件包括：模块声明、变量声明、DUT例化、其他语句等信息。
S2、解析所述测试激励行为信息，以分别获得多个验证信号，所述验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；所述DUT端口列表为解析所述DUT顶层文件获得的原始的DUT端口的集合；所述DUT例化端口列表为解析所述测试激励顶层文件获得的例化的DUT端口的集合；所述例化信号名列表为解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名的集合；所述测试激励文件为所述测试激励文件的路径中包含的后缀为.v和.sv的全部文件的集合，其中，每个.v或.sv文件中包含一个或多个DUT端口连接的信号名，也可能未包含DUT端口连接的信号名。
本发明具体实施方式中，接续上述图2所示示例，通过解析所述DUT顶层文件，并通过其“输入输出信号”可获得DUT端口列表，其中语句“input”以及“output”后的“clk”、“rst_n”“rxd”、“rx_dv”、“txd”、“tx_en”均表示DUT端口列表中的每个DUT端口。
本发明较佳实施方式中，所述步骤S2还包括：获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个DUT例化端口以及每个例化的DUT端口所分别连接的信号的信号名。
本发明具体实施方式中，接续上述图2所示示例，“DUT例化”表示所述测试激励顶层文件中的例化代码位置；获取DUT模块名称，确认所述测试激励顶层文件中的例化代码位置为“DUT例化”，进一步的，以所述DUT模块名称为关键字定位所述测试激励顶层文件中的“DUT例化”，对其解析获得每个DUT例化端口列表，其中语句“dut my_dut”后的““.clk”、“.rst_n”“.rxd”、“.rx_dv”、“.txd”、“.tx_en”均表示DUT例化端口列表中的每个例化的DUT端口；同时，通过解析“DUT例化”获得例化信号名列表，对应于每个例化的DUT端口所分别连接的信号的信号名依次为“(tb_clk)”、“(tb_rst_n)”“(tb_rxd)”、“(tb_rx_dv)”、“(tb_txd)”、“(tb_tx_en)”。
进一步的，所述方法还包括：S3、根据获得的验证信号判断测试激励行为是否一致。
本发明较佳实施方式中，通过两个指标的综合判断确定测试激励行为是否一致，其中一个指标为端口例化的信号完整性；另一个指标为所有端口信号是否有相应的测试代码出现在测试激励文件中。
本发明具体实施方式中，结合图3所示，所述步骤S3具体包括：将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；以第一数组中的每个DUT端口查询第二数组，和以第三数组中的每个信号名查询所述测试激励文件，判断第一数组中的DUT端口是否出现在第二数组中，若存在未出现在第二数组中的DUT端口，则将该DUT端口记录在第一输出数组中；和判断第三数组中的信号名是否出现在所述测试激励文件中，若存在未出现在所述测试激励文件中的信号名，则将该信号名记录在第二输出数组中；若第一输出数组和第二输出数组全部为空，则确认测试激励行为一致；若第一输出数组和第二输出数组至少其中之一不为空，则确认测试激励行为不一致，同时输出不为空的第一输出数组和/或第二输出数组。
接续上述图2所示示例，分别将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；即第一数组中存储解析所述DUT顶层文件获得的原始的DUT端口，第二数组存储解析所述测试激励顶层文件获得的例化的DUT端口，第三数组存储解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名；可以理解的是，将上述信息分别存在到不同的数组中，方便后续调用，且减少计算量。
本发明可实现实施方式中，所述测试激励文件的类型具有多种，其中包括非功能测试代码文件，所述非功能测试代码文件例如：测试激励顶层文件、接口定义文件等，在测试激励行为一致性检查过程中，对所述测试激励文件的需求中，无需查询非功能测试代码文件，如此，在以第三数组中的每个信号名查询所述测试激励文件之前，过滤掉测试激励文件中的非功能测试代码文件。
本发明较佳实施方式中，所述方法具体包括：以第三数组中的每个信号名查询所述测试激励文件之前，过滤所述测试激励文件中的非功能测试代码文件，所述非功能测试代码文件包括：测试激励顶层文件和/或接口定义文件，在此不再继续赘述。
相应的，在确认测试激励行为不一致时，可选择性输出不为空的第一输出数组和/或第二输出数组；本发明具体实施方式中，可将不为空的第一输出数组、第二输出数组打印输出，以供查阅，其查阅方式可由人工辅助完成，也可以有系统自主完成，在此不再继续赘述。
本发明可以通过简单地遍历所有模块仿真目录并执行上述检查方法来完成自动化的批量检查并给出所有模块的检查结果。
结合图4所示，在本发明的第一实施方式中，所述测试激励行为一致性的检查装置包括：获取模块100、解析模块200以及处理模块300。
获取模块100用于获取测试激励行为信息，所述测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径。
解析模块200用于解析所述测试激励行为信息，以分别获得多个验证信号，所述验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；所述DUT端口列表为解析所述DUT顶层文件获得的原始的DUT端口的集合；所述DUT例化端口列表为解析所述测试激励顶层文件获得的例化的DUT端口的集合；所述例化信号名列表为解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名的集合；所述测试激励文件为所述测试激励文件的路径中包含的后缀为.v和.sv的全部文件的集合，其中，每个.v或.sv文件中包含一个或多个DUT端口连接的信号名，也可能未包含DUT端口连接的信号名。
本发明较佳实施方式中，解析模块200具体用于获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个DUT例化端口以及每个例化的DUT端口所分别连接的信号的信号名。
处理模块300用于根据获得的验证信号判断测试激励行为是否一致。
本发明较佳实施方式中，通过两个指标的综合判断确定测试激励行为是否一致，其中一个指标为端口例化的信号完整性；另一个指标为所有端口信号是否有相应的测试代码出现在测试激励文件中。
本发明具体实施方式中，处理模块300具体用于将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；以第一数组中的每个DUT端口查询第二数组，和以第三数组中的每个信号名查询所述测试激励文件，判断第一数组中的DUT端口是否出现在第二数组中，若存在未出现在第二数组中的DUT端口，则将该DUT端口记录在第一输出数组中；和判断第三数组中的信号名是否出现在所述测试激励文件中，若存在未出现在所述测试激励文件中的信号名，则将该信号名记录在第二输出数组中；若第一输出数组和第二输出数组全部为空，则确认测试激励行为一致；若第一输出数组和第二输出数组至少其中之一不为空，则确认测试激励行为不一致，同时输出不为空的第一输出数组和/或第二输出数组。
本发明可实现实施方式中，所述测试激励文件的类型具有多种，其中包括非功能测试代码文件，所述非功能测试代码文件例如：测试激励顶层文件、接口定义文件等，在测试激励行为一致性检查过程中，对所述测试激励文件的需求中，无需查询非功能测试代码文件，如此，在以第三数组中的每个信号名查询所述测试激励文件之前，过滤掉测试激励文件中的非功能测试代码文件。
本发明较佳实施方式中，处理模块300还用于以第三数组中的每个信号名查询所述测试激励文件之前，过滤所述测试激励文件中的非功能测试代码文件，所述非功能测试代码文件包括：测试激励顶层文件和/或接口定义文件，在此不再继续赘述。
相应的，在确认测试激励行为不一致时，可选择性输出不为空的第一输出数组和/或第二输出数组；本发明具体实施方式中，可将不为空的第一输出数组、第二输出数组打印输出，以供查阅，其查阅方式可由人工辅助完成，也可以有系统自主完成，在此不再继续赘述。
与现有技术相比，本发明测试激励行为一致性的检查方法及装置，可以自动完成通用意义上集成电路验证需要做的两项检查，避免人工辅助检测例化是否完整和端口是否漏测出现的疏漏，节约时间和成本；相比传统的人力检查方法，本发明在检查速度上有大幅度的提升，且检查质量更可靠。进一步的，由于检查质量的可靠，在验证完成阶段，测试激励行为一致性的检查结果也可以作为验证完成报告的一部分，使验证质量多了一层保障。
所属领域的技术人员可以清楚地了解到，为描述的方便和简洁，上述描述的系统中模块的具体工作过程，可以参考前述方法实施方式中的对应过程，在此不再赘述。
以上所描述的系统实施方式仅仅是示意性的，其中所述作为分离部件说明的模块可以是或者也可以不是分开的，可以根据实际的需要选择其中的部分或者全部模块来实现本实施方式方案的目的。本领域普通技术人员在不付出创造性劳动的情况下，即可以理解并实施。
本申请可用于众多通用或专用芯片的验证中。例如：交换芯片验证、路由器芯片验证，服务器芯片验证等等。
应当理解，虽然本说明书按照实施方式加以描述，但并非每个实施方式仅包含一个独立的技术方案，说明书的这种叙述方式仅仅是为清楚起见，本领域技术人员应当将说明书作为一个整体，各实施方式中的技术方案也可以经适当组合，形成本领域技术人员可以理解的其他实施方式。
上文所列出的一系列的详细说明仅仅是针对本发明的可行性实施方式的具体说明，它们并非用以限制本发明的保护范围，凡未脱离本发明技艺精神所作的等效实施方式或变更均应包含在本发明的保护范围之内。

Claims (8)

1.一种测试激励行为一致性的检查方法，其特征在于，所述方法包括：
获取测试激励行为信息，所述测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径；
解析所述测试激励行为信息，以分别获得多个验证信号，所述验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；
所述DUT端口列表为解析所述DUT顶层文件获得的原始的DUT端口的集合；所述DUT例化端口列表为解析所述测试激励顶层文件获得的例化的DUT端口的集合；所述例化信号名列表为解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名的集合；所述测试激励文件为所述测试激励文件的路径中包含的后缀为.v和.sv的全部文件的集合；
根据获得的验证信号判断测试激励行为是否一致；
其中，根据获得的验证信号判断测试激励行为是否一致包括：
将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；
以第一数组中的每个DUT端口查询第二数组，和以第三数组中的每个信号名查询所述测试激励文件，
判断第一数组中的DUT端口是否出现在第二数组中，若存在未出现在第二数组中的DUT端口，则将该DUT端口记录在第一输出数组中；
和判断第三数组中的信号名是否出现在所述测试激励文件中，若存在未出现在所述测试激励文件中的信号名，则将该信号名记录在第二输出数组中；
若第一输出数组和第二输出数组全部为空，则确认测试激励行为一致；
若第一输出数组和第二输出数组至少其中之一不为空，则确认测试激励行为不一致，同时输出不为空的第一输出数组和/或第二输出数组。
2.根据权利要求1所述的测试激励行为一致性的检查方法，其特征在于，所述DUT例化端口列表的获取方法具体包括：
获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个DUT例化端口。
3.根据权利要求1所述的测试激励行为一致性的检查方法，其特征在于，所述例化信号名列表的获取方法具体包括：
获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个例化的DUT端口所分别连接的信号的信号名。
4.根据权利要求1所述的测试激励行为一致性的检查方法，其特征在于，所述方法还包括：
以第三数组中的每个信号名查询所述测试激励文件之前，过滤所述测试激励文件中的非功能测试代码文件，所述非功能测试代码文件包括：测试激励顶层文件和/或接口定义文件。
5.一种测试激励行为一致性的检查装置，其特征在于，所述装置包括：
获取模块，用于获取测试激励行为信息，所述测试激励行为信息包括：DUT顶层文件、测试激励顶层文件以及测试激励文件的路径；
解析模块，用于解析所述测试激励行为信息，以分别获得多个验证信号，所述验证信号包括：DUT端口列表、DUT例化端口列表、例化信号名列表以及测试激励文件；
所述DUT端口列表为解析所述DUT顶层文件获得的原始的DUT端口的集合；所述DUT例化端口列表为解析所述测试激励顶层文件获得的例化的DUT端口的集合；所述例化信号名列表为解析所述测试激励顶层文件获得的每个例化的DUT端口所分别连接的信号的信号名的集合；所述测试激励文件为所述测试激励文件的路径中包含的后缀为.v和.sv的全部文件的集合；
处理模块，用于根据获得的验证信号判断测试激励行为是否一致；
其中，所述处理模块具体用于：
将获得的DUT端口列表保存在第一数组中，获得的DUT例化端口列表保存在第二数组中，获得的例化信号名列表保存在第三数组中；
以第一数组中的每个DUT端口查询第二数组，和以第三数组中的每个信号名查询所述测试激励文件，
判断第一数组中的DUT端口是否出现在第二数组中，若存在未出现在第二数组中的DUT端口，则将该DUT端口记录在第一输出数组中；
和判断第三数组中的信号名是否出现在所述测试激励文件中，若存在未出现在所述测试激励文件中的信号名，则将该信号名记录在第二输出数组中；
若第一输出数组和第二输出数组全部为空，则确认测试激励行为一致；
若第一输出数组和第二输出数组至少其中之一不为空，则确认测试激励行为不一致，同时输出不为空的第一输出数组和/或第二输出数组。
6.根据权利要求5所述的测试激励行为一致性的检查装置，其特征在于，所述解析模块具体用于：
获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个DUT例化端口。
7.根据权利要求5所述的测试激励行为一致性的检查装置，其特征在于，所述解析模块具体用于：
获取DUT模块名称，以及所述测试激励顶层文件中的例化代码位置；
以所述DUT模块名称为关键字定位所述测试激励顶层文件中的例化代码位置，对其解析获得每个例化的DUT端口所分别连接的信号的信号名。
8.根据权利要求5所述的测试激励行为一致性的检查装置，其特征在于，所述处理模块还用于：
以第三数组中的每个信号名查询所述测试激励文件之前，过滤所述测试激励文件中的非功能测试代码文件，所述非功能测试代码文件包括：测试激励顶层文件和/或接口定义文件。
CN201811189053.7A 2018-10-12 2018-10-12 测试激励行为一致性的检查方法及检查装置 Active CN109444726B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201811189053.7A CN109444726B (zh) 2018-10-12 2018-10-12 测试激励行为一致性的检查方法及检查装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201811189053.7A CN109444726B (zh) 2018-10-12 2018-10-12 测试激励行为一致性的检查方法及检查装置

Publications (2)

Publication Number Publication Date
CN109444726A CN109444726A (zh) 2019-03-08
CN109444726B true CN109444726B (zh) 2021-01-26

Family

ID=65545019

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201811189053.7A Active CN109444726B (zh) 2018-10-12 2018-10-12 测试激励行为一致性的检查方法及检查装置

Country Status (1)

Country Link
CN (1) CN109444726B (zh)

Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN101183406A (zh) * 2007-12-25 2008-05-21 盛科网络（苏州）有限公司 网络芯片模块级功能验证测试平台的建立方法
CN101625705A (zh) * 2008-07-08 2010-01-13 华为技术有限公司 验证环境系统及其搭建方法
US8301673B2 (en) * 2006-12-29 2012-10-30 Netapp, Inc. System and method for performing distributed consistency verification of a clustered file system
CN102789227A (zh) * 2012-08-02 2012-11-21 北京京航计算通讯研究所 基于覆盖率统计的可编程逻辑器件仿真测试方法
CN105426454A (zh) * 2015-11-12 2016-03-23 国网宁夏电力公司 智能电子设备与scd文件回路信息一致性检测方法
CN107423505A (zh) * 2017-07-21 2017-12-01 山东华芯半导体有限公司 一种模块级和SoC级可重用的验证系统及验证方法
CN107451026A (zh) * 2017-07-27 2017-12-08 郑州云海信息技术有限公司 一种基于sv语言的串口通用验证平台及方法
CN107797929A (zh) * 2017-10-26 2018-03-13 北京广利核系统工程有限公司 可编程逻辑仿真测试功能覆盖率的统计方法和装置
CN108388606A (zh) * 2018-02-06 2018-08-10 福建星瑞格软件有限公司 一种校验Sql语句中库表字段名的方法以及计算机设备

Family Cites Families (1)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US9286320B2 (en) * 2013-03-06 2016-03-15 Infinidat Ltd. System and method for maintaining consistency among metadata elements of filesystem's logical objects

Patent Citations (9)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US8301673B2 (en) * 2006-12-29 2012-10-30 Netapp, Inc. System and method for performing distributed consistency verification of a clustered file system
CN101183406A (zh) * 2007-12-25 2008-05-21 盛科网络（苏州）有限公司 网络芯片模块级功能验证测试平台的建立方法
CN101625705A (zh) * 2008-07-08 2010-01-13 华为技术有限公司 验证环境系统及其搭建方法
CN102789227A (zh) * 2012-08-02 2012-11-21 北京京航计算通讯研究所 基于覆盖率统计的可编程逻辑器件仿真测试方法
CN105426454A (zh) * 2015-11-12 2016-03-23 国网宁夏电力公司 智能电子设备与scd文件回路信息一致性检测方法
CN107423505A (zh) * 2017-07-21 2017-12-01 山东华芯半导体有限公司 一种模块级和SoC级可重用的验证系统及验证方法
CN107451026A (zh) * 2017-07-27 2017-12-08 郑州云海信息技术有限公司 一种基于sv语言的串口通用验证平台及方法
CN107797929A (zh) * 2017-10-26 2018-03-13 北京广利核系统工程有限公司 可编程逻辑仿真测试功能覆盖率的统计方法和装置
CN108388606A (zh) * 2018-02-06 2018-08-10 福建星瑞格软件有限公司 一种校验Sql语句中库表字段名的方法以及计算机设备

Also Published As

Publication number Publication date
CN109444726A (zh) 2019-03-08

Similar Documents

Publication Publication Date Title
CN107145437B (zh) 一种java注解测试方法及装置
WO2017000424A1 (zh) 协议检测方法及装置
CN105760296B (zh) 自动化测试控制方法、装置及终端
CN112084109A (zh) 系统测试方法、装置、设备及介质
CN110908888A (zh) 服务器测试方法及装置
JP2018200305A5 (zh)
CN108664388A (zh) 动态字段数据返回接口的测试系统、方法、电子设备和可读存储介质
CN102707712B (zh) 电子装备故障诊断方法和系统
CN113065300A (zh) 芯片eda仿真中回溯仿真波形的方法、系统及装置
CN112948233A (zh) 一种接口测试方法、装置、终端设备及介质
CN114996127A (zh) 固态硬盘固件模块智能化测试方法及系统
CN109444726B (zh) 测试激励行为一致性的检查方法及检查装置
CN117608903A (zh) 自动生成测试报告的方法、装置、设备和存储介质
CN111352838A (zh) 一种包文件生成方法、包文件生成装置及电子设备
CN111045948A (zh) 模块间接口信号的检查方法、设备和存储介质
CN112346918A (zh) 芯片验证中辅助波形debug的方法及应用
CN112084108A (zh) 一种测试脚本生成方法、装置及相关组件
CN116257437A (zh) 基于实车数据回注的adas系统缺陷验证方法及装置
CN112506806B (zh) 用于调试程序的方法、电子设备及存储介质
CN114879630A (zh) 车辆故障诊断方法、装置、设备及可读存储介质
CN113868137A (zh) 埋点数据的处理方法、装置、系统和服务器
CN111813665A (zh) 一种基于python的大数据平台接口数据测试方法和系统
Karnane et al. Automating root-cause analysis to reduce time to find bugs by up to 50%
CN102645609B (zh) Jtag链路测试装置及其测试方法
CN106707144B (zh) 一种应用于反熔丝fpga测试向量的逆向分析方法

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
GR01 Patent grant
GR01 Patent grant
CP03 Change of name, title or address
CP03 Change of name, title or address

Address after: 215000 unit 13 / 16, 4th floor, building B, No.5 Xinghan street, Suzhou Industrial Park, Jiangsu Province

Patentee after: Suzhou Shengke Communication Co.,Ltd.

Address before: Xinghan Street Industrial Park of Suzhou city in Jiangsu province 215021 B No. 5 Building 4 floor 13/16 unit

Patentee before: CENTEC NETWORKS (SU ZHOU) Co.,Ltd.