CN107239616A - 一种集成电路原理图的对比方法 - Google Patents

一种集成电路原理图的对比方法 Download PDF

Info

Publication number
CN107239616A
CN107239616A CN201710417345.0A CN201710417345A CN107239616A CN 107239616 A CN107239616 A CN 107239616A CN 201710417345 A CN201710417345 A CN 201710417345A CN 107239616 A CN107239616 A CN 107239616A
Authority
CN
China
Prior art keywords
information
schematic diagram
attribute
schematic diagrams
name
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
CN201710417345.0A
Other languages
English (en)
Other versions
CN107239616B (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 Empyrean Technology Co Ltd
Original Assignee
Beijing CEC Huada Electronic Design 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 CEC Huada Electronic Design Co Ltd filed Critical Beijing CEC Huada Electronic Design Co Ltd
Priority to CN201710417345.0A priority Critical patent/CN107239616B/zh
Publication of CN107239616A publication Critical patent/CN107239616A/zh
Application granted granted Critical
Publication of CN107239616B publication Critical patent/CN107239616B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

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]

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)
  • Information Retrieval, Db Structures And Fs Structures Therefor (AREA)
  • Document Processing Apparatus (AREA)

Abstract

一种集成电路原理图的对比方法,包括步骤:(1)获取预对比的两个原理图的OA信息;(2)根据原理图的OA信息,判断两个原理图的OA检查及保存时间、单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同;(3)根据对比结果,反标出两个原理图的差异。本发明的集成电路原理图的对比方法,能够在原理图设计或前端仿真过程中,层次化的对比两个原理图中的各种信息,尤其是层次化的对比单元属性、器件属性、引脚属性、线网连接关系以及标注文本等信息的差异,并以检查报告的形式进行输出。

Description

