CN114510902B - 仿真结果的验证方法、装置、设备及计算机存储介质 - Google Patents

仿真结果的验证方法、装置、设备及计算机存储介质 Download PDF

Info

Publication number
CN114510902B
CN114510902B CN202210413409.0A CN202210413409A CN114510902B CN 114510902 B CN114510902 B CN 114510902B CN 202210413409 A CN202210413409 A CN 202210413409A CN 114510902 B CN114510902 B CN 114510902B
Authority
CN
China
Prior art keywords
information
waveform
simulation
verification
target
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
CN202210413409.0A
Other languages
English (en)
Other versions
CN114510902A (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.)
Beijing Core Vision Software Technology Co ltd
Original Assignee
Beijing Core Vision Software Technology 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 Beijing Core Vision Software Technology Co ltd filed Critical Beijing Core Vision Software Technology Co ltd
Priority to CN202210413409.0A priority Critical patent/CN114510902B/zh
Publication of CN114510902A publication Critical patent/CN114510902A/zh
Application granted granted Critical
Publication of CN114510902B publication Critical patent/CN114510902B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/39Circuit design at the physical level
    • G06F30/398Design verification or optimisation, e.g. using design rule check [DRC], layout versus schematics [LVS] or finite element methods [FEM]
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F2115/00Details relating to the type of the circuit
    • G06F2115/06Structured ASICs

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)
  • Management, Administration, Business Operations System, And Electronic Commerce (AREA)
  • Tests Of Electronic Circuits (AREA)

Abstract

本申请实施例提供了一种仿真结果的验证方法、装置、设备及计算机存储介质,该仿真结果的验证方法包括获取待验证的目标仿真数据和波形描述信息,其中,波形描述信息是根据第一波形信息和第一波形信息的标注信息生成,第一波形信息是对第一仿真数据仿真得到的,波形描述信息包括第一波形信息中与标注信息对应的波形信息;对待验证的目标仿真数据进行仿真,得到目标波形信息;比较波形描述信息与目标波形信息;在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。根据本申请实施例,不需要验证人员手动操作对比验证结果,减少了仿真验证成本,提高了验证效率和准确性。

Description

仿真结果的验证方法、装置、设备及计算机存储介质
技术领域
本申请属仿真验证领域,尤其涉及一种仿真结果的验证方法、装置、设备及计算机存储介质。
背景技术
目前,在集成电路设计过程中,设计的各个环节都需要对改变后的数据进行验证,并且即使没有改变数据,在进行回归测试时,仍然需要大量的验证工作。
现有技术中,集成电路设计仿真验证主要是针对指定仿真向量,通过验证人员在验证时手动添加仿真结果和相关信号,在大量仿真信号中查找关键验证信息,从而验证实际结果是否与期望结果一致。然而,以上方式随着集成电路设计的规模不断增大,需要的人力成本不断增加,并且手动操作的验证结果的正确性较低,因此,以上方式存在仿真结果的验证效率低和验证结果不准确的问题。
发明内容
本申请实施例提供一种仿真结果的验证方法、装置、设备及计算机存储介质,能够解决现有技术中存在仿真结果的验证效率低和验证结果不准确的问题。
第一方面,本申请实施例提供一种仿真结果的验证方法,该方法包括:
获取待验证的目标仿真数据和波形描述信息,其中,波形描述信息是根据第一波形信息和第一波形信息的标注信息生成,第一波形信息是对第一仿真数据仿真得到的,波形描述信息包括第一波形信息中与标注信息对应的波形信息;
对待验证的目标仿真数据进行仿真,得到目标波形信息;
比较波形描述信息与目标波形信息;
在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。
在一种实施方式中,在获取待验证的目标仿真数据和波形描述信息之前,该仿真结果的验证方法包括:
基于预设仿真激励信号,对第一仿真数据进行仿真,得到第一波形信息;
对第一波形信息的预设信号和预设时间节点进行标注,得到第一波形信息的标注信息;
根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息,包括:
基于预设转换程序, 根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息,包括:
根据与标注信息对应的波形信息和标注信息,生成脚本文件;
根据第一波形信息和脚本文件中的标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,对目标仿真数据进行仿真,得到目标波形信息,包括:
基于预设仿真激励信号,对目标仿真数据进行仿真,得到目标波形信息。
在一种实施方式中,目标仿真数据包括回归测试数据或第二仿真数据,第二仿真数据是第一仿真数据修改后的数据。
第二方面,本申请实施例提供了一种仿真结果的验证装置,该仿真结果的验证装置包括:
获取模块,用于获取待验证的目标仿真数据和波形描述信息,其中,波形描述信息是根据第一波形信息和第一波形信息的标注信息生成,第一波形信息是对第一仿真数据仿真得到的,波形描述信息包括第一波形信息中与标注信息对应的波形信息;
仿真模块,用于对待验证的目标仿真数据进行仿真,得到目标波形信息;
比较模块,用于比较波形描述信息与目标波形信息;
输出模块,用于在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。
在一种实施方式中,该仿真结果的验证装置还包括标注模块和生成模块;
仿真模块,还用于在获取待验证的目标仿真数据和波形描述信息之前,基于预设仿真激励信号,对第一仿真数据进行仿真,得到第一波形信息;
标注模块,用于对第一波形信息的预设信号和预设时间节点进行标注,得到第一波形信息的标注信息;
生成模块,用于根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,生成模块,还用于基于预设转换程序, 根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,生成模块,还用于根据与标注信息对应的波形信息和标注信息,生成脚本文件;
生成模块,还用于根据第一波形信息和脚本文件中的标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,仿真模块,还用于基于预设仿真激励信号,对目标仿真数据进行仿真,得到目标波形信息。
在一种实施方式中,目标仿真数据包括回归测试数据或第二仿真数据,第二仿真数据是第一仿真数据修改后的数据。
第三方面,本申请实施例提供了一种电子设备,该电子设备包括:处理器以及存储有计算机程序指令的存储器;
处理器执行计算机程序指令时实现如第一方面的任一项实施例中所述的仿真结果的验证方法。
第四方面,本申请实施例提供了一种计算机存储介质,计算机存储介质上存储有计算机程序指令,计算机程序指令被处理器执行时实现如第一方面的任一项实施例中所述的仿真结果的验证方法。
第五方面,本申请实施例提供了一种计算机程序产品,所述计算机程序产品中的指令由电子设备的处理器执行时,使得所述电子设备执行如第一方面的任一项实施例中所述的仿真结果的验证方法。
本申请实施例的仿真结果的验证方法、装置、设备及计算机存储介质,通过获取待验证的目标仿真数据,对待验证的目标仿真数据进行仿真,得到目标波形信息。接着,获取根据第一波形信息和第一波形信息的标注信息生成的波形描述信息,波形描述信息包括第一波形信息中与标注信息对应的波形信息。进而比较波形描述信息与目标波形信息,在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。这样,可以自动生成波形描述信息对仿真结果的一致性进行验证,不需要验证人员手动操作对比验证结果,减少了仿真验证成本,提高了验证效率和准确性。
附图说明
为了更清楚地说明本申请实施例的技术方案,下面将对本申请实施例中所需要使用的附图作简单的介绍,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他的附图。
图1是本申请一个实施例提供的仿真结果的验证方法的流程示意图之一;
图2是本申请一个实施例提供的仿真结果的验证方法的流程示意图之二;
图3是本申请一个实施例提供的波形查看器的信号示意图;
图4是本申请一个实施例提供的仿真结果的验证装置的结构示意图;
图5是本申请一个实施例提供的电子设备的结构示意图。
具体实施方式
下面将详细描述本申请的各个方面的特征和示例性实施例,为了使本申请的目的、技术方案及优点更加清楚明白,以下结合附图及具体实施例,对本申请进行进一步详细描述。应理解,此处所描述的具体实施例仅意在解释本申请,而不是限定本申请。对于本领域技术人员来说,本申请可以在不需要这些具体细节中的一些细节的情况下实施。下面对实施例的描述仅仅是为了通过示出本申请的示例来提供对本申请更好的理解。
需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。在没有更多限制的情况下,由语句“包括……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者设备中还存在另外的相同要素。
如背景技术所述,在集成电路设计过程中,设计的各个环节都需要对改变后的数据进行验证,导致验证工作量增大。而且即使没有进行修改,但是在进行回归测试时,仍然需要大量的工作量。进一步的,在进行多次修改时,如果对每次修改都进行验证,多次验证数据工作重复性高。
现有技术中,在集成电路设计仿真验证时需要验证人员手动添加仿真结果及相关信号,在大量仿真信号中找到关键验证信息来验证实际结果是否与期望结果一致,因此随着集成电路设计规模的不断增大,复杂程度的不断增加,仿真验证和回归测试所需要的人力也在增加,并且手动操作的验证结果的正确性较低,因此,以上方式存在仿真结果的验证效率低和验证结果不准确的问题。
为了解决上述问题,本申请实施例提供了一种仿真结果的验证方法、装置、设备及计算机存储介质,该仿真结果的验证方法可以通过获取待验证的目标仿真数据,对待验证的目标仿真数据进行仿真,得到目标波形信息。接着,获取根据第一波形信息和第一波形信息的标注信息生成的波形描述信息,波形描述信息包括第一波形信息中与标注信息对应的波形信息。进而比较波形描述信息与目标波形信息,在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。这样,可以自动生成波形描述信息,对仿真结果的一致性进行验证,不需要验证人员手动操作对比验证结果,减少了仿真验证成本,提高了验证效率和准确性。下面首先对本申请实施例所提供的仿真结果的验证方法进行介绍。
图1示出了本申请一个实施例提供的仿真结果的验证方法的流程示意图。
如图1所示,该仿真结果的验证方法具体可以包括如下步骤:
S110,获取待验证的目标仿真数据和波形描述信息,其中,波形描述信息是根据第一波形信息和第一波形信息的标注信息生成,第一波形信息是对第一仿真数据仿真得到的,波形描述信息包括第一波形信息中与标注信息对应的波形信息。
目标仿真数据可以是集成电路设计仿真验证的测试数据,波形描述信息可以是对第一波形信息的标注信息生成的波形描述信息,例如可以是与标注信息对应的波形值变化的信息,其中,第一波形信息可以是对第一仿真数据仿真得到的信息,第一仿真数据可以是集成电路设计仿真验证的初始设计数据。另外,标注信息可以是对第一波形信息中预设的波形信息进行标注得到的,也可以是对第一波形信息中与预期一致的波形信息进行标注得到的,例如可以是关键信号、关键时间节点等信息,其中,关键时间节点可以是起始时间节点、终止时间节点、关键验证值的节点等。
作为一个示例,利用电子设计自动化(Electronic Design Automation,EDA)工具对初始设计数据a进行仿真验证,并生成验证结果波形文件(1.fsdb)文件。在调试验证结果的过程中,在波形查看器中加载波形文件(1.fsdb),波形文件(1.fsdb)中包含大量信号波形的波形信息,对大量信号波形中关键信号波形的波形信息进行标注,得到标注信息。根据波形文件(1.fsdb)和标注信息,自动生成验证向量的波形描述信息文件(wave.v),进而从波形描述信息文件(wave.v)中获取波形描述信息。
在一些实施例中,目标仿真数据包括回归测试数据或第二仿真数据,第二仿真数据是第一仿真数据修改后的数据。
回归测试数据可以用于验收数据或者数据的回测,此时回归测试数据为第一仿真数据。
第二仿真数据可以用于数据修改测试,数据修改测试一般用于对功能进行优化时的测试。具体地,一个完整的设计包括多个功能,当设计完成且仿真验证后,要对某个功能进行优化设计时,需要经过再次仿真验证,即做数据修改测试,此时第二仿真数据可以是第一仿真数据修改后的数据。验证目标为除优化功能外,其余的功能都不变,即仿真结果不变。
S120,对待验证的目标仿真数据进行仿真,得到目标波形信息。
作为一个示例,对待验证的仿真数据b进行仿真,生成验证结果波形文件(2.fsdb)文件,波形文件(2.fsdb)中包含仿真数据b的波形信息。
S130,比较波形描述信息与目标波形信息。
在一种实施方式中,通过预设的波形对比程序,比较波形描述信息与目标波形信息。
在一个示例中,在验证回归测试结果是否与预期一致时,需要对回归测试数据进行仿真,得到波形文件(2.fsdb),接着,通过预设的波形对比程序读取波形文件(2.fsdb),并在回归测试的仿真过程中,从波形文件(2.fsdb)中提取与波形描述信息文件(wave.v)的波形对应的信号波形,从而根据波形对应的数值进行对比验证。
S140,在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。
作为一个示例,读取波形文件(2.fsdb),并自动判断波形文件(2.fsdb)中对应的仿真波形的数值是否与波形描述信息文件(wave.v)中的仿真波形的数值一致,若一致则说明验证通过,输出验证通过信息,若不一致则说明验证失败,需要重新核实数据,输出失败信息并停止仿真。
示例性地,若在回归测试的仿真过程中打印语句为“simulation is pass!”,则说明仿真结果与预期一致,若打印语句为“simulation is failed!”,则说明仿真结果与预期有差异,需要核实回归测试数据。
本申请实施例中,通过获取待验证的目标仿真数据,对待验证的目标仿真数据进行仿真,得到目标波形信息。接着,获取根据第一波形信息和第一波形信息的标注信息生成的波形描述信息,波形描述信息包括第一波形信息中与标注信息对应的波形信息。进而比较波形描述信息与目标波形信息,在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。这样,可以自动生成波形描述信息对仿真结果的一致性进行验证,不需要验证人员手动操作对比验证结果,减少了仿真验证成本,提高了验证效率和准确性。
在一些实施例中,如图2所示,在S110之前,该仿真结果的验证方法还可以包括S150-S170,具体如下所示:
S150,基于预设仿真激励信号,对第一仿真数据进行仿真,得到第一波形信息。
S160,对第一波形信息的预设信号和预设时间节点进行标注,得到第一波形信息的标注信息。
S170,根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
预设仿真激励信号可以是用户预先设置的激励信号,可以存储于激励文件中。预设信号可以是用户预先设置的需要观测的关键设计模块的信号及关键信号,预设时间节点可以是用户预先设置的需要观测的预设信号的时间节点。
作为一个示例,将初始设计的数据和仿真激励信号1在EDA工具中进行仿真验证,生成的仿真验证结果以通用格式.fsdb体现,即生成验证结果波形文件(1.fsdb)文件。在调试验证结果的过程中,在波形查看器中加载波形文件(1.fsdb),对波形文件(1.fsdb)中需要观测的关键设计模块的信号及关键信号,以及需要观测的信号的时间节点进行标注,得到标注信息。例如,如图3所示,波形文件(1.fsdb)保存了所有的信号,但是仿真验证结果是否正确只需要观测时钟信号(Clock,CLK)、电平输出信号Q信号、测试模式选择(Test ModeSelect,TMS)信号的波形在某一时段是否正确,因此在波形查看器中加载需要观测的信号CLK、Q、TMS的波形,并使用标记工具(marker)标注要观测的时间段的时间节点,即起始时间31和终止时间32,标注后的时间段为起始时间31至终止时间32。
根据波形文件(1.fsdb)和标注信息,从波形文件(1.fsdb)中提取与标注信息对应的波形信息,生成与标注信息对应的描述信息文件(wave.v),并自动对描述信息文件(wave.v)中描述信息的信号名称添加后缀_ref。
本申请实施例中,通过基于预设仿真激励信号,对第一仿真数据进行仿真,得到第一波形信息,并对第一波形信息的预设信号和预设时间节点进行标注,得到第一波形信息的标注信息,这样,可以提高标注信息的准确性,从而根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息,提高了生成波形描述信息的准确性。
基于此,本申请实施例提供了下述两种生成波形描述信息的方式,具体如下所示。
在一些实施例中,上述 S160具体可以包括:
基于预设转换程序,根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
预设转换程序可以是能够将标注信息对应的波形信息转换成波形描述信息的程序,例如可以是用Verilog语言实现的转换程序。
本申请实施例中,基于预设转换程序,根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息,进一步提高了生成波形描述信息的准确性。
在一些实施例中,上述 S160还可以包括:
根据与标注信息对应的波形信息和标注信息,生成脚本文件;
根据第一波形信息和脚本文件中的标注信息,生成与标注信息对应的波形描述信息。
脚本文件可以是包括当前加载波形的信号信息和标注信息的文件,可以是.rc 格式的文件,例如signal.rc文件。读取脚本文件中的标注信息,从第一波形信息中提取与标注信息对应的波形信息,生成与标注信息对应的波形描述信息。
基于此,在一种实施方式中,通过预设转换程序读取脚本文件,根据脚本文件中的标注信息,从第一波形信息中提取与标注信息对应的波形信息,生成与标注信息对应的波形描述信息。
作为一个示例,通过脚本转Verilog 程序读取脚本文件和波形文件(1.fsdb),根据脚本文件中的标注信息,从波形文件(1.fsdb)中提取与标注信息对应的波形信息,并生成与标注信息对应的描述信息文件(wave.v),描述信息文件(wave.v)中包括标注信息对应的关键信号的波形值变化等信息。
进一步的,在一种实施方式中,通过预设的波形对比程序,比较目标波形描述信息与目标波形信息。
示例性地,预设的波形对比程序为Verilog 与波形对比程序,在对目标仿真数据进行仿真前,在仿真激励文件中调用Verilog 与波形对比程序,接着,Verilog 与波形对比程序读取对目标仿真数据进行仿真得到的波形文件(2.fsdb),并从波形文件(2.fsdb)中提取与波形描述信息文件(wave.v)的波形对应的信号波形,从而根据波形对应的数值进行对比验证。
本申请实施例中,通过根据标注信息,生成脚本文件,并根据第一波形信息和脚本文件中的标注信息,生成与标注信息对应的波形描述信息,这样,便于提取标注信息,并且便于后续对波形描述信息的生成,提高了生成波形描述信息的效率。
在一些实施例中,S120:对目标仿真数据进行仿真,得到目标波形信息,具体可以包括:
基于预设仿真激励信号,对目标仿真数据进行仿真,得到目标波形信息。
示例性地,将目标仿真数据和仿真激励信号1在EDA工具中进行仿真验证,生成的仿真验证结果以通用格式fsdb体现,即生成验证结果波形文件(2.fsdb),波形文件(2.fsdb)中包括目标仿真数据的波形信息。
本申请实施例中,基于与对第一仿真数据仿真时同样的预设仿真激励信号,对目标仿真数据进行仿真,可以根据相同激励信号得到第一波形信息和目标波形信息,便于观察仿真结果与预期的一致性。
图4是根据一示例性实施例示出的一种仿真结果的验证装置400的结构示意图。
如图4所示,该仿真结果的验证装置400可以包括:
获取模块401,用于获取待验证的目标仿真数据和波形描述信息,其中,波形描述信息是根据第一波形信息和第一波形信息的标注信息生成,第一波形信息是对第一仿真数据仿真得到的,波形描述信息包括第一波形信息中与标注信息对应的波形信息;
仿真模块402,用于对待验证的目标仿真数据进行仿真,得到目标波形信息;
比较模块403,用于比较波形描述信息与目标波形信息;
输出模块404,用于在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。
在一种实施方式中,该仿真结果的验证装置400还可以包括标注模块和生成模块;
仿真模块402,还用于在获取待验证的目标仿真数据和波形描述信息之前,基于预设仿真激励信号,对第一仿真数据进行仿真,得到第一波形信息;
标注模块,用于对第一波形信息的预设信号和预设时间节点进行标注,得到第一波形信息的标注信息;
生成模块,用于根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,生成模块,还用于基于预设转换程序, 根据第一波形信息和标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,生成模块,还用于根据与标注信息对应的波形信息和标注信息,生成脚本文件;
生成模块,还用于根据第一波形信息和脚本文件中的标注信息,生成与标注信息对应的波形描述信息。
在一种实施方式中,仿真模块402,还用于基于预设仿真激励信号,对目标仿真数据进行仿真,得到目标波形信息。
在一种实施方式中,目标仿真数据包括回归测试数据或第二仿真数据,第二仿真数据是第一仿真数据修改后的数据。
由此,通过获取待验证的目标仿真数据,对待验证的目标仿真数据进行仿真,得到目标波形信息。接着,获取根据第一波形信息和第一波形信息的标注信息生成的波形描述信息,波形描述信息包括第一波形信息中与标注信息对应的波形信息。进而比较波形描述信息与目标波形信息,在波形描述信息与目标波形信息满足预设条件的情况下,输出验证通过信息。这样,可以自动生成波形描述信息对仿真结果的一致性进行验证,不需要验证人员手动操作对比验证结果,减少了仿真验证成本,提高了验证效率和准确性。
图5示出了本申请实施例提供的电子的硬件结构示意图。
在电子设备可以包括处理器501以及存储有计算机程序指令的存储器502。
具体地,上述处理器501可以包括中央处理器(CPU),或者特定集成电路(Application Specific Integrated Circuit ,ASIC),或者可以被配置成实施本申请实施例的一个或多个集成电路。
存储器502可以包括用于数据或指令的大容量存储器。举例来说而非限制,存储器502可包括硬盘驱动器(Hard Disk Drive,HDD)、软盘驱动器、闪存、光盘、磁光盘、磁带或通用串行总线(Universal Serial Bus,USB)驱动器或者两个或更多个以上这些的组合。在合适的情况下,存储器502可包括可移除或不可移除(或固定)的介质。在合适的情况下,存储器502可在综合网关容灾设备的内部或外部。在特定实施例中,存储器502是非易失性固态存储器。
存储器可包括只读存储器(ROM),随机存取存储器(RAM),磁盘存储介质设备,光存储介质设备,闪存设备,电气、光学或其他物理/有形的存储器存储设备。因此,通常,存储器包括一个或多个编码有包括计算机可执行指令的软件的有形(非暂态)计算机可读存储介质(例如,存储器设备),并且当该软件被执行(例如,由一个或多个处理器)时,其可操作来执行参考根据本公开的一方面的方法所描述的操作。
处理器501通过读取并执行存储器502中存储的计算机程序指令,以实现上述实施例中的任意一种仿真结果的验证方法。
在一个示例中,电子设备还可包括通信接口503和总线510。其中,如图5所示,处理器501、存储器502、通信接口503通过总线510连接并完成相互间的通信。
通信接口503,主要用于实现本申请实施例中各模块、装置、单元和/或设备之间的通信。
总线510包括硬件、软件或两者,将仿真结果的验证设备的部件彼此耦接在一起。举例来说而非限制,总线可包括加速图形端口(AGP)或其他图形总线、增强工业标准架构(EISA)总线、前端总线(FSB)、超传输(HT)互连、工业标准架构(ISA)总线、无限带宽互连、低引脚数(LPC)总线、存储器总线、微信道架构(MCA)总线、***组件互连(PCI)总线、PCI-Express(PCI-X)总线、串行高级技术附件(SATA)总线、视频电子标准协会局部(VLB)总线或其他合适的总线或者两个或更多个以上这些的组合。在合适的情况下,总线510可包括一个或多个总线。尽管本申请实施例描述和示出了特定的总线,但本申请考虑任何合适的总线或互连。
该电子设备可以基于获取的待验证的目标仿真数据和波形描述信息执行本申请实施例中的仿真结果的验证方法,从而实现结合图1描述的仿真结果的验证方法。
另外,结合上述实施例中的仿真结果的验证方法,本申请实施例可提供一种计算机存储介质来实现。该计算机存储介质上存储有计算机程序指令;该计算机程序指令被处理器执行时实现上述实施例中的任意一种仿真结果的验证方法。
需要明确的是,本申请并不局限于上文所描述并在图中示出的特定配置和处理。为了简明起见,这里省略了对已知方法的详细描述。在上述实施例中,描述和示出了若干具体的步骤作为示例。但是,本申请的方法过程并不限于所描述和示出的具体步骤,本领域的技术人员可以在领会本申请的精神后,作出各种改变、修改和添加,或者改变步骤之间的顺序。
以上所述的结构框图中所示的功能块可以实现为硬件、软件、固件或者它们的组合。当以硬件方式实现时,其可以例如是电子电路、专用集成电路(ASIC)、适当的固件、插件、功能卡等等。当以软件方式实现时,本申请的元素是被用于执行所需任务的程序或者代码段。程序或者代码段可以存储在机器可读介质中,或者通过载波中携带的数据信号在传输介质或者通信链路上传送。“机器可读介质”可以包括能够存储或传输信息的任何介质。机器可读介质的例子包括电子电路、半导体存储器设备、ROM、闪存、可擦除ROM(EROM)、软盘、CD-ROM、光盘、硬盘、光纤介质、射频(RF)链路,等等。代码段可以经由诸如因特网、内联网等的计算机网络被下载。
还需要说明的是,本申请中提及的示例性实施例,基于一系列的步骤或者装置描述一些方法或***。但是,本申请不局限于上述步骤的顺序,也就是说,可以按照实施例中提及的顺序执行步骤,也可以不同于实施例中的顺序,或者若干步骤同时执行。
上面参考根据本公开的实施例的方法、装置(***)和计算机程序产品的流程图和/或框图描述了本公开的各方面。应当理解,流程图和/或框图中的每个方框以及流程图和/或框图中各方框的组合可以由计算机程序指令实现。这些计算机程序指令可被提供给通用计算机、专用计算机、或其它可编程数据处理装置的处理器,以产生一种机器,使得经由计算机或其它可编程数据处理装置的处理器执行的这些指令使能对流程图和/或框图的一个或多个方框中指定的功能/动作的实现。这种处理器可以是但不限于是通用处理器、专用处理器、特殊应用处理器或者现场可编程逻辑电路。还可理解,框图和/或流程图中的每个方框以及框图和/或流程图中的方框的组合,也可以由执行指定的功能或动作的专用硬件来实现,或可由专用硬件和计算机指令的组合来实现。
以上所述,仅为本申请的具体实施方式,所属领域的技术人员可以清楚地了解到,为了描述的方便和简洁,上述描述的***、模块和单元的具体工作过程,可以参考前述方法实施例中的对应过程,在此不再赘述。应理解,本申请的保护范围并不局限于此,任何熟悉本技术领域的技术人员在本申请揭露的技术范围内,可轻易想到各种等效的修改或替换,这些修改或替换都应涵盖在本申请的保护范围之内。

Claims (9)

1.一种仿真结果的验证方法,其特征在于,包括:
获取待验证的目标仿真数据和波形描述信息,其中,所述波形描述信息是根据第一波形信息和所述第一波形信息的标注信息生成,所述第一波形信息是对第一仿真数据仿真得到的,所述波形描述信息包括所述第一波形信息中与所述标注信息对应的波形信息;
对所述待验证的目标仿真数据进行仿真,得到目标波形信息;
从所述目标波形信息中提取与所述波形描述信息的波形对应的信号波形信息;
比较所述波形描述信息与所述信号波形信息;
在所述波形描述信息与所述信号波形信息满足预设条件的情况下,输出验证通过信息;
其中,所述标注信息是对第一波形信息的预设信号和预设时间节点进行标注得到的;所述第一仿真数据是集成电路设计仿真验证的初始设计数据。
2.根据权利要求1所述的方法,其特征在于,在所述获取待验证的目标仿真数据和波形描述信息之前,所述方法包括:
基于预设仿真激励信号,对第一仿真数据进行仿真,得到所述第一波形信息;
对所述第一波形信息的预设信号和预设时间节点进行标注,得到所述第一波形信息的标注信息;
根据所述第一波形信息和所述标注信息,生成与所述标注信息对应的所述波形描述信息。
3.根据权利要求2所述的方法,其特征在于,所述根据所述第一波形信息和所述标注信息,生成与所述标注信息对应的波形描述信息,包括:
基于预设转换程序, 根据所述第一波形信息和所述标注信息,生成与所述标注信息对应的波形描述信息。
4.根据权利要求2所述的方法,其特征在于,所述根据所述第一波形信息和所述标注信息,生成与所述标注信息对应的波形描述信息,包括:
根据与所述标注信息对应的波形信息和所述标注信息,生成脚本文件;
根据所述第一波形信息和所述脚本文件中的所述标注信息,生成与所述标注信息对应的波形描述信息。
5.根据权利要求2至4任一项所述的方法,其特征在于,所述对所述目标仿真数据进行仿真,得到目标波形信息,包括:
基于所述预设仿真激励信号,对所述目标仿真数据进行仿真,得到所述目标波形信息。
6.根据权利要求1所述的方法,其特征在于,所述目标仿真数据包括回归测试数据或第二仿真数据,所述第二仿真数据是所述第一仿真数据修改后的数据。
7.一种仿真结果的验证装置,其特征在于,所述装置包括:
获取模块,用于获取待验证的目标仿真数据和波形描述信息,其中,所述波形描述信息是根据第一波形信息和所述第一波形信息的标注信息生成,所述第一波形信息是对第一仿真数据仿真得到的,所述波形描述信息包括所述第一波形信息中与所述标注信息对应的波形信息;
仿真模块,用于对所述待验证的目标仿真数据进行仿真,得到目标波形信息;
提取模块,用于从所述目标波形信息中提取与所述波形描述信息的波形对应的信号波形信息;
比较模块,用于比较所述波形描述信息与所述信号波形信息;
输出模块,用于在所述波形描述信息与所述信号波形信息满足预设条件的情况下,输出验证通过信息;
其中,所述标注信息是对第一波形信息的预设信号和预设时间节点进行标注得到的;所述第一仿真数据是集成电路设计仿真验证的初始设计数据。
8.一种电子设备,其特征在于,所述设备包括:处理器,以及存储有计算机程序指令的存储器;所述处理器读取并执行所述计算机程序指令,以实现如权利要求1-6任意一项所述的仿真结果的验证方法。
9.一种计算机存储介质,其特征在于,所述计算机存储介质上存储有计算机程序指令,所述计算机程序指令被处理器执行时实现如权利要求1-6任意一项所述的仿真结果的验证方法。
CN202210413409.0A 2022-04-20 2022-04-20 仿真结果的验证方法、装置、设备及计算机存储介质 Active CN114510902B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202210413409.0A CN114510902B (zh) 2022-04-20 2022-04-20 仿真结果的验证方法、装置、设备及计算机存储介质

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210413409.0A CN114510902B (zh) 2022-04-20 2022-04-20 仿真结果的验证方法、装置、设备及计算机存储介质

Publications (2)

Publication Number Publication Date
CN114510902A CN114510902A (zh) 2022-05-17
CN114510902B true CN114510902B (zh) 2022-07-26

Family

ID=81555062

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210413409.0A Active CN114510902B (zh) 2022-04-20 2022-04-20 仿真结果的验证方法、装置、设备及计算机存储介质

Country Status (1)

Country Link
CN (1) CN114510902B (zh)

Families Citing this family (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN115310213B (zh) * 2022-10-12 2023-01-17 玛斯特轻量化科技(天津)有限公司 一种零件连接可达性仿真验证的方法及装置
CN115481133B (zh) * 2022-11-14 2023-03-17 上海概伦电子股份有限公司 瞬态仿真波形存储方法、***、设备及可读介质

Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112906219A (zh) * 2021-02-10 2021-06-04 北京博电新力电气股份有限公司 远程实时仿真的方法、装置、设备及计算机存储介质
CN113032261A (zh) * 2021-03-23 2021-06-25 北京三快在线科技有限公司 一种仿真测试的方法及装置

Family Cites Families (16)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2003337845A (ja) * 2002-05-21 2003-11-28 Matsushita Electric Ind Co Ltd エミュレーション装置、及び、エミュレーション方法
CN101079077A (zh) * 2006-05-23 2007-11-28 上海微电子设计有限公司 一种电路功能自动验证程序产品
CN102314532B (zh) * 2010-07-02 2015-06-03 中兴通讯股份有限公司 一种ibis模型验证方法和***
CN104063526A (zh) * 2013-03-21 2014-09-24 北京华大九天软件有限公司 一种集成电路仿真波形比较方法
CN109740250B (zh) * 2018-12-29 2022-03-18 湖北航天技术研究院总体设计所 基于uvm的fpga软件验证结果仿真波形的获取方法和***
CN109710536B (zh) * 2018-12-29 2022-03-18 湖北航天技术研究院总体设计所 一种自动提取fpga软件验证结果仿真波形的***及方法
CN110059395A (zh) * 2019-04-12 2019-07-26 云南师范大学 一种红外成像自动聚焦fpga***的可视化调试方法
CN110688269B (zh) * 2019-09-12 2023-03-14 武汉极目智能技术有限公司 采用axi总线接口的rtl代码自动化验证装置及方法
CN115803642A (zh) * 2020-07-09 2023-03-14 特克特朗尼克公司 自动协助电路验证
US11023635B1 (en) * 2020-07-27 2021-06-01 Synopsys, Inc. Sequence of frames generated by emulation and waveform reconstruction using the sequence of frames
CN112285538B (zh) * 2020-10-30 2022-09-20 国核自仪***工程有限公司 芯片测试方法及***
CN112364439B (zh) * 2020-12-02 2021-11-02 腾讯科技(深圳)有限公司 自动驾驶***的仿真测试方法、装置以及存储介质
CN113312879B (zh) * 2021-07-28 2021-11-09 北京燧原智能科技有限公司 芯片电路功能验证***、方法、设备及存储介质
CN113779912B (zh) * 2021-11-12 2022-02-11 上海燧原科技有限公司 一种芯片验证***、方法、装置、电子设备及存储介质
CN114154444A (zh) * 2021-11-12 2022-03-08 山东云海国创云计算装备产业创新中心有限公司 一种芯片仿真验证方法、***、装置及可读存储介质
CN114266210A (zh) * 2021-12-20 2022-04-01 眸芯科技(上海)有限公司 芯片ate测试中的wgl文件处理方法及应用

Patent Citations (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN112906219A (zh) * 2021-02-10 2021-06-04 北京博电新力电气股份有限公司 远程实时仿真的方法、装置、设备及计算机存储介质
CN113032261A (zh) * 2021-03-23 2021-06-25 北京三快在线科技有限公司 一种仿真测试的方法及装置

Also Published As

Publication number Publication date
CN114510902A (zh) 2022-05-17

Similar Documents

Publication Publication Date Title
CN114510902B (zh) 仿真结果的验证方法、装置、设备及计算机存储介质
US5867395A (en) Gate netlist to register transfer level conversion tool
CN112084109A (zh) ***测试方法、装置、设备及介质
CN115202947A (zh) 基于调试接口的芯片测试向量生成方法
CN110632499A (zh) 基于测试对象的测试向量生成方法及存储介质
CN115656791B (zh) 芯片可测性设计的测试方法及测试平台
CN115684896B (zh) 芯片可测性设计测试方法、测试平台及其生成方法及装置
CN115952760A (zh) 一种数模电路仿真方法、装置、设备及计算机存储介质
US20110225559A1 (en) Logic verifying apparatus, logic verifying method, and medium
CN114840191A (zh) 软件代码自动生成方法、装置、设备及可读存储介质
CN115684895B (zh) 芯片可测性设计测试方法、测试平台及其生成方法及装置
CN115684894B (zh) 芯片可测性设计的测试方法及测试平台
CN116257223A (zh) 数据隔离开发方法、装置、设备、可读存储介质及产品
CN112567375A (zh) 形式验证方法、信息识别方法、设备和存储介质
CN114519279A (zh) 仿真结果的验证方法、装置、设备及计算机存储介质
CN113611348B (zh) 打点方法、装置、电子设备及存储介质
CN115186741A (zh) 一种兴趣点poi融合数据验证的方法、装置及设备
CN115113871A (zh) 基于数据中台的前端代码版本信息查看方法、装置及设备
US10496767B1 (en) System and method for enhanced characterization for system identification of non-linear systems
Choudhury et al. Accelerating CDC Verification Closure on Gate-Level Designs
CN117312149A (zh) 假数据的生成方法、装置、设备、存储介质和程序产品
CN115616387B (zh) 一种基于芯片的控制信号校准方法、***
CN114090014A (zh) 程序拆分方法、装置、设备及计算机存储介质
CN117033390A (zh) 信息比对方法、装置、设备、介质及产品
CN115422085A (zh) 单元测试方法、装置、设备、存储介质及产品

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