CN114692533A - 芯片eda仿真中检查时钟的方法及装置 - Google Patents

芯片eda仿真中检查时钟的方法及装置 Download PDF

Info

Publication number
CN114692533A
CN114692533A CN202210269517.5A CN202210269517A CN114692533A CN 114692533 A CN114692533 A CN 114692533A CN 202210269517 A CN202210269517 A CN 202210269517A CN 114692533 A CN114692533 A CN 114692533A
Authority
CN
China
Prior art keywords
clk
simulation
file
clock
clock frequency
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.)
Pending
Application number
CN202210269517.5A
Other languages
English (en)
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.)
Mouxin Technology Shanghai Co ltd
Original Assignee
Mouxin Technology Shanghai 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 Mouxin Technology Shanghai Co ltd filed Critical Mouxin Technology Shanghai Co ltd
Priority to CN202210269517.5A priority Critical patent/CN114692533A/zh
Publication of CN114692533A publication Critical patent/CN114692533A/zh
Pending legal-status Critical Current

Links

Images

Classifications

    • G—PHYSICS
    • G06—COMPUTING; CALCULATING OR 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)
  • Design And Manufacture Of Integrated Circuits (AREA)

Abstract

本发明公开了一种芯片EDA仿真中检查时钟的方法及装置，涉及芯片开发技术领域。所述方法包括步骤：获取EDA前仿真和EDA后仿真生成的仿真结果波形文件；根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件；将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。本发明能够自动检查仿真时钟的正确性，保证EDA仿真中时钟的准确性，提升EDA仿真效率。

Description

芯片EDA仿真中检查时钟的方法及装置
技术领域
本发明涉及芯片开发技术领域，尤其涉及一种芯片EDA仿真中检查时钟的方法及装置。
背景技术
随着设计芯片（IC）规模的增加，芯片（IC）的验证（Verification）工作显得越来越重要。验证工作贯穿整个芯片设计流程，从行为级HDL设计，一直到芯片流片之前都需要进行大量的EDA(Eletronic Design Automation，电子设计自动化)仿真验证。通过对芯片进行EDA仿真来验证芯片设计的正确性，从而排除错误。
EDA仿真通常包括功能仿真和时序仿真两个级别的仿真测试。作为典型方式的举例，比如根据客户提出的芯片需求设计芯片体系架构并划分模块功能后，使用硬件描述语言（比如Verilog等）将模块功能以代码来描述实现，也就是将实际的硬件电路功能通过HDL语言描述出来形成RTL（Resistor transistor logic，寄存器传输级）代码，然后对前述RTL代码施加激励获得其运行的结果以判断该RTL代码是否能正确运行，上述对RTL代码进行仿真验证以检验所设计代码的逻辑功能正确性的过程就称为功能仿真，也称为前仿真（简称前仿）。随后，进行逻辑综合——加入了约束、单元延时等信息，对逻辑综合后的网表进行仿真就称为时序仿真（仿真包含了延时信息），也称为后仿真（简称后仿）。
芯片EDA仿真的前仿真与后仿真所使用的仿真器和测试激励相同，但仿真所需文件不完全相同，仿真结果波形图也不同，时钟生成方式也不同。在实际的芯片EDA仿真验证中发现，有一些仿真问题是由时钟问题引入的：主要原因就是因为在前仿真和后仿真中时钟的生成方式不一样，使得在后仿真时容易出现时钟频率信息和前仿真的时钟频率信息不一致的问题，从而导致前仿真中能够正常运行的测试案例（case）在后仿真时出现报错。显然，提高EDA仿真中时钟频率准确性可以减少很多不必要的迭代，有助于提升仿真效率。
然而，目前对芯片仿真的时钟频率进行检查和校准通常是由人工进行：当后仿真出现报错时，后仿真验证人员往往需要人工将仿真的时钟频率信息与设定的参考时钟信号（clk信号，clk为clock 的缩写）进行比对，以检查时钟频率是否出现问题。上述人工校准时钟频率的方法的自动化程度较低，需要花费验证人员较多的时间，检查效率低，在一定程度上影响了整个开发周期。
发明内容
本发明的目的在于：克服现有技术的不足，提供了一种芯片EDA仿真中检查时钟的方法及装置。本发明能够根据EDA前仿真和EDA后仿真的仿真结果波形文件确定各个时钟信号clk的时钟频率，并与参考时钟信号文件中的时钟频率进行比对以检查时钟的正确性，从而保证EDA仿真中时钟的准确性，提升EDA仿真效率。
为实现上述目标，本发明提供了如下技术方案：
一种芯片EDA仿真中检查时钟的方法，包括如下步骤：
获取EDA前仿真和EDA后仿真生成的仿真结果波形文件；
根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件；
将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。
进一步，所述仿真结果波形文件为fsdb波形文件。
进一步，根据fsdb波形文件中的fsdb波形计算时钟信号clk的时钟频率的步骤如下，
分析fsdb波形中的时钟信号clk的边沿信息，所述时钟信号clk为具有周期性的脉冲信号，所述边沿信息包括上升沿和下降沿出现的时间点信息；
获取任意2个相邻的clk上升沿的时间点信息t1和t2;
计算相邻的上升沿时间间隔△t=t2-t1后，确定前述时钟信号clk 的时钟频率f，所述时钟频率f的计算公式为f=100/△t。
进一步，所述EDA前仿真是对寄存器传输级RTL代码进行仿真验证，所述寄存器传输级RTL代码中针对clk语句设置有clk注释信息，通过所述clk注释信息对clk语句涉及的时钟信号clk的时钟频率进行注释；
此时，在进行EDA前仿真之前还包括步骤：通过脚本抽取寄存器传输级RTL代码中的时钟信号clk和对应的clk注释信息，获取该时钟信号clk的名称和时钟频率值后，写入预设数据格式的参考时钟信号文件中。
进一步，所述参考时钟信号文件为采用Excel表格式的clk表格，所述clk表格预设有2个字段信息，分别为时钟信号clk的名称clk name和时钟频率值clk freq value。
进一步，所述clk结果文件中显示有各个时钟信号clk的名称，对于每个时钟信号clk，显示该时钟信号clk在参考时钟信号文件、前仿真clk时钟频率文件和后仿真clk时钟频率文件中的时钟频率值。
进一步，进行前述比对时，在判断前仿真clk时钟频率文件、后仿真clk时钟频率文件和参考时钟信号文件三者的时钟频率信息不一致的情况下，在所述clk结果文件中标注出不一致的clk的时钟频率值，或者标注出不一致的clk的名称和时钟频率值。
进一步，采集用户通过波形工具打开前述仿真结果波形文件的操作，读取前述clk结果文件后，在波形工具中对应着输出的仿真结果波形标注出时钟频率不一致的时钟信号clk所在位置。
本发明还提供了一种芯片EDA仿真中的时钟检查装置，包括如下结构：
时钟频率计算模块，用于获取EDA前仿真和EDA后仿真生成的仿真结果波形文件后，根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件；
时钟信息检查模块，用于将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。
进一步，所述仿真结果波形文件为fsdb波形文件，所述时钟频率计算模块被配置为：获取fsdb波形文件中的fsdb波形，
分析fsdb波形中的时钟信号clk的边沿信息，所述时钟信号clk为具有周期性的脉冲信号，所述边沿信息包括上升沿和下降沿出现的时间点信息；获取任意2个相邻的clk上升沿的时间点信息t1和t2；计算相邻的上升沿时间间隔△t=t2-t1后，确定前述时钟信号clk 的时钟频率f，所述时钟频率f的计算公式为f=100/△t。
本发明由于采用以上技术方案，与现有技术相比，作为举例，具有以下的优点和积极效果：本发明能够根据EDA前仿真和EDA后仿真的仿真结果波形文件确定各个时钟信号clk的时钟频率信息，并与参考时钟信号文件中的时钟频率进行比对以检查时钟的正确性，从而保证EDA仿真中时钟的准确性，提升EDA仿真效率。
附图说明
图1为本发明实施例提供的芯片仿真验证中的芯片EDA仿真中检查时钟的方法的流程图。
图2为本发明实施例提供的生成clk结果文件的信息处理示意图。
图3为本发明实施例提供的clk表格的数据格式示例图。
图4为本发明实施例提供的clk结果文件的数据格式示例图。
具体实施方式
以下结合附图和具体实施例对本发明公开的芯片EDA仿真中检查时钟的方法及装置作进一步详细说明。应当注意的是，下述实施例中描述的技术特征或者技术特征的组合不应当被认为是孤立的，它们可以被相互组合从而达到更好的技术效果。在下述实施例的附图中，各附图所出现的相同标号代表相同的特征或者部件，可应用于不同实施例中。因此，一旦某一项在一个附图中被定义，则在随后的附图中不需要对其进行进一步讨论。
需说明的是，本说明书所附图中所绘示的结构、比例、大小等，均仅用以配合说明书所揭示的内容，以供熟悉此技术的人士了解与阅读，并非用以限定发明可实施的限定条件，任何结构的修饰、比例关系的改变或大小的调整，在不影响发明所能产生的功效及所能达成的目的下，均应落在发明所揭示的技术内容所能涵盖的范围内。本发明的优选实施方式的范围包括另外的实现，其中可以不按所述的或讨论的顺序，包括根据所涉及的功能按基本同时的方式或按相反的顺序，来执行功能，这应被本发明的实施例所属技术领域的技术人员所理解。
对于相关领域普通技术人员已知的技术、方法和设备可能不作详细讨论，但在适当情况下，所述技术、方法和设备应当被视为说明书的一部分。在这里示出和讨论的所有示例中，任何具体值应被解释为仅仅是示例性的，而不是作为限制。因此，示例性实施例的其它示例可以具有不同的值。
实施例
参见图1所示，为本发明提供的一种芯片EDA仿真中检查时钟的方法。所述方法包括如下步骤。
S100，获取EDA前仿真和EDA后仿真生成的仿真结果波形文件。
所述EDA前仿真，是对RTL（Resistor transistor logic，寄存器传输级）代码进行仿真验证以检验所述设计代码的正确性的过程，当前主要是通过对RTL代码施加激励（即模拟外部输入信号），获得其运行的结果（是否符合期望值或预设值）来判断该RTL代码是否能正确运行。所述RTL代码，是使用硬件描述语言（比如Verilog等）将设计的模块功能描述出来后形成的设计代码。在前端设计阶段，芯片设计公司根据客户提出的芯片需求，设计芯片体系架构并划分出前述模块功能。
所述EDA后仿真，是对逻辑综合后的网表进行仿真的过程。
芯片EDA前仿真与EDA后仿真所使用的仿真器和测试激励相同，但得到的仿真结果波形文件不同。EDA前仿真完成后就可以得到前仿真结果波形文件，EDA后仿真完成后就可以得到后仿真结果波形文件。
生成的仿真结果波形文件一般为fsdb（Fast Signal Data Base）波形文件。
S200，根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件。
所述时钟信号clk（Clock的简称）是一种脉冲信号，是按一定电压幅度，一定时间间隔连续发出的。时钟边沿触发信号意味着所有的状态变化都发生在时钟边沿到来时刻。在边沿触发机制中，将时钟的上升沿或下降沿作为有效触发信号来控制逻辑单元状态量的改变。
以fsdb波形文件为例，根据fsdb波形文件中的fsdb波形计算时钟信号clk的时钟频率的步骤可以如下：分析fsdb波形中的时钟信号clk的边沿信息，所述时钟信号clk为具有周期性的脉冲信号，所述边沿信息包括上升沿和下降沿出现的时间点信息；获取任意2个相邻的clk上升沿的时间点信息t1和t2；计算相邻的上升沿时间间隔△t=t2-t1后，确定前述时钟信号clk 的时钟频率f，所述时钟频率f的计算公式为f=100/△t。
作为举例而非限制，比如2个相邻的clk上升沿的时间点分别为t1 = 3ps， t2 =3127ps，ps表示皮秒、1s = 1012ps。则可以计算出相邻的上升沿时间间隔△t=t2-t1=3124ps，根据f=100/△t，就可以得出该时钟信号clk的时钟频率为100/3124ps = 320MHz。
根据前仿真结果波形文件中的波形可以计算出前仿真时钟信号clk的时钟频率信息，基于前仿真时钟信号clk的时钟频率信息可以生成前仿真clk时钟频率文件pre_sim_clk.report，参见图2所示。
根据后仿真结果波形文件中的波形可以计算出后仿真时钟信号clk的时钟频率信息，基于后仿真时钟信号clk的时钟频率信息可以生成后仿真clk时钟频率文件post_sim_clk.report，参见图2所示。
S300，将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。
继续参见图2所示，根据比对结果生成了clk结果文件clk.report。
本实施例中，所述EDA前仿真是对寄存器传输级RTL代码进行仿真验证，所述寄存器传输级RTL代码中针对clk语句设置有clk注释信息，通过所述clk注释信息对clk语句涉及的时钟信号clk的时钟频率进行注释。此时，在进行EDA前仿真之前还包括步骤：通过脚本抽取寄存器传输级RTL代码中的时钟信号clk和对应的clk注释信息，获取该时钟信号clk的名称和时钟频率值后，写入预设数据格式的参考时钟信号文件中。
在所述RTL代码中，在要检测的clk语句之后添加clk注释信息。作为举例而非限制，添加clk注释信息的方式可以如下：
Input clk_axi // auto_check : 400M
其中，“//”表示注释符，“auto_check : 400M”表示具体的注释内容，所述注释内容中包含该clk语句涉及的时钟信号clk的时钟频率值，比如注释内容中的“400M”。
通过脚本可以识别RTL代码中的clk语句“Input clk_axi”和该clk语句对应的clk注释信息“// auto_check : 400M”，然后将识别的时钟信号clk的名称“clk_axi”和时钟频率值“400M”添加到预设数据格式的参考时钟信号文件中。所述参考时钟信号文件中记录有时钟信号clk的名称和对应的时钟频率值。
本实施例中，优选的，所述参考时钟信号文件为采用Excel格式的clk表格，所述clk表格预设有2个字段信息，分别为时钟信号clk的名称clk name和时钟频率值clk freqvalue。
clk表格的具体数据格式可以参见图3所示。所述clk表格中设置有2个字段，分别为时钟信号clk的名称“clk name”和对应的时钟频率值“clk freq value”。作为举例而非限制，比如图3中记录的“clk name”包括CPU_clk、DDR_clk、AXI_clk和PCIE_clk，分别表示CPU、DDR、AXI和PCIE模块的clk配置信息，配置的时钟频率值（单位为Hz）分别为800M、466M、200M、400M。
仿真运行的时候，会自动读取clk表格中的数据。
在前仿真运行结束时，会根据前仿真结果波形文件生成一个pre_sim_clk.report文件，pre_sim_clk.report文件中记录有前仿真涉及的时钟信号clk信息，包括clk名称和根据波形计算得到的时钟频率值。在后仿真运行结束时，会根据后仿真结果波形文件生成一个post_sim_clk.report，post_sim_clk.report文件中记录有后仿真涉及的时钟信号clk信息，包括clk名称和根据波形计算得到的时钟频率值。
将前仿真和后仿真的report文件合并（merge）后与参考时钟信号文件clk表格进行比对，就可以得到一个clk结果文件clk.report。只有当clk表格里面的时钟信息和EDA前仿真的时钟信息以及EDA后仿真的时钟信息三者一致时，才判定时钟没有错误；否则，判定仿真时钟出现错误，在clk结果文件clk.report中标注出错误的clk信息，从而向用户显示错误的clk信息。
所述clk结果文件clk.report中，可以显示有各个时钟信号clk的名称，对于每个时钟信号clk，显示该时钟信号clk在参考时钟信号文件、前仿真clk时钟频率文件和后仿真clk时钟频率文件中的时钟频率值。
作为典型方式的举例，参见图4所示，所述clk表格预设有4个字段信息，分别为时钟信号clk的名称信息“Excel clk name”和3个时钟频率值“Excel clk value”、“Pre_simclk value”和“Post_sim clk value”，分别用于记录clk表格Excel clk（参考时钟信号文件）、前仿真clk时钟频率文件和后仿真clk时钟频率文件中对应的时钟频率值。
所述clk结果文件clk.report中，可以标注出前仿真和后仿真中与clk表格中不一致的clk信息，如果一致就可以不标注。具体的，进行前述比对时，在判断前仿真clk时钟频率文件、后仿真clk时钟频率文件和参考时钟信号文件三者的时钟频率信息不一致的情况下，在所述clk结果文件中标注出不一致的clk的时钟频率值，或者在所述clk结果文件中标注出不一致的clk的名称和时钟频率值。
优选的，还可以在采集到用户通过波形工具打开前述仿真结果波形文件的操作时，读取前述clk结果文件后，在波形工具中对应着输出的仿真结果波形标注出时钟频率不一致的时钟信号clk所在位置。
在一个实施方式中，是在用户通过波形工具打开前述仿真结果波形文件时，直接读取前述clk结果文件，然后根据clk结果文件在输出的仿真结果波形中，标注出不一致的时钟信号clk所在位置。
在另一个实施方式中，在波形工具中预设有clk标注操作命令——比如“nWave-report clk.report”。此时，用户通过波形工具打开前述仿真结果波形文件时，可以通过输入命令“nWave-report clk.report”来触发独权前述clk结果文件，然后根据clk结果文件在输出的仿真结果波形中，标注出不一致的时钟信号clk所在位置，比如将不一致的clk波形用区别的红色在图形上面标注出来。
在另一个实施方式中，在波形工具中设置有clk结果文件导入选项——通常为一个触发控件，在接收到用户触发前述clk结果文件导入选项时，读取前述clk结果文件，然后根据clk结果文件在输出的仿真结果波形中，标注出不一致的时钟信号clk所在位置，比如将不一致的clk波形用区别的红色在图形上面标注出来。
本发明的另一实施例，还提供了一种芯片EDA仿真中的时钟检查装置。
所述时钟检查装置包括时钟频率计算模块和时钟信息检查模块。
所述时钟频率计算模块，用于获取EDA前仿真和EDA后仿真生成的仿真结果波形文件后，根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件。
所述时钟信息检查模块，用于将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。
本实施例中，所述仿真结果波形文件优选为fsdb波形文件。
此时，所述时钟频率计算模块被配置为：获取fsdb波形文件中的fsdb波形，分析fsdb波形中的时钟信号clk的边沿信息，所述时钟信号clk为具有周期性的脉冲信号，所述边沿信息包括上升沿和下降沿出现的时间点信息；获取任意2个相邻的clk上升沿的时间点信息t1和t2；计算相邻的上升沿时间间隔△t=t2-t1后，确定前述时钟信号clk 的时钟频率f，所述时钟频率f的计算公式为f=100/△t。
本实施例中，所述EDA前仿真是对寄存器传输级RTL代码进行仿真验证，所述寄存器传输级RTL代码中针对clk语句设置有clk注释信息，通过所述clk注释信息对clk语句涉及的时钟信号clk的时钟频率进行注释。
此时，在进行EDA前仿真之前还包括步骤：通过脚本抽取寄存器传输级RTL代码中的时钟信号clk和对应的clk注释信息，获取该时钟信号clk的名称和时钟频率值后，写入预设数据格式的参考时钟信号文件中。
所述参考时钟信号文件优选为采用Excel表格式的clk表格，所述clk表格预设有2个字段信息，分别为时钟信号clk的名称clk name和时钟频率值clk freq value。
所述clk结果文件中可以显示有各个时钟信号clk的名称，对于每个时钟信号clk，显示该时钟信号clk在参考时钟信号文件、前仿真clk时钟频率文件和后仿真clk时钟频率文件中的时钟频率值。
进行前述比对时，在判断前仿真clk时钟频率文件、后仿真clk时钟频率文件和参考时钟信号文件三者的时钟频率信息不一致的情况下，在所述clk结果文件中标注出不一致的clk的时钟频率值，或者标注出不一致的clk的名称和时钟频率值。
其它技术特征参考在前实施例，在此不再赘述。
在上面的描述中，本发明的公开内容并不旨在将其自身限于这些方面。而是，在本公开内容的目标保护范围内，各组件可以以任意数目选择性地且操作性地进行合并。另外，像“包括”、“囊括”以及“具有”的术语应当默认被解释为包括性的或开放性的，而不是排他性的或封闭性，除非其被明确限定为相反的含义。所有技术、科技或其他方面的术语都符合本领域技术人员所理解的含义，除非其被限定为相反的含义。在词典里找到的公共术语应当在相关技术文档的背景下不被太理想化或太不实际地解释，除非本公开内容明确将其限定成那样。本发明领域的普通技术人员根据上述揭示内容做的任何变更、修饰，均属于权利要求书的保护范围。

Claims (10)

1.一种芯片EDA仿真中检查时钟的方法，其特征在于包括步骤：
获取EDA前仿真和EDA后仿真生成的仿真结果波形文件；
根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件；
将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。
2.根据权利要求1所述的方法，其特征在于：所述仿真结果波形文件为fsdb波形文件。
3.根据权利要求2所述的方法，其特征在于：根据fsdb波形文件中的fsdb波形计算时钟信号clk的时钟频率的步骤如下，
分析fsdb波形中的时钟信号clk的边沿信息，所述时钟信号clk为具有周期性的脉冲信号，所述边沿信息包括上升沿和下降沿出现的时间点信息；
获取任意2个相邻的clk上升沿的时间点信息t1和t2;
计算相邻的上升沿时间间隔△t=t2-t1后，确定前述时钟信号clk的时钟频率f，所述时钟频率f的计算公式为f=100/△t。
4.根据权利要求1所述的方法，其特征在于：所述EDA前仿真是对寄存器传输级RTL代码进行仿真验证，所述寄存器传输级RTL代码中针对clk语句设置有clk注释信息，通过所述clk注释信息对clk语句涉及的时钟信号clk的时钟频率进行注释；
此时，在进行EDA前仿真之前还包括步骤：通过脚本抽取寄存器传输级RTL代码中的时钟信号clk和对应的clk注释信息，获取该时钟信号clk的名称和时钟频率值后，写入预设数据格式的参考时钟信号文件中。
5.根据权利要求4所述的方法，其特征在于：所述参考时钟信号文件为采用Excel表格式的clk表格，所述clk表格预设有2个字段信息，分别为时钟信号clk的名称clk name和时钟频率值clk freq value。
6.根据权利要求1所述的方法，其特征在于：所述clk结果文件中显示有各个时钟信号clk的名称，对于每个时钟信号clk，显示该时钟信号clk在参考时钟信号文件、前仿真clk时钟频率文件和后仿真clk时钟频率文件中的时钟频率值。
7.根据权利要求6所述的方法，其特征在于：进行前述比对时，在判断前仿真clk时钟频率文件、后仿真clk时钟频率文件和参考时钟信号文件三者的时钟频率信息不一致的情况下，在所述clk结果文件中标注出不一致的clk的时钟频率值，或者标注出不一致的clk的名称和时钟频率值。
8.根据权利要求7所述的方法，其特征在于：采集用户通过波形工具打开前述仿真结果波形文件的操作，读取前述clk结果文件后，在波形工具中对应着输出的仿真结果波形标注出时钟频率不一致的时钟信号clk所在位置。
9.一种芯片EDA仿真中的时钟检查装置，其特征在于包括：
时钟频率计算模块，用于获取EDA前仿真和EDA后仿真生成的仿真结果波形文件后，根据仿真结果波形文件中的波形分别确定前仿真时钟信号clk的时钟频率和后仿真时钟信号clk的时钟频率，生成前仿真clk时钟频率文件和后仿真clk时钟频率文件；
时钟信息检查模块，用于将前仿真clk时钟频率文件、后仿真clk时钟频率文件与参考时钟信号文件三者的时钟频率进行比对，并根据比对的结果生成clk结果文件。
10.根据权利要求9所述的装置，其特征在于：所述仿真结果波形文件为fsdb波形文件，所述时钟频率计算模块被配置为：获取fsdb波形文件中的fsdb波形，
分析fsdb波形中的时钟信号clk的边沿信息，所述时钟信号clk为具有周期性的脉冲信号，所述边沿信息包括上升沿和下降沿出现的时间点信息；获取任意2个相邻的clk上升沿的时间点信息t1和t2；计算相邻的上升沿时间间隔△t=t2-t1后，确定前述时钟信号clk的时钟频率f，所述时钟频率f的计算公式为f=100/△t。
CN202210269517.5A 2022-03-18 2022-03-18 芯片eda仿真中检查时钟的方法及装置 Pending CN114692533A (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202210269517.5A CN114692533A (zh) 2022-03-18 2022-03-18 芯片eda仿真中检查时钟的方法及装置

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202210269517.5A CN114692533A (zh) 2022-03-18 2022-03-18 芯片eda仿真中检查时钟的方法及装置

Publications (1)

Publication Number Publication Date
CN114692533A true CN114692533A (zh) 2022-07-01

Family

ID=82139734

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202210269517.5A Pending CN114692533A (zh) 2022-03-18 2022-03-18 芯片eda仿真中检查时钟的方法及装置

Country Status (1)

Country Link
CN (1) CN114692533A (zh)

Cited By (2)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117077588A (zh) * 2023-10-16 2023-11-17 沐曦集成电路(上海)有限公司 硬件加速仿真调试系统
CN117172194A (zh) * 2023-09-20 2023-12-05 海光集成电路设计(北京)有限公司 用于检测集成电路的时钟定义的方法和装置

Cited By (4)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
CN117172194A (zh) * 2023-09-20 2023-12-05 海光集成电路设计(北京)有限公司 用于检测集成电路的时钟定义的方法和装置
CN117172194B (zh) * 2023-09-20 2024-08-16 海光集成电路设计(北京)有限公司 用于检测集成电路的时钟定义的方法和装置
CN117077588A (zh) * 2023-10-16 2023-11-17 沐曦集成电路(上海)有限公司 硬件加速仿真调试系统
CN117077588B (zh) * 2023-10-16 2024-01-23 沐曦集成电路(上海)有限公司 硬件加速仿真调试系统

Similar Documents

Publication Publication Date Title
US6061283A (en) Semiconductor integrated circuit evaluation system
CN114692533A (zh) 芯片eda仿真中检查时钟的方法及装置
US9026966B1 (en) Co-simulation methodology to address performance and runtime challenges of gate level simulations with, SDF timing using emulators
CN112417798B (zh) 一种时序测试方法、装置、电子设备及存储介质
US7421668B1 (en) Meaningful visualization of properties independent of a circuit design
US7251794B2 (en) Simulation testing of digital logic circuit designs
Jindal et al. Verification of transaction-level SystemC models using RTL testbenches
CN105279345B (zh) 一种航天器用数字软ip核评测方法
CN115238619B (zh) 数字芯片的子模块后仿真方法和系统
US6370493B1 (en) Simulation format creation system and method
CN112526326B (zh) 时序测试方法、系统、装置及存储介质
CN117094269B (zh) 一种验证方法、装置、电子设备及可读存储介质
CN116227398B (zh) 一种自动化生成ip核测试激励的方法及系统
KR20040007463A (ko) 로직 시뮬레이션을 이용하지 않는 복잡한 ｉｃ의 설계검증을 위한 방법 및 장치
US7702009B2 (en) Timing analysis apparatus and method of timing analysis
CN106294144A (zh) 串行通信协议的测试向量的生成方法、系统及服务器
CN115656791A (zh) 芯片可测性设计的测试方法及测试平台
US8306802B2 (en) Method for modeling an HDL design using symbolic simulation
Bombieri et al. Incremental ABV for functional validation of TL-to-RTL design refinement
US9449127B1 (en) System for verifying timing constraints of IC design
CN107784185B (zh) 一种门级网表中伪路径的提取方法、装置及终端设备
US10430535B2 (en) Verification support program medium, verification support method, and information processing device for verification of a circuit
US7219315B1 (en) Comparison of semiconductor circuitry simulations
CN112131807A (zh) 一种跨时钟域验证方法、装置、设备及介质
CN110688815A (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