一种集成电路原理图的对比方法
技术领域
本发明涉及EDA设计技术领域,特别是涉及一种集成电路原理图的对比方法。
背景技术
集成电路原理图的设计属于集成电路设计过程中的前端设计,其正确性至关重要。在集成电路原理图设计过程中需要进行多次迭代,会对原理图进行微调,因此需要对比修改前后两个原理图的区别,便于设计者分析仿真结果的差异。 原理图中有很多种类的物体,各种物体又各自有不同的属性,而设计者所关心的往往是单元属性、器件属性、引脚属性、线网连接关系以及标注文本这五类信息。前面四类信息影响着前仿的结果,而标注文本的信息是设计者添加的注释信息,也需要及时关注。
发明内容
为了解决现有技术存在的不足,本发明的目的在于提供一种集成电路原理图的对比方法,可以对比两个原理图中的OA检查及保存时间、单元属性、器件属性、引脚属性、线网连接关系以及标注文本等信息。
为实现上述目的,本发明提供的集成电路原理图的对比方法,包括以下步骤:
(1)获取预对比的两个原理图的OA信息;(2)根据原理图的OA信息,判断两个原理图的OA检查及保存时间、单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同;(3)根据对比结果,反标出两个原理图的差异。
进一步地,所述步骤(2)中判断两个原理图的OA检查及保存时间是否相同,是根据OA检查及保存时间,判断两个原理图的OA检查、保存时间是否相同,是则将比较信息抛弃,否则将两个原理图的OA检查、保存时间写入检查报告中。
所述步骤(2)中判断两个原理图的单元属性是否相同,进一步包括以下步骤:
(31)根据单元信息,判断两个原理图调用的单元名字是否相同;(32)是则将比较信息抛弃,同时根据同名单元的属性信息判断同名单元的子单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同;(33)否则将不匹配的单元名字写入检查报告中。
所述步骤(32)进一步包括以下步骤:
当同名单元调用的子单元名字相同时,则继续根据同名单元的子单元的属性信息,判断同名单元的子单元的子单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同,直至子单元中不含有任何子单元为止。
进一步地,所述步骤(2)中判断两个原理图的器件属性是否相同,是根据器件信息,判断两个原理图调用的器件属性是否相同,是则将比较信息抛弃,否则将属性不匹配器件的详细信息写入检查报告中。
进一步地,所述步骤(2)中判断两个原理图的引脚属性是否相同,是根据引脚信息,判断两个原理图的引脚名是否相同,是则将比较信息抛弃,否则将不匹配的引脚名写入检查报告中。
进一步地,所述步骤(2)中判断两个原理图的线网连接关系是否相同,是根据线网信息,判断两个原理图线网连接关系的网名、线名是否相同,是则将比较信息抛弃,否则将不匹配的网名、线名写入检查报告中。
进一步地,所述步骤(2)中判断两个原理图的标注信息是否相同,是根据标注信息,判断两个原理图标注的文本信息是否相同,是则将比较信息抛弃,否则将不匹配的文本信息写入检查报告中。
本发明的集成电路原理图的对比方法,能够在原理图设计或前端仿真过程中,层次化的对比两个原理图中的各种信息,尤其是层次化的对比单元属性、器件属性、引脚属性、线网连接关系以及标注文本等信息的差异,并以检查报告的形式进行输出。
本发明的其它特征和优点将在随后的说明书中阐述,并且,部分地从说明书中变得显而易见,或者通过实施本发明而了解。
附图说明
附图用来提供对本发明的进一步理解,并且构成说明书的一部分,并与本发明的实施例一起,用于解释本发明,并不构成对本发明的限制。在附图中:
图1为根据本发明的集成电路原理图的对比方法流程图;
图2为根据本发明的原理图对比对话框界面截图;
图3为根据本发明的单元信息的对比效果图;
图4为根据本发明的器件信息的对比效果图;
图5为根据本发明的引脚信息的对比效果图;
图6为根据本发明的线网信息的对比效果图;
图7为根据本发明的标注信息的对比效果图。
具体实施方式
以下结合附图对本发明的优选实施例进行说明,应当理解,此处所描述的优选实施例仅用于说明和解释本发明,并不用于限定本发明。
本发明的集成电路原理图的对比方法的思路在于:对比原理图时,对比不同原理图中的OA检查及保存时间、单元、器件、引脚、线网连接关系以及标注这六种信息的差异;当原理图中包括同名单元时,则对比同名单元的子单元、器件、引脚、线网连接关系以及标注这五种信息的差异,如此递归进行直至所有同名单元的子单元及子单元的子单元均对比完毕。
图1为根据本发明的集成电路原理图的对比方法流程图,下面将参考图1,对本发明的集成电路原理图的对比方法进行详细描述。
在步骤101,获取预对比的两个原理图的OA信息,其中,原理图的OA信息包括:OA检查及保存时间、单元信息、器件信息、引脚信息、线网信息,以及注释信息。
该步骤中,首先,选择并读取预对比的两个原理图,并分别记录原理图中的OA信息到两个临时文件中;然后,对临时文件中记录的OA信息,按照OA检查及保存时间、单元、器件、引脚、线网、标注文本进行归类;最后,按照信息的类别名称对这六类信息进行排序,并重新写入到临时文件中。
原理图是由多个单元(cell)构成的,而单元都是由器件、引脚、线网构建的,有一些单元还含有子单元以及标注。当单元包含子单元时,单元之间就具有了层次关系,因此,对比同名单元时,需要对比同名单元的子单元的信息。
在步骤102,根据原理图的OA检查及保存时间,判断两个原理图的OA检查、保存时间是否相同。
该步骤中,根据临时文件记录的OA检查及保存时间,判断两个原理图的OA检查、保存时间是否相同,是则将比较信息抛弃,否则将两个原理图的OA检查、保存时间按左右对比的方式写入检查报告中。
将不匹配的OA检查、保存时间写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的OA检查、保存时间对比表格,表格左侧写入原理图1的OA检查、保存时间;表格右侧写入原理图2的OA检查、保存时间。
在步骤103,根据原理图的单元信息,判断两个原理图调用的单元名字(InstanceName)是否相同。
该步骤中,根据临时文件记录的单元信息,判断两个原理图调用的单元名字是否相同,是则将比较信息抛弃,同时根据临时文件记录的同名单元的属性信息,从子单元信息、器件、引脚、线网、标注这五方面,继续判断同名单元调用的子单元名字、器件属性、引脚名、线网连接关系的网名及线名、标注的文本信息是否相同,
否则将不匹配的单元名字(instName:library/cell/view)按左右对比的方式追加写入检查报告中。
将不匹配的单元名字写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的不匹配单元名字对比表格,表格左侧为原理图1中不匹配的单元名字;表格右侧为原理图2中不匹配的单元名字。当不匹配的单元名字存在于原理图1中时,在表格左侧写入原理图1中不匹配的单元名字,表格的右侧对应写入“——”进行置空。当不匹配的单元名字存在于原理图2中时,在表格右侧写入原理图2中不匹配的单元名字,表格的左侧对应写入“——”进行置空。
在上述判断过程中,当同名单元调用的子单元名字相同时,则继续根据同名单元的子单元的属性信息,从子单元的子单元信息、器件、引脚、线网、标注这五方面,继续判断同名单元的子单元调用的子单元名字、器件属性、引脚名、线网连接关系的网名及线名、标注的文本信息是否相同,直至子单元中不含有任何子单元为止。
在步骤104,根据原理图的器件信息,判断两个原理图的器件属性是否相同。
该步骤中,根据临时文件记录的器件信息,判断两个原理图调用的器件属性是否相同,是则将比较信息抛弃,否则将属性不匹配器件的详细信息按左右对比的方式追加写入检查报告中。其中,不匹配器件的详细信息包括:单元名字(instName:library/cell/view)以及不同的参数。
将不匹配器件的详细信息写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的不匹配器件信息对比表格,表格左侧写入原理图1中器件的详细信息;表格右侧写入原理图2中器件的详细信息。
在步骤105,根据原理图的引脚信息,判断两个原理图的引脚名是否相同。
该步骤中,根据临时文件记录的引脚信息,判断两个原理图的引脚名是否相同,是则将比较信息抛弃,否则将不匹配的引脚名按左右对比的方式追加写入检查报告中。
将不匹配的引脚名写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的不匹配引脚对比表格,表格左侧为原理图1中不匹配的引脚名;表格右侧为原理图2中不匹配的引脚名。当不匹配的引脚存在于原理图1中时,在表格左侧写入原理图1中不匹配的引脚名,表格的右侧对应写入“——”进行置空。当不匹配的引脚存在于原理图2中时,在表格右侧写入原理图2中不匹配的引脚名,表格的左侧对应写入“——”进行置空。
在步骤106,根据原理图的线网信息,判断两个原理图线网连接关系的网(net)名、线(wire)名是否相同。
该步骤中,根据临时文件记录的线网信息,判断两个原理图线网连接关系的net名是否相同,是则将比较信息抛弃,否则将不匹配的net名按左右对比的方式追加写入检查报告中。
将不匹配的net名写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的不匹配net名对比表格,表格左侧写入原理图1中不匹配的net名;表格右侧写入原理图2中不匹配的net名。
该步骤中,根据临时文件记录的线网信息,判断两个原理图线网连接关系的wire名是否相同,是则将比较信息抛弃,否则将不匹配的wire名按左右对比的方式追加写入检查报告中。
将不匹配的wire名写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的不匹配wire名对比表格,表格左侧写入原理图1中不匹配的wire名;表格右侧写入原理图2中不匹配的wire名。
在步骤107,根据原理图的标注信息,判断两个原理图标注的文本信息是否相同。
该步骤中,首先,检测标注信息对比(Compare Note Text)选项是否开启,是则进行标注信息的对比,否则放弃标注信息的对比。
在进行标注信息的对比时,首先,根据临时文件记录的标注信息,判断两个原理图标注的文本信息是否相同,是则将比较信息抛弃,否则将不匹配的文本信息按左右对比的方式追加写入检查报告中。
将不匹配的文本信息写入检查报告的具体方式是:在检查报告中设置原理图1与原理图2的不匹配标注信息对比表格,表格左侧为原理图1中不匹配的标注信息;表格右侧为原理图2中不匹配的标注信息。当不匹配的标注信息存在于原理图1中时,在表格左侧写入原理图1中不匹配的标注信息,表格的右侧对应写入“——”进行置空。当不匹配的标注信息存在于原理图2中时,在表格右侧写入原理图2中不匹配的标注信息,表格的左侧对应写入“——”进行置空。
在步骤108,将原理图的OA信息的对比结果生成一个总的报告(report)。
该步骤中,将对比结果报告与对比的原理图相关联,当双击对比结果报告界面中不匹配的信息时,原理图中不匹配的信息会高亮显示,从而反标出两个原理图的差异。
本发明的集成电路原理图的对比方法,在对比原理图的属性时,需要获取两个原理图的OA信息,并对比其值;对比两个原理图中相同名称的器件(单元)时,需要对比其单元名及属性,但忽略其坐标、旋转方向类的信息的差异;对比两个原理图中的同名引脚时,需要对比其输入/输出类型,忽略其坐标的差异;对比两个原理图中的线网时(同名器件对外的同名引脚的线网被视为匹配的线网对),需要对比线网对的名称、输入/输出类型以及连接的其他器件信息,忽略其坐标的差异;对比两个原理图中标注的文本信息时,需要对比其文本内容是否一致、其坐标是否一致。
下面结合具体的实施方式,详细的阐述本发明的集成电路原理图的对比方法的应用过程。
图2为根据本发明的原理图对比对话框界面截图,如图2所示,在SVS对话框中的Schematic1选项中选择预对比的原理图文件test2/test2/schematic,在SVS对话框中的Schematic2选项中选择预对比的原理图文件test/test/schematic。并且可以通过勾选Compare Note Text选项,确认对比标注信息。预对比的信息设置完毕后,可以通过点击Run按钮,进行两个原理图的信息对比,从而得到对应的层次化的对比结果。
图3为根据本发明的单元信息的对比效果图,如图3所示,对比到3处不同信息;图4为根据本发明的器件信息的对比效果图,如图4所示,对比到1处不同信息,并在原理图1和原理图2中进行了高亮显示;图5为根据本发明的引脚信息的对比效果图,如图5所示,对比到1处不同信息,并在原理图1和原理图2中进行了高亮显示;图6为根据本发明的线网信息的对比效果图,如图6所示,对比到1处不同信息,并在原理图1和原理图2中进行了高亮显示;图7为根据本发明的标注信息的对比效果图,如图7所示,对比到2处不同信息,并在原理图1中进行了高亮显示。
本发明的集成电路原理图的对比方法,对于原理图中数量众多的单元,按照层次结构,逐层进行对比,层次化的对比两个原理图中的OA检查及保存时间、单元、器件、引脚、线网连接关系以及标注等属性信息,从而快速的定位到属性不同的单元、器件或子电路、引脚、线网连接关系以及标注文本。
本领域普通技术人员可以理解:以上所述仅为本发明的优选实施例而已,并不用于限制本发明,尽管参照前述实施例对本发明进行了详细的说明,对于本领域的技术人员来说,其依然可以对前述各实施例记载的技术方案进行修改,或者对其中部分技术特征进行等同替换。凡在本发明的精神和原则之内,所作的任何修改、等同替换、改进等,均应包含在本发明的保护范围之内。

Claims (8)

1.一种集成电路原理图的对比方法,其特征在于,包括以下步骤:
(1)获取预对比的两个原理图的OA信息;
(2)根据原理图的OA信息,判断两个原理图的OA检查及保存时间、单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同;
(3)根据对比结果,反标出两个原理图的差异。
2.根据权利要求1所述集成电路原理图的对比方法,其特征在于,所述步骤(2)中判断两个原理图的OA检查及保存时间是否相同,是根据OA检查及保存时间,判断两个原理图的OA检查、保存时间是否相同,是则将比较信息抛弃,否则将两个原理图的OA检查、保存时间写入检查报告中。
3.根据权利要求1所述集成电路原理图的对比方法,其特征在于,所述步骤(2)中判断两个原理图的单元属性是否相同,进一步包括以下步骤:
(31)根据单元信息,判断两个原理图调用的单元名字是否相同;
(32)是则将比较信息抛弃,同时根据同名单元的属性信息判断同名单元的子单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同;
(33)否则将不匹配的单元名字写入检查报告中。
4.根据权利要求3所述集成电路原理图的对比方法,其特征在于,所述步骤(32)进一步包括以下步骤:
当同名单元调用的子单元名字相同时,则继续根据同名单元的子单元的属性信息,判断同名单元的子单元的子单元属性、器件属性、引脚属性、线网连接关系或者标注信息是否相同,直至子单元中不含有任何子单元为止。
5.根据权利要求1所述集成电路原理图的对比方法,其特征在于,所述步骤(2)中判断两个原理图的器件属性是否相同,是根据器件信息,判断两个原理图调用的器件属性是否相同,是则将比较信息抛弃,否则将属性不匹配器件的详细信息写入检查报告中。
6.根据权利要求1所述集成电路原理图的对比方法,其特征在于,所述步骤(2)中判断两个原理图的引脚属性是否相同,是根据引脚信息,判断两个原理图的引脚名是否相同,是则将比较信息抛弃,否则将不匹配的引脚名写入检查报告中。
7.根据权利要求1所述集成电路原理图的对比方法,其特征在于,所述步骤(2)中判断两个原理图的线网连接关系是否相同,是根据线网信息,判断两个原理图线网连接关系的网名、线名是否相同,是则将比较信息抛弃,否则将不匹配的网名、线名写入检查报告中。
8.根据权利要求1所述集成电路原理图的对比方法,其特征在于,所述步骤(2)中判断两个原理图的标注信息是否相同,是根据标注信息,判断两个原理图标注的文本信息是否相同,是则将比较信息抛弃,否则将不匹配的文本信息写入检查报告中。
CN201710417345.0A 2017-06-06 2017-06-06 一种集成电路原理图的对比方法 Active CN107239616B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN201710417345.0A CN107239616B (zh) 2017-06-06 2017-06-06 一种集成电路原理图的对比方法

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN201710417345.0A CN107239616B (zh) 2017-06-06 2017-06-06 一种集成电路原理图的对比方法

Publications (2)

Publication Number Publication Date
CN107239616A true CN107239616A (zh) 2017-10-10
CN107239616B CN107239616B (zh) 2020-07-10

Family

ID=59985782

Family Applications (1)

Application Number Title Priority Date Filing Date
CN201710417345.0A Active CN107239616B (zh) 2017-06-06 2017-06-06 一种集成电路原理图的对比方法

Country Status (1)

Country Link
CN (1) CN107239616B (zh)

Cited By (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109559094A (zh) * 2018-11-21 2019-04-02 恒生电子股份有限公司 流程差异的显示方法、装置、服务器和存储介质
CN112052643A (zh) * 2020-08-27 2020-12-08 烽火通信科技股份有限公司 一种电路原理图检查方法及系统
CN113591429A (zh) * 2021-06-24 2021-11-02 深圳同兴达科技股份有限公司 一种lcd邦定pin电路原理图的审核系统及审核方法
CN113642284A (zh) * 2020-04-27 2021-11-12 上海复旦微电子集团股份有限公司 电路原理图的审查方法及装置、计算机可读存储介质
CN115658692A (zh) * 2022-10-28 2023-01-31 深圳市电巢科技有限公司 适用于原理图网表的校对分析方法、分析装置及电子设备

Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7937678B2 (en) * 2008-06-11 2011-05-03 Infineon Technologies Ag System and method for integrated circuit planar netlist interpretation
CN104091161A (zh) * 2014-07-15 2014-10-08 山东超越数控电子有限公司 一种电路原理图网表比对方法
CN105335570A (zh) * 2015-11-24 2016-02-17 深圳市兴森快捷电路科技股份有限公司 一种基于元器件管脚连接关系进行网表比较的方法
CN106777416A (zh) * 2015-11-20 2017-05-31 北京华大九天软件有限公司 基于拓扑关系的原理图的版本比较方法

Patent Citations (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
US7937678B2 (en) * 2008-06-11 2011-05-03 Infineon Technologies Ag System and method for integrated circuit planar netlist interpretation
CN104091161A (zh) * 2014-07-15 2014-10-08 山东超越数控电子有限公司 一种电路原理图网表比对方法
CN106777416A (zh) * 2015-11-20 2017-05-31 北京华大九天软件有限公司 基于拓扑关系的原理图的版本比较方法
CN105335570A (zh) * 2015-11-24 2016-02-17 深圳市兴森快捷电路科技股份有限公司 一种基于元器件管脚连接关系进行网表比较的方法

Cited By (7)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN109559094A (zh) * 2018-11-21 2019-04-02 恒生电子股份有限公司 流程差异的显示方法、装置、服务器和存储介质
CN113642284A (zh) * 2020-04-27 2021-11-12 上海复旦微电子集团股份有限公司 电路原理图的审查方法及装置、计算机可读存储介质
CN113642284B (zh) * 2020-04-27 2024-03-26 上海复旦微电子集团股份有限公司 电路原理图的审查方法及装置、计算机可读存储介质
CN112052643A (zh) * 2020-08-27 2020-12-08 烽火通信科技股份有限公司 一种电路原理图检查方法及系统
CN112052643B (zh) * 2020-08-27 2022-07-22 烽火通信科技股份有限公司 一种电路原理图检查方法及系统
CN113591429A (zh) * 2021-06-24 2021-11-02 深圳同兴达科技股份有限公司 一种lcd邦定pin电路原理图的审核系统及审核方法
CN115658692A (zh) * 2022-10-28 2023-01-31 深圳市电巢科技有限公司 适用于原理图网表的校对分析方法、分析装置及电子设备

Also Published As

Publication number Publication date
CN107239616B (zh) 2020-07-10

Similar Documents

Publication Publication Date Title
CN107239616A (zh) 一种集成电路原理图的对比方法
CN107533577B (zh) 使用电路模板的生成和实例化的集成电路设计
US6513143B1 (en) Method for automaticallly remapping an HDL netlist to provide compatibility with pre-synthesis behavioral test benches
US7222114B1 (en) Method and apparatus for rule-based operations
Powell et al. Errors in operational spreadsheets
CN100435154C (zh) 支持配置实体的选择性表示的配置说明语言的方法和系统
US8407635B2 (en) System and method for automatic extraction of power intent from custom analog/custom digital/mixed signal schematic designs
US8019795B2 (en) Data warehouse test automation framework
US5831869A (en) Method of compacting data representations of hierarchical logic designs used for static timing analysis
US9881119B1 (en) Methods, systems, and computer program product for constructing a simulation schematic of an electronic design across multiple design fabrics
CN101236574B (zh) 数据处理系统中模拟处理的方法以及所述数据处理系统
Roman et al. Access database design and programming
US8504968B2 (en) Method to determine high level power distribution and interface problems in complex integrated circuits
CN107122368A (zh) 一种数据校验方法、装置及电子设备
CN107315771A (zh) 一种基于扩展库表数据字典的数据汇交系统定制化方法
CN106649092A (zh) 一种测试脚本生成方法、网页测试方法、装置和系统
US7152216B2 (en) Method, system, and computer program product for automatic insertion and correctness verification of level shifters in integrated circuits with multiple voltage domains
US7694241B1 (en) Automated design process and method for multi-rail cells and connections
CN102999426A (zh) 基于抽象内存模型的非数值型数据的计算方法
CN115113927A (zh) 寄存器模型处理方法、装置、计算机设备和存储介质
US7546565B2 (en) Method for comparing two designs of electronic circuits
CN108829903B (zh) 判定fpga冗余设计的代码与综合后电路一致性的方法和系统
US8001503B2 (en) Method and system for automatically accessing internal signals or ports in a design hierarchy
CN105302547A (zh) 一种面向Verilog HDL设计的故障注入方法
US6848084B1 (en) Method and apparatus for verification of memories at multiple abstraction levels

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

Address after: 100102 floor 2, block a, No.2, lizezhong 2nd Road, Chaoyang District, Beijing

Patentee after: Beijing Huada Jiutian Technology Co.,Ltd.

Address before: 100102 floor 2, block a, No.2 lizezhong 2nd Road, Chaoyang District, Beijing

Patentee before: HUADA EMPYREAN SOFTWARE Co.,Ltd.

CP03 Change of name, title or address