CN112069749A - 一种电源连接验证方法、装置、电子设备和存储介质 - Google Patents

一种电源连接验证方法、装置、电子设备和存储介质 Download PDF

Info

Publication number
CN112069749A
CN112069749A CN202010965068.9A CN202010965068A CN112069749A CN 112069749 A CN112069749 A CN 112069749A CN 202010965068 A CN202010965068 A CN 202010965068A CN 112069749 A CN112069749 A CN 112069749A
Authority
CN
China
Prior art keywords
power supply
information
port
integrated circuit
power
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.)
Granted
Application number
CN202010965068.9A
Other languages
English (en)
Other versions
CN112069749B (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.)
Chengdu Haiguang Microelectronics Technology Co Ltd
Original Assignee
Chengdu Haiguang Microelectronics 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 Chengdu Haiguang Microelectronics Technology Co Ltd filed Critical Chengdu Haiguang Microelectronics Technology Co Ltd
Priority to CN202010965068.9A priority Critical patent/CN112069749B/zh
Publication of CN112069749A publication Critical patent/CN112069749A/zh
Application granted granted Critical
Publication of CN112069749B publication Critical patent/CN112069749B/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/32Circuit design at the digital level
    • G06F30/327Logic synthesis; Behaviour synthesis, e.g. mapping logic, HDL to netlist, high-level language to RTL or netlist
    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F30/00Computer-aided design [CAD]
    • G06F30/30Circuit design
    • G06F30/32Circuit design at the digital level
    • G06F30/33Design verification, e.g. functional simulation or model checking
    • G06F30/3308Design verification, e.g. functional simulation or model checking using simulation
    • G06F30/3312Timing analysis

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)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本申请提供一种电源连接验证方法、装置、电子设备和存储介质,该方法包括获取目标集成电路的网表;对网表进行解析,以获得目标集成电路的所有器件中每一器件的器件信息以及每一器件的各个端口关联的电源信息;根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;根据所有器件的检测结果判断目标集成电路的电源连接是否出现错误,并在目标集成电路的电源连接出现错误时输出出现错误的器件信息。

Description

一种电源连接验证方法、装置、电子设备和存储介质
技术领域
本申请涉及集成电路技术领域,具体而言,涉及一种电源连接验证方法、装置、电子设备和存储介质。
背景技术
在集成电路设计中,会出现多电源域的情况,如果电源连接错误会导致芯片无法正常工作。
目前的电源连接验证办法是顶层的设计利用统一电源格式(Unified PowerFormat,UPF)以及时序表征文件中的端口相关电源来保证电源的连接正确性,但这样的方式由于时序表征文件中的信息会偶尔出现错误而导致最终电源连接性验证的结果可能错误的,进而存在电源连接验证可靠性低的问题。
发明内容
本申请实施例的目的在于提供一种电源连接验证方法、装置、电子设备和存储介质,用以解决目前电源连接验证方法中由于时序表征文件中的信息会偶尔出现错误而导致最终电源连接性验证的结果是错误的,进而存在验证可靠性低的问题。
第一方面,本发明实施例提供一种电源连接验证方法,所述方法包括:获取目标集成电路的网表;对所述网表进行解析,以获得所述目标集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息;根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;根据所有器件的检测结果判断所述目标集成电路的电源连接是否出现错误,并在所述目标集成电路的电源连接出现错误时输出出现错误的器件信息。
在上述设计的电源连接验证方法中,本方案通过对获取的目标集成电路的网表进行解析来获得该目标集成电路的所有器件中每一器件的器件信息和该器件的各个端口关联的电源信息,进而利用每一器件的器件信息和其各个端口关联的电源信息来对每一个器件信息进行检测,进而获得所有器件的检测结果,最后依据所有器件的检测结果来判定目标集成电路的电源连接是否出现错误并且在出现错误时将错误的器件信息进行输出进而实现电源连接的验证,由此可得本方案在验证时只需单一输入目标集成电路的网表即可实现目标集成电路的电源连接性验证,不需要额外的其他输入文件,减少对输入文件的依赖,并且通过LVS验证后的网表相对于时序表征文件的可靠性更高,保证了正确性和可靠性,解决了目前电源连接验证方法中由于时序表征文件中的信息会偶尔出现错误而导致最终电源连接性验证的结果是错误的,进而存在验证可靠性低的问题,提高了集成电路的电源连接验证的可靠性和准确性。
在第一方面的可选实施方式中,所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果,包括:获取所述目标集成电路中的至少一个预设电平转换电路信息,所述预设电平转换电路信息包括属于所述预设电平转换电路的预设器件的预设器件信息以及所述预设器件的每一端口关联的预设电源信息;根据每一器件的器件信息和每一所述预设器件信息判断对应器件是否属于预设的电平转换电路;若属于预设的电平转换电路,则判断所述器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息是否一致;若所述器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息不一致,则确定所述器件的检测结果为连接出现错误。
在第一方面的可选实施方式中,所述器件的每一端口关联的电源信息包括所述器件的栅极端口关联的电源信息以及源极端口关联的电源信息,在所述根据每一器件的器件信息和每一所述预设器件信息判断对应器件是否属于预设的电平转换电路之后,所述方法还包括:若所述器件不属于电平转换电路,则判断所述器件的栅极端口关联的电源信息与源极端口关联的电源信息是否一致;若所述器件的栅极端口关联的电源信息与源极端口关联的电源信息不一致,则确定所述器件的检测结果为连接出现错误。
在第一方面的可选实施方式中,所述电源信息包括电源电压,在所述判断所述器件的栅极端口关联的电源信息与源极端口关联的电源信息是否一致之后,所述方法还包括:若所述器件的栅极端口关联的电源信息与源极端口关联的电源信息一致,则获取所述器件对应的耐受电压;根据所述器件每一端口关联的电源信息判断是否存在电源电压大于所述器件对应的耐受电压的电源信息;若存在电源电压大于所述器件对应的耐受电压的电源信息,则确定所述器件的检测结果为连接出现错误。
在上述设计的实施方式中,通过先判断器件是否属于电平转换电路,然后对属于电平转换电路和不属于电平转换电路的器件采用不同的判断方式来电源连接正确性判断,进而针对不同种类的采用不同的验证技术手段,以提高器件的电源连接验证的准确率。
在第一方面的可选实施方式中,在所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测之前,所述方法还包括:获取所述目标集成电路中的多个期望电源信息;判断所述获得的所述集成电路的所有器件的电源信息与所述多个期望电源信息是否一致;若所述集成电路的所有器件的电源信息与所述多个期望电源信息一致,则执行所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测的步骤。
在第一方面的可选实施方式中,在所述判断所述获得的所述集成电路的所有器件的电源信息与所述多个期望电源信息是否一致之后,所述方法还包括:若所述集成电路的所有器件的电源信息与所述多个期望电源信息不一致,则返回执行对所述网表进行解析的步骤,以再次解析获得所述集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息。
在上述设计的实施方式中,通过获取多个期望的电源信息和解析得到的所有器件的电源信息进行比对,进而判定解析得到的信息是否完整和准确,为后续进行器件的电源连接性验证提供准确和完整的数据支撑,保障验证结果的准确性。
在第一方面的可选实施方式中,所述根据所有器件的检测结果判断所述目标集成电路的电源连接是否出现错误,包括:判断所有器件的检测结果中是否存在连接出现错误的检测结果,若是,则判断所述目标集成电路的电源连接出现错误。
第二方面,本发明实施例提供一种电源连接验证装置,所述装置包括:获取模块,用于获取目标集成电路的网表;解析模块,用于对所述网表进行解析,以获得所述集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息;检测模块,用于根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;判断模块,用于根据所有器件的检测结果判断所述目标集成电路的电源连接是否出现错误,并在所述目标集成电路的电源连接出现错误时输出出现错误的器件信息。
在上述设计的电源连接验证装置中,本方案通过对获取的目标集成电路的网表进行解析来获得该目标集成电路的所有器件中每一器件的器件信息和该器件的各个端口关联的电源信息,进而利用每一器件的器件信息和其各个端口关联的电源信息来对每一个器件信息进行检测,进而获得所有器件的检测结果,最后依据所有器件的检测结果来判定目标集成电路的电源连接是否出现错误并且在出现错误时将错误的器件信息进行输出进而实现电源连接的验证,由此可得本方案在验证时只需单一输入目标集成电路的网表即可实现目标集成电路的电源连接性验证,不需要额外的其他输入文件,减少对输入文件的依赖,并且通过LVS验证后的网表相对于时序表征文件的可靠性更高,保证了正确性和可靠性,解决了目前电源连接验证方法中由于时序表征文件中的信息会偶尔出现错误而导致最终电源连接性验证的结果是错误的,进而存在验证可靠性低的问题,提高了集成电路的电源连接验证的可靠性和准确性。
在第二方面的可选实施方式中,所述检测模块,具体用于获取所述目标集成电路中的至少一个预设电平转换电路信息,所述预设电平转换电路信息包括属于所述预设电平转换电路的预设器件的预设器件信息以及所述预设器件的每一端口关联的预设电源信息;根据每一器件的器件信息和每一所述预设器件信息判断对应器件是否属于预设的电平转换电路;若属于预设的电平转换电路,则判断所述器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息是否一致;若所述器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息不一致,则确定所述器件的检测结果为连接出现错误。
在第二方面的可选实施方式中,所述获取模块,还用于获取所述目标集成电路中的多个期望电源信息;所述判断模块,还用于判断所述获得的所述集成电路的所有器件的电源信息与所述多个期望电源信息是否一致,若一致,则执行所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测的步骤。
在第二方面的可选实施方式中,所述判断模块,具体用于判断所有器件的检测结果中是否存在连接出现错误的检测结果,若是,则判断所述目标集成电路的电源连接出现错误。
第三方面,实施例提供一种电子设备,包括存储器和处理器,所述存储器存储有计算机程序,所述处理器执行所述计算机程序时执行第一方面、第一方面的任一可选的实现方式中的所述方法。
第四方面,实施例提供一种存储介质,其上存储有计算机程序,所述计算机程序被处理器执行时执行第一方面、第一方面的任一可选的实现方式中的所述方法。
第五方面,实施例提供了一种计算机程序产品,所述计算机程序产品在计算机上运行时,使得计算机执行第一方面、第一方面的任一可选的实现方式中的所述方法。
附图说明
为了更清楚地说明本申请实施例的技术方案,下面将对本申请实施例中所需要使用的附图作简单地介绍,应当理解,以下附图仅示出了本申请的某些实施例,因此不应被看作是对范围的限定,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他相关的附图。
图1为本申请实施例提供的电源连接验证方法的第一流程图;
图2为本申请实施例提供的电源连接验证方法的第二流程图;
图3为本申请实施例提供的电源连接验证方法的第三流程图;
图4为本申请实施例提供的电源连接验证方法的第四流程图;
图5为本申请实施例提供的电源连接验证装置结构示意图;
图6为本申请实施例提供的电子设备结构示意图。
图标:200-获取模块;201-解析模块;202-检测模块;203-判断模块;3-电子设备;301-处理器;302-存储器;303-通信总线。
具体实施方式
下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行描述。
第一实施例
本申请提供一种电源连接验证方法,该方法可用于对集成电路或芯片中电源的连接正确性进行验证,该方法具体包括如下步骤:
步骤S100:获取目标集成电路的网表。
步骤S102:对网表进行解析,以获得集成电路的所有器件中每一器件的器件信息以及每一器件的各个端口关联的电源信息。
步骤S104:根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果。
步骤S106:根据所有器件的检测结果判断目标集成电路的电源连接是否出现错误。
步骤S108:在目标集成电路的电源连接出现错误时输出出现错误的器件信息。
在步骤S100所说的网表是在集成电路进行签核之前用来验证集成电路并且通过了电路规则检查工具(Layout versus schematic,LVS)检查的网表,该网表中包含有每一个器件以及对应的连接信息。另外,这里需要说明的是由于本方案是采用的通过了电路规则检查的网表,因此,本方案网表中的数据相对于统一电源格式(Unified Power Format,UPF)以及时序表征文件可靠性更高,本方案在执行步骤S100获取到上述所说的网表之后,即可执行步骤S102。
在步骤S102中,前述已经描述到获取到的网表包含了每一个器件以及对应的连接信息,本方案需要对网表进行解析进而从每一个器件以及对应的连接信息中解析出每一个器件的器件信息以及该器件的每一端口连接的电源,具体的,可以根据一个预设的数据结构从每一个器件以及对应的连接信息中解析出每一器件的数据结构,该数据结构包含有每一个器件的器件信息以及该器件的每一端口连接的电源,进而获得集成电路的所有器件中每一器件的器件信息以及每一器件的各个端口关联的电源信息。其中,本方案所说的器件可以为晶体管等器件设备,器件信息可以是晶体管的命名,每一器件的各个端口可以是晶体管的栅极、源极、漏极三个端口,电源信息可以是电源的名词、电源的电压值等。在本方案通过步骤S102获得集成电路的所有器件中每一器件的器件信息以及每一器件的各个端口关联的电源信息之后,即可执行步骤S104。
在步骤S104中,本方案会逐次根据每一器件的器件信息以及其各个端口关联的电源信息来对对应的器件进行检测,进而实现依次对每一器件进行检测,得到每一器件的检测结果最终得到多个检测结果。
在上述的基础上,本方案会继续执行步骤S106根据所有器件的检测结构来判断目标集成电路的电源连接是否出现错误,进而在判断出现错误时将出现错误的器件信息输出,使得设计人员能够清楚地知道具体是哪个电源连接出现错误。
在上述设计的电源连接验证方法中,本方案通过对获取的目标集成电路的网表进行解析来获得该目标集成电路的所有器件中每一器件的器件信息和该器件的各个端口关联的电源信息,进而利用每一器件的器件信息和其各个端口关联的电源信息来对每一个器件信息进行检测,进而获得所有器件的检测结果,最后依据所有器件的检测结果来判定目标集成电路的电源连接是否出现错误并且在出现错误时将错误的器件信息进行输出进而实现电源连接的验证,由此可得本方案在验证时只需单一输入目标集成电路的网表即可实现目标集成电路的电源连接性验证,不需要额外的其他输入文件,减少对输入文件的依赖,并且通过LVS验证后的网表相对于时序表征文件的可靠性更高,保证了正确性和可靠性,解决了目前电源连接验证方法中由于时序表征文件中的信息会偶尔出现错误而导致最终电源连接性验证的结果是错误的,进而存在验证可靠性低的问题,提高了集成电路的电源连接验证的可靠性和准确性。
在本实施例的可选实施方式中,前述对步骤S104的描述中已经描述到本方案会逐次根据每一器件的器件信息以及其各个端口关联的电源信息来对对应的器件进行检测,进而实现依次对每一器件进行检测,得到每一器件的检测结果,具体的,如图2所示,本方案会对每一器件执行如下步骤:
步骤S1040:获取目标集成电路中的至少一个预设电平转换电路信息,预设电平转换电路信息包括属于预设电平转换电路的预设器件的预设器件信息以及预设器件的每一端口关联的预设电源信息。
步骤S1041:根据器件的器件信息和每一预设器件信息判断对应器件是否属于预设的电平转换电路,若是,则转到步骤S1042到S1043;若否,则转到步骤S1044。
步骤S1042:判断器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息是否一致,若否则转到步骤S1043。
步骤S1043:确定器件的检测结果为连接出现错误。
步骤S1044:判断器件的栅极端口关联的电源信息与源极端口关联的电源信息是否一致,若否,则转到步骤S1043,若是,则转到步骤S1045。
步骤S1045:获取器件对应的耐受电压,根据器件每一端口关联的电源信息判断是否存在电源电压大于器件对应的耐受电压的电源信息,若是,则转到步骤S1043。
在步骤S1040中,本方案在对器件进行检测时首先会获取到目标集成电路中的至少一个预设的电平转换电路信息,该电平转换电路信息可包括属于电平转换电路的器件的预设器件信息以及该器件的每一端口关联的预设电源信息,预设的电平转换电路信息可预先进行配置,在本方案执行步骤S1040时直接调用即可,该至少一个预设的电平转换电路信息可由设计人员根据实际目标集成电路中具有的电平转换电路所具有的信息得到,例如设计人员可观察设计的目标集成电路中有多少个电平转换电路,每个电平转换电路中包含有哪些器件,包含的器件名称以及每个器件的每个端口关联的是哪个电源等等,然后来预设出至少一个电平转换电路信息。本方案在执行步骤S1040得到至少一个预设电平转换电路信息之后,即可执行步骤S1041。
在步骤S1041中,本方案会根据器件的器件信息和每一预设器件信息来判断该器件是不是属于预设的电平转换电路,也就是说在进行当前器件判断时会将当前器件的器件信息和步骤S1040中预设的电平转换电路中的所有预设器件信息进行一一比对,当其与某一预设器件信息相同时,则说明该器件是属于电平转换电路的,那么即可执行步骤S1042判断该属于电平转换电路的器件的器件信息对应的每一端口关联的电源信息和与该预设器件信息对应的每一端口关联的预设电源信息是否完全一致,若一致,则说明该器件的电源连接正确,若不一致,则说明该器件的电源连接出现错误,则执行步骤S1043确定该器件的检测结果为连接出现错误。
当执行步骤S1041比对器件信息与所有的预设器件信息都不相同时,则说明该器件不属于电平转换电路,前述已经说到器件大多数为晶体管器件,那么在其不属于电平转换电路的基础上,正确的电源连接情况是其栅极端口和源极端口连接的是同一电源,进而可通过步骤S1044该不属于电平转换电路的器件的栅极端口关联的电源信息和源极端口关联的电源信息是否一致进而来判断其电源连接的正确性,当该不属于电平转换电路的器件的栅极端口和源极端口关联的电源信息不一致时,则说明该器件的电源连接出现错误,那么则转到步骤S1043确定器件的检测结果为连接出现错误。
当该不属于电平转换电路的器件的栅极端口和源极端口关联的电源信息一致时,还需要对该器件做进一步判断才能说明该器件的电源连接是否正确,即执行步骤S1045获取该栅极端口和源极端口关联的电源信息一致的器件的耐受电压,然后根据该栅极端口和源极端口关联的电源信息一致的器件的每一端口关联的电源信息来判断是否存在有电源电压大于该器件的耐受电压的电源信息,若有大于耐受电压的电源信息,则说明该器件的电源连接还是出现错误,即可转到步骤S1043确定器件的检测结果为连接出现错误;当该器件每一端口关联的电源信息的电压不大于该器件的耐受电压,那么则说明该器件的电源连接正确,最终确定该不属于电平转换电路的器件的检测结果为连接正确。
通过对每一个器件均执行上述步骤来对每一个器件判断其是否属于电平转换电路,在其属于电平转换电路时进一步判断其每一端口关联的电源信息与预设的电源信息是否一致,在一致的情况下确定该器件的电源连接是正确的进而输出表示连接正确的检测结果,在不一致的情况下则确定该器件的电源连接是错误的,进而输出表示连接错误的检测结果;当该器件不属于电平转换电路,那么则判断该器件的栅极和源极关联的电源信息是否一致,在不一致的情况下输出表示连接错误的检测结果;在栅极和源极关联的电源信息一致的情况下,进一步判断该器件关联的电源信息的电压是否有超过其耐受电压的,若没有,则说明该不属于电平转换电路的器件的电源连接是正确的,进而输出表示连接正确的结果;当有电源信息的电压超过其耐受电压则说明该不属于电平转换电路的器件的电源连接是错误的,进而输出表示连接错误的结果;通过这样方式即可得到每个器件的检测结果。
在上述设计的实施方式中,通过先判断器件是否属于电平转换电路,然后对属于电平转换电路和不属于电平转换电路的器件采用不同的判断方式来电源连接正确性判断,进而针对不同种类的采用不同的验证技术手段,以提高器件的电源连接验证的准确率。
在本实施例的可选实施方式中,前述已经描述到通过步骤S104执行的步骤可以得到每个器件的检测结果,其中,每个器件的检测结果即为电源连接正确或电源连接错误,在此基础上,步骤S106根据所有器件的检测结果判断目标集成电路的电源连接是否出现错误,具体可以为:
步骤S1060:判断所有器件的检测结果中是否存在连接出现错误的检测结果,若存在,则转到步骤S1061。
步骤S1061:确定目标集成电路的电源连接出现错误。
在上述步骤中,判断所有器件的检测结果中是否存在连续出现错误的检测结果,也就是说本方案会统计所有器件的检测结果,当全部的检测结果均为连接正确,那么则说明目标集成电路中的电源连接是正确的;当其中存在一个检测结果是电源连接错误,那么则说明该目标集成电路的电源连接出现错误,进而执行步骤S108,在步骤S108中本方案可通过在对每一器件进行检测完成时对检测结果为电源连接错误的器件信息进行标识,进而在执行步骤S108时统计所有的标识,进而将所有具有标识的器件信息进行输出,使得设计人员可以清楚的知晓目标集成电路中是哪些器件的电源连接出现错误,进而进行针对性的修改,以提高设计人员的修改效率。
在本实施例的可选实施方式中,在执行步骤S104对每一器件进行检测之前,本方案还可以对解析得到的每一器件的器件信息以及其各个端口关联的电源信息进行验证,来确定获得的信息是否完整,具体方式可以包含如下步骤:
步骤S1030:获取目标集成电路中的多个期望电源信息。
步骤S1031:判断获得的集成电路的所有器件的电源信息与多个期望电源信息是否一致,若一致,则转到步骤S104;若不一致,则返回步骤S102。
在步骤S1030中,多个期望电源信息表示实际情况下该目标集成电路中应有的所有的电源信息,该多个期望电源信息可通过设计人员提前根据目标集成电路设计的情况来预先设置,进而本方案在执行步骤S1030时直接调用即可。在本方案执行步骤S1030获得目标集成电路中的多个期望电源信息之后,即可执行步骤S1031,该步骤S1031的具体是判断解析得到的所有的电源信息与多个期望电源信息是否一致,这里,一致的含义表示解析得到的所有的电源信息与多个期望电源信息在数量上是否一致,在信息上是否能够一一对应,而在此步骤中不会对其连接的端口进行判定,只需判断其数量和信息内容上的一致性。当判断一致时,则说明解析得到的信息是完整正确的,进而执行步骤S104;若不一致,则说明解析得到的信息是不完整或不正确的,进而返回执行步骤S102进行重新解析,以获得重新解析得到的每一器件的器件信息以及其各个端口关联的电源信息。
在上述实施方式中,通过获取多个期望的电源信息和解析得到的所有器件的电源信息进行比对,进而判定解析得到的信息是否完整和准确,为后续进行器件的电源连接性验证提供准确和完整的数据支撑,保障验证结果的准确性。
第二实施例
图5出示了本申请提供的电源连接验证装置的示意性结构框图,应理解,该装置与上述图1至图4中执行的方法实施例对应,能够执行第一实施例中服务器执行的方法涉及的步骤,该装置具体的功能可以参见上文中的描述,为避免重复,此处适当省略详细描述。该装置包括至少一个能以软件或固件(firmware)的形式存储于存储器中或固化在装置的操作系统(operating system,OS)中的软件功能模块。具体地,该装置包括:获取模块200,用于获取目标集成电路的网表;解析模块201,用于对网表进行解析,以获得集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息;检测模块202,用于根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;判断模块203,用于根据所有器件的检测结果判断目标集成电路的电源连接是否出现错误,并在目标集成电路的电源连接出现错误时输出出现错误的器件信息。
在上述设计的电源连接验证装置中,本方案通过对获取的目标集成电路的网表进行解析来获得该目标集成电路的所有器件中每一器件的器件信息和该器件的各个端口关联的电源信息,进而利用每一器件的器件信息和其各个端口关联的电源信息来对每一个器件信息进行检测,进而获得所有器件的检测结果,最后依据所有器件的检测结果来判定目标集成电路的电源连接是否出现错误并且在出现错误时将错误的器件信息进行输出进而实现电源连接的验证,由此可得本方案在验证时只需单一输入目标集成电路的网表即可实现目标集成电路的电源连接性验证,不需要额外的其他输入文件,减少对输入文件的依赖,并且通过LVS验证后的网表相对于时序表征文件的可靠性更高,保证了正确性和可靠性,解决了目前电源连接验证方法中由于时序表征文件中的信息会偶尔出现错误而导致最终电源连接性验证的结果是错误的,进而存在验证可靠性低的问题,提高了集成电路的电源连接验证的可靠性和准确性。
在本实施例的可选实施方式中,检测模块202,具体用于获取目标集成电路中的至少一个预设电平转换电路信息,预设电平转换电路信息包括属于预设电平转换电路的预设器件的预设器件信息以及预设器件的每一端口关联的预设电源信息;根据每一器件的器件信息和每一预设器件信息判断对应器件是否属于预设的电平转换电路;若属于预设的电平转换电路,则判断器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息是否一致;若器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息不一致,则确定器件的检测结果为连接出现错误。
在本实施例的可选实施方式中,获取模块200,还用于获取目标集成电路中的多个期望电源信息;判断模块203,还用于判断获得的集成电路的所有器件的电源信息与多个期望电源信息是否一致,若一致,则执行根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测的步骤。
在本实施例的可选实施方式中,判断模块203,具体用于判断所有器件的检测结果中是否存在连接出现错误的检测结果,若是,则判断目标集成电路的电源连接出现错误。
第三实施例
如图6所示,本申请提供一种电子设备3,包括:处理器301和存储器302,处理器301和存储器302通过通信总线303和/或其他形式的连接机构(未标出)互连并相互通讯,存储器302存储有处理器301可执行的计算机程序,当计算设备运行时,处理器301执行该计算机程序,以执行时执行第一实施例、第一实施例的任一可选的实现方式中的方法,例如步骤S100至步骤S107:获取目标集成电路的网表;对网表进行解析,以获得目标集成电路的所有器件中每一器件的器件信息以及每一器件的各个端口关联的电源信息;根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;根据所有器件的检测结果判断目标集成电路的电源连接是否出现错误,并在目标集成电路的电源连接出现错误时输出出现错误的器件信息。
本申请提供一种存储介质,该存储介质上存储有计算机程序,该计算机程序被处理器运行时执行第一实施例、第一实施例的任一可选的实现方式中的方法。
其中,存储介质可以由任何类型的易失性或非易失性存储设备或者它们的组合实现,如静态随机存取存储器(Static Random Access Memory,简称SRAM),电可擦除可编程只读存储器(Electrically Erasable Programmable Read-Only Memory,简称EEPROM),可擦除可编程只读存储器(Erasable Programmable Read Only Memory,简称EPROM),可编程只读存储器(Programmable Red-Only Memory,简称PROM),只读存储器(Read-OnlyMemory,简称ROM),磁存储器,快闪存储器,磁盘或光盘。
本申请提供一种计算机程序产品,该计算机程序产品在计算机上运行时,使得计算机执行第一实施例、第一实施例的任一可选的实现方式中的所述方法。
在本申请所提供的实施例中,应该理解到,所揭露装置和方法,可以通过其它的方式实现。以上所描述的装置实施例仅仅是示意性的,例如,所述单元的划分,仅仅为一种逻辑功能划分,实际实现时可以有另外的划分方式,又例如,多个单元或组件可以结合或者可以集成到另一个系统,或一些特征可以忽略,或不执行。另一点,所显示或讨论的相互之间的耦合或直接耦合或通信连接可以是通过一些通信接口,装置或单元的间接耦合或通信连接,可以是电性,机械或其它的形式。
另外,作为分离部件说明的单元可以是或者也可以不是物理上分开的,作为单元显示的部件可以是或者也可以不是物理单元,即可以位于一个地方,或者也可以分布到多个网络单元上。可以根据实际的需要选择其中的部分或者全部单元来实现本实施例方案的目的。
再者,在本申请各个实施例中的各功能模块可以集成在一起形成一个独立的部分,也可以是各个模块单独存在,也可以两个或两个以上模块集成形成一个独立的部分。
需要说明的是,功能如果以软件功能模块的形式实现并作为独立的产品销售或使用时,可以存储在一个计算机可读取存储介质中。基于这样的理解,本申请的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质中,包括若干指令用以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行本申请各个实施例所述方法的全部或部分步骤。而前述的存储介质包括:U盘、移动硬盘、只读存储器(Read-Only Memory,ROM)随机存取存储器(Random Access Memory,RAM)、磁碟或者光盘等各种可以存储程序代码的介质。
在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。
以上所述仅为本申请的实施例而已,并不用于限制本申请的保护范围,对于本领域的技术人员来说,本申请可以有各种更改和变化。凡在本申请的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本申请的保护范围之内。

Claims (10)

1.一种电源连接验证方法,其特征在于,所述方法包括:
获取目标集成电路的网表;
对所述网表进行解析,以获得所述目标集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息;
根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;
根据所有器件的检测结果判断所述目标集成电路的电源连接是否出现错误,并在所述目标集成电路的电源连接出现错误时输出出现错误的器件信息。
2.根据权利要求1所述的方法,其特征在于,所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果,包括:
获取所述目标集成电路中的至少一个预设电平转换电路信息,所述预设电平转换电路信息包括属于所述预设电平转换电路的预设器件的预设器件信息以及所述预设器件的每一端口关联的预设电源信息;
根据每一器件的器件信息和每一所述预设器件信息判断对应器件是否属于预设的电平转换电路;
若属于预设的电平转换电路,则判断所述器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息是否一致;
若所述器件的每一端口关联的电源信息与对应的预设器件的每一端口关联的预设电源信息不一致,则确定所述器件的检测结果为连接出现错误。
3.根据权利要求2所述的方法,其特征在于,所述器件的每一端口关联的电源信息包括所述器件的栅极端口关联的电源信息以及源极端口关联的电源信息,在所述根据每一器件的器件信息和每一所述预设器件信息判断对应器件是否属于预设的电平转换电路之后,所述方法还包括:
若所述器件不属于电平转换电路,则判断所述器件的栅极端口关联的电源信息与源极端口关联的电源信息是否一致;
若所述器件的栅极端口关联的电源信息与源极端口关联的电源信息不一致,则确定所述器件的检测结果为连接出现错误。
4.根据权利要求3所述的方法,其特征在于,所述电源信息包括电源电压,在所述判断所述器件的栅极端口关联的电源信息与源极端口关联的电源信息是否一致之后,所述方法还包括:
若所述器件的栅极端口关联的电源信息与源极端口关联的电源信息一致,则获取所述器件对应的耐受电压;
根据所述器件每一端口关联的电源信息判断是否存在电源电压大于所述器件对应的耐受电压的电源信息;
若存在电源电压大于所述器件对应的耐受电压的电源信息,则确定所述器件的检测结果为连接出现错误。
5.根据权利要求1所述的方法,其特征在于,在所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测之前,所述方法还包括:
获取所述目标集成电路中的多个期望电源信息;
判断所述获得的所述集成电路的所有器件的电源信息与所述多个期望电源信息是否一致;
若所述集成电路的所有器件的电源信息与所述多个期望电源信息一致,则执行所述根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测的步骤。
6.根据权利要求5所述的方法,其特征在于,在所述判断所述获得的所述集成电路的所有器件的电源信息与所述多个期望电源信息是否一致之后,所述方法还包括:
若所述集成电路的所有器件的电源信息与所述多个期望电源信息不一致,则返回执行对所述网表进行解析的步骤,以再次解析获得所述集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息。
7.根据权利要求1所述的方法,其特征在于,所述根据所有器件的检测结果判断所述目标集成电路的电源连接是否出现错误,包括:
判断所有器件的检测结果中是否存在连接出现错误的检测结果,若是,则确定所述目标集成电路的电源连接出现错误。
8.一种电源连接验证装置,其特征在于,所述装置包括:
获取模块,用于获取目标集成电路的网表;
解析模块,用于对所述网表进行解析,以获得所述集成电路的所有器件中每一器件的器件信息以及每一所述器件的各个端口关联的电源信息;
检测模块,用于根据每一器件的器件信息以及其各个端口关联的电源信息对对应器件进行检测,得到检测结果;
判断模块,用于根据所有器件的检测结果判断所述目标集成电路的电源连接是否出现错误,并在所述目标集成电路的电源连接出现错误时输出出现错误的器件信息。
9.一种电子设备,包括存储器和处理器,所述存储器存储有计算机程序,其特征在于,所述处理器执行所述计算机程序时实现权利要求1至7中任一项所述的方法。
10.一种存储介质,其上存储有计算机程序,其特征在于,所述计算机程序被处理器执行时实现权利要求1至7中任一项所述的方法。
CN202010965068.9A 2020-09-14 2020-09-14 一种电源连接验证方法、装置、电子设备和存储介质 Active CN112069749B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202010965068.9A CN112069749B (zh) 2020-09-14 2020-09-14 一种电源连接验证方法、装置、电子设备和存储介质

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202010965068.9A CN112069749B (zh) 2020-09-14 2020-09-14 一种电源连接验证方法、装置、电子设备和存储介质

Publications (2)

Publication Number Publication Date
CN112069749A true CN112069749A (zh) 2020-12-11
CN112069749B CN112069749B (zh) 2021-07-20

Family

ID=73695728

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202010965068.9A Active CN112069749B (zh) 2020-09-14 2020-09-14 一种电源连接验证方法、装置、电子设备和存储介质

Country Status (1)

Country Link
CN (1) CN112069749B (zh)

Citations (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6083271A (en) * 1998-05-05 2000-07-04 Lsi Logic Corporation Method and apparatus for specifying multiple power domains in electronic circuit designs
US20050216872A1 (en) * 2004-03-23 2005-09-29 Taiwan Semiconductor Manufacturing Co. Method to design and verify an integrated circuit device with multiple power domains
CN1900870A (zh) * 2005-02-28 2007-01-24 株式会社东芝 验证安全装置的方法和由相同方法验证的安全装置
US20080127014A1 (en) * 2006-10-25 2008-05-29 Cadence Design Systems, Inc. Method and system for equivalence checking of a low power design
CN101251870A (zh) * 2008-03-21 2008-08-27 北京中星微电子有限公司 一种仿真验证多电源域中的隔离单元的方法
US20100064271A1 (en) * 2006-04-14 2010-03-11 Yonghao Chen Method and system for simulating state retention of an rtl design
CN101719181A (zh) * 2009-12-03 2010-06-02 北京中星微电子有限公司 一种多电源域集成电路的动态验证装置及方法
CN102591997A (zh) * 2011-01-05 2012-07-18 上海华虹Nec电子有限公司 多电压芯片设计的版图和原理图一致性比较方法
CN103020357A (zh) * 2012-12-13 2013-04-03 迈普通信技术股份有限公司 电路网络拓扑匹配检查方法及装置
CN105718644A (zh) * 2016-01-19 2016-06-29 深圳市同创国芯电子有限公司 一种现场可编程门阵列网表生成方法及装置
CN110187260A (zh) * 2019-06-11 2019-08-30 珠海市一微半导体有限公司 一种基于esd电路完整性的自动检测方法
CN111488717A (zh) * 2020-04-15 2020-08-04 天津飞腾信息技术有限公司 标准单元时序模型的抽取方法、装置、设备及存储介质

Patent Citations (12)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US6083271A (en) * 1998-05-05 2000-07-04 Lsi Logic Corporation Method and apparatus for specifying multiple power domains in electronic circuit designs
US20050216872A1 (en) * 2004-03-23 2005-09-29 Taiwan Semiconductor Manufacturing Co. Method to design and verify an integrated circuit device with multiple power domains
CN1900870A (zh) * 2005-02-28 2007-01-24 株式会社东芝 验证安全装置的方法和由相同方法验证的安全装置
US20100064271A1 (en) * 2006-04-14 2010-03-11 Yonghao Chen Method and system for simulating state retention of an rtl design
US20080127014A1 (en) * 2006-10-25 2008-05-29 Cadence Design Systems, Inc. Method and system for equivalence checking of a low power design
CN101251870A (zh) * 2008-03-21 2008-08-27 北京中星微电子有限公司 一种仿真验证多电源域中的隔离单元的方法
CN101719181A (zh) * 2009-12-03 2010-06-02 北京中星微电子有限公司 一种多电源域集成电路的动态验证装置及方法
CN102591997A (zh) * 2011-01-05 2012-07-18 上海华虹Nec电子有限公司 多电压芯片设计的版图和原理图一致性比较方法
CN103020357A (zh) * 2012-12-13 2013-04-03 迈普通信技术股份有限公司 电路网络拓扑匹配检查方法及装置
CN105718644A (zh) * 2016-01-19 2016-06-29 深圳市同创国芯电子有限公司 一种现场可编程门阵列网表生成方法及装置
CN110187260A (zh) * 2019-06-11 2019-08-30 珠海市一微半导体有限公司 一种基于esd电路完整性的自动检测方法
CN111488717A (zh) * 2020-04-15 2020-08-04 天津飞腾信息技术有限公司 标准单元时序模型的抽取方法、装置、设备及存储介质

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
DURGESH PRASAD: "Writing Reusable UPF For RTL And Gate-Level Low Power Verification", 《SEMICONDUCTOR ENGINEERING》 *

Also Published As

Publication number Publication date
CN112069749B (zh) 2021-07-20

Similar Documents

Publication Publication Date Title
CN112131830B (zh) 一种寄生参数验证方法、装置、电子设备和存储介质
US8555234B2 (en) Verification of soft error resilience
CN111045921A (zh) 自动化接口测试方法、装置、计算机设备及存储介质
CN106934121B (zh) 一种测试器件模型仿真结果正确性的方法
CN112231130B (zh) 一种根据日志定位故障的方法、系统、设备及介质
CN112149136A (zh) loT设备固件漏洞的检测方法、系统及电子设备
JP5495310B2 (ja) 情報処理装置、障害解析方法及び障害解析プログラム
CN113392000B (zh) 测试用例执行结果分析方法、装置、设备及存储介质
CN112306568A (zh) 服务实例配置方法、装置、电子设备及存储介质
CN112069749B (zh) 一种电源连接验证方法、装置、电子设备和存储介质
CN112256532A (zh) 测试界面生成方法、装置、计算机设备及可读存储介质
CN110633213A (zh) 单元测试方法、装置、计算机设备和存储介质
CN115757099A (zh) 平台固件保护恢复功能自动测试方法和装置
CN115756935A (zh) 嵌入式软件系统的异常故障定位方法、装置及设备
CN112463504B (zh) 一种双控存储产品测试方法、系统、终端及存储介质
CN113127324B (zh) 测试报告自动化生成方法、装置、计算机设备及存储介质
CN114253846B (zh) 自动化测试异常定位方法、装置、设备及可读存储介质
US7155378B2 (en) Method for providing cycle-by-cycle ad HOC verification in a hardware-accelerated environment
CN110795142A (zh) 一种配置文件的生成方法及装置
CN113064771B (zh) 一种i2c链路检查方法、系统、终端及存储介质
CN114546745B (zh) 一种能在可信启动的过程中辨别故障程序段的方法
CN116382968B (zh) 外部设备的故障检测方法以及装置
CN116521557A (zh) 测试用例的校验方法、装置、电子设备及存储介质
van Blommestein Addressing Safety Critical FPGA Designs
CN115686962A (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