CN112579417A - 时间尺度检查方法、装置及电子设备 - Google Patents

时间尺度检查方法、装置及电子设备 Download PDF

Info

Publication number
CN112579417A
CN112579417A CN202011542967.4A CN202011542967A CN112579417A CN 112579417 A CN112579417 A CN 112579417A CN 202011542967 A CN202011542967 A CN 202011542967A CN 112579417 A CN112579417 A CN 112579417A
Authority
CN
China
Prior art keywords
time scale
module
target
target module
signing
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
CN202011542967.4A
Other languages
English (en)
Other versions
CN112579417B (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.)
Haiguang Information Technology Co Ltd
Original Assignee
Haiguang Information 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 Haiguang Information Technology Co Ltd filed Critical Haiguang Information Technology Co Ltd
Priority to CN202011542967.4A priority Critical patent/CN112579417B/zh
Publication of CN112579417A publication Critical patent/CN112579417A/zh
Application granted granted Critical
Publication of CN112579417B publication Critical patent/CN112579417B/zh
Active legal-status Critical Current
Anticipated expiration legal-status Critical

Links

Images

Classifications

    • GPHYSICS
    • G06COMPUTING; CALCULATING OR COUNTING
    • G06FELECTRIC DIGITAL DATA PROCESSING
    • G06F11/00Error detection; Error correction; Monitoring
    • G06F11/30Monitoring
    • G06F11/34Recording or statistical evaluation of computer activity, e.g. of down time, of input/output operation ; Recording or statistical evaluation of user activity, e.g. usability assessment
    • G06F11/3466Performance evaluation by tracing or monitoring
    • G06F11/3476Data logging

Landscapes

  • Engineering & Computer Science (AREA)
  • General Engineering & Computer Science (AREA)
  • Theoretical Computer Science (AREA)
  • Computer Hardware Design (AREA)
  • Quality & Reliability (AREA)
  • Physics & Mathematics (AREA)
  • General Physics & Mathematics (AREA)
  • Debugging And Monitoring (AREA)

Abstract

本申请涉及一种时间尺度检查方法、装置及电子设备。本申请实施例提供的时间尺度检查方法,包括:根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块;判断多个模块中是否存在时间尺度来源失配的目标模块;若多个模块中存在时间尺度来源失配的目标模块,则从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级;根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件。本申请实施例提供的时间尺度检查方法、装置及电子设备能够提高时间尺度的检查效率。

Description

时间尺度检查方法、装置及电子设备
技术领域
本申请涉及芯片设计技术领域,具体而言,涉及一种时间尺度检查方法、装置及电子设备。
背景技术
随着半导体工艺制程的不断进步,片上系统的规模越来越大,功能也越来越复杂,对应的,对片上系统进行功能仿真验证的时间也在不断增长,同时,仿真错误率也越来越高。目前,待测设计(片上系统或片上系统中包括的某个子系统)出现仿真错误可能有两个原因:
a)仿真时间单位不合理,在此情况下,延时语句所对应的实际延时长度很可能不是预期的结果,因此,极大概率上会造成事件先后顺序发生变化或者数据采样发生变化,导致错误;
b)仿真时间精度不合理,在此情况下,一些精确的延时操作在能仿真验证过程中会产生偏差,随着能仿真验证操作的进行,这些偏差会不断积累,最终造成功能错误。
针对以上问题,现有技术中,往往会通过逐一检查待测设计和验证环境中每个模块设定的时间尺度,最终,保证待测设计和验证环境中每个模块在功能仿真验证过程中使用了合理的时间尺度。而对于待测设计和验证环境中每个模块时设定的间尺度,一般有两种检查方法:
a)设计人员和验证人员分别正向检查待测设计的源文件和验证环境的源文件,确保待测设计的源文件中每个模块都具有合理的时间尺度设定,同时,也确保验证环境的源文件中每个模块都具有合理的时间尺度设定;
b)在验证环境的仿真代码中加入打印信息,将每个模块所使用的时间尺度输出在仿真日志文件中,然后,再统一进行检查。
以上这两种方法虽然有效,但却存在执行效率低下的问题。
发明内容
本申请的目的在于,提供一种时间尺度检查方法、装置及电子设备,以解决上述问题。
第一方面,本申请提供的时间尺度检查方法,包括:
根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块;
判断多个模块中是否存在时间尺度来源失配的目标模块;
若多个模块中存在时间尺度来源失配的目标模块,则从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级;
根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件。
结合第一方面,本申请实施例还提供了第一方面的第一种可选的实施方式,根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,包括:
获取时间尺度信息的标准表现形式;
根据标准表现形式,对编译日志进行扫描,获得与多个模块一一对应的多条时间尺度信息。
结合第一方面,本申请实施例还提供了第一方面的第二种可选的实施方式,根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息之后,时间尺度检查方法还包括:
将多条时间尺度信息存储于预先创建的第一哈希表格中。
结合第一方面,本申请实施例还提供了第一方面的第三种可选的实施方式,判断多个模块中是否存在时间尺度来源失配的目标模块,包括:
针对多个模块中的每个模块,从多条时间尺度信息中确定出与模块对应的待判断时间尺度信息,以获取待判断时间尺度信息中包括的时间尺度来源;
判断时间尺度来源是否为目标模块源文件,目标模块源文件为当前所判断模块的寄存器传输级电路设计源文件;
若时间尺度来源非目标模块源文件,则将模块作为目标模块,以判定多个模块中存在目标模块。
结合第一方面,本申请实施例还提供了第一方面的第四种可选的实施方式,判断多个模块中是否存在时间尺度来源失配的目标模块,包括:
确定出时间尺度定义在系统源文件中的位置信息;
根据位置信息,判断多个模块中是否存在位于时间尺度定义之前的模块;
若多个模块中存在位于时间尺度定义之前的模块,则将模块作为目标模块,以判定多个模块中存在目标模块。
结合第一方面,本申请实施例还提供了第一方面的第五种可选的实施方式,获取目标模块的失配等级,包括:
判断目标模块在执行时是否包括延时操作;
若目标模块在执行时包括延时操作,则将目标模块的失配等级设定为高等级失配;
若目标模块在执行时不包括延时操作,则将目标模块的失配等级设定为低等级失配。
结合第一方面的第五种可选的实施方式,本申请实施例还提供了第一方面的第六种可选的实施方式,判断目标模块在执行时是否包括延时操作,包括:
判断目标模块的模块定义中是否包括延时语句;
判断目标模块是否引用包括延时语句的被引文件;
若目标模块的模块定义中存在延时语句,或目标模块引用包括延时语句的被引文件,则判定目标模块在执行时包括延时操作。
结合第一方面的第六种可选的实施方式,本申请实施例还提供了第一方面的第七种可选的实施方式,判定目标模块在执行时包括延时操作之后,时间尺度检查方法还包括:
若目标模块的模块定义中存在延时语句,则对延时语句进行记录,以及若目标模块引用包括延时语句的被引文件,则对被引文件中包括的延时语句进行记录。
结合第一方面的第七种可选的实施方式,本申请实施例还提供了第一方面的第八种可选的实施方式,根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件之后,时间尺度检查方法还包括:
获取记录的延时语句;
将延时语句添加到检查结果表征文件中。
结合第一方面,本申请实施例还提供了第一方面的第九种可选的实施方式,根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件,包括:
生成包括目标模块对应的目标时间尺度信息、目标模块的失配等级、目标模块的模块定义,以及目标模块对应模块标识的检查结果表征文件。
结合第一方面,本申请实施例还提供了第一方面的第十种可选的实施方式,根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件之后,时间尺度检查方法还包括:
在检查结果表征文件中为目标模块提供签核项;
根据提供有签核项的检查结果表征文件,获得签核报表。
结合第一方面的第十种可选的实施方式,本申请实施例还提供了第一方面的第十一种可选的实施方式,根据提供有签核项的检查结果表征文件,获得签核报表之后,时间尺度检查方法还包括:
获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备,以供终端设备在接收到签核指令时,响应签核指令,在签核报表中添加针对目标模块的签核信息。
结合第一方面的第十一种可选的实施方式,本申请实施例还提供了第一方面的第十二种可选的实施方式,获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备之前,时间尺度检查方法还包括:
判断历史签核报表中是否存在针对目标模块的历史签核信息;
若历史签核报表中存在针对目标模块的签核信息,则获取历史签核信息,并将历史签核信息添加到签核报表中,作为针对目标模块的签核信息;
若历史签核报表中不存在针对目标模块的签核信息,则执行获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备的步骤。
第二方面,本申请实施例还提供了一种时间尺度检查装置,包括:
第一信息获取模块,用于根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块;
判断模块,判断多个模块中是否存在时间尺度来源失配的目标模块;
第二信息获取模块,用于在多个模块中存在时间尺度来源失配的目标模块时,从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级;
文件生成模块,用于根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件。
第三方面,本申请实施例还提供了一种电子设备,包括处理器和存储器,存储器上存储有计算机程序,处理器用于执行计算机程序,以实现上述第一方面,或第一方面的任意一种可选的实施方式所提供的时间尺度检查方法。
第四方面,本申请实施例还提供了一种计算机可读存储介质,计算机可读存储介质上存储有计算机程序,计算机程序被执行时,实现上述第一方面,或第一方面的任意一种可选的实施方式所提供的时间尺度检查方法。
本申请提供的时间尺度检查方法仅仅将仿真器对系统源文件进行编译时所记录的编译日志和系统源文件(目标子系统的寄存器传输级电路设计源文件)作为时间尺度检查的输入信息,此后,根据该编译日志就能够获得与多个模块一一对应的多条时间尺度信息,其中,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块,接着,判断多个模块中是否存在时间尺度来源失配的目标模块,若多个模块中存在时间尺度来源失配的目标模块,则从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级,最后,直接根据目标模块对应的目标时间尺度信息和目标模块的失配等级就能够生成检查结果表征文件。显然,本申请实施例提供的流程清晰,输入信息较少,且生成检查结果表征文件的过程不需要人工参与,因此,自动化程度较高,最终,提高了时间尺度的检查效率。
此外,本申请实施例提供的时间尺度检测装置、电子设备及计算机可读存储介质具有与上述时间尺度检查方法相同的有益效果,此处不作赘述。
附图说明
为了更清楚地说明本申请实施例的技术方案,下面将对本申请实施例中所需要使用的附图作简单地介绍,应当理解,以下附图仅示出了本申请的某些实施例,因此不应被看作是对范围的限定,对于本领域普通技术人员来讲,在不付出创造性劳动的前提下,还可以根据这些附图获得其他相关的附图。
图1为本申请实施例提供的一种电子设备的示意性结构框图。
图2为本申请实施例提供的一种时间尺度检查方法的步骤流程图。
图3为本申请实施例提供的一种时间尺度检测装置的示意性结构框图。
附图标记:100-电子设备;110-处理器;120-存储器;200-时间尺度检查装置;210-第一信息获取模块;220-判断模块;230-第二信息获取模块;240-文件生成模块。
具体实施方式
为使本申请实施例的目的、技术方案和优点更加清楚,下面将结合本申请实施例中的附图,对本申请实施例中的技术方案进行描述。此外,应注意到:相似的标号和字母在下面的附图中表示类似项,因此,一旦某一项在一个附图中被定义,则在随后的附图中不需要对其进行进一步定义和解释。
请参阅图1,为本申请实施例提供的一种电子设备100的示意性结构框图。本申请实施例中,电子设备100可以是终端设备,例如,电脑、个人数字助理(Personal DigitalAssistant,PAD)、移动上网设备(Mobile Internet Device,MID)等,还可以是服务器,本申请实施例对此不作具体限制。
在结构上,电子设备100可以包括处理器110和存储器120。
处理器110和存储器120直接或间接地电性连接,以实现数据的传输或交互,例如,这些元件相互之间可通过一条或多条通讯总线或信号线实现电性连接。时间尺度检查装置包括至少一个可以软件或固件(Firmware)的形式存储在存储器120中的软件模块。处理器110用于执行存储器120中存储的可执行模块,例如,时间尺度检查装置所包括的软件功能模块及计算机程序等,以实现时间尺度检查方法。
处理器110可以在接收到执行指令后,执行计算机程序。其中,处理器110可以是一种集成电路芯片,具有信号处理能力。处理器110也可以是通用处理器,例如,可以是数字信号处理器(Digital Signal Processor,DSP)、专用集成电路(Application SpecificIntegrated Circuit,ASIC)、分立门或晶体管逻辑器件、分立硬件组件,可以实现或者执行本申请实施例中的公开的各方法、步骤及逻辑框图,此外,通用处理器可以是微处理器或者任何常规处理器等。
存储器120可以是,但不限于,随机存取存储器(Random Access Memory,RAM)、只读存储器(Read Only Memory,ROM)、可编程只读存储器(Programmable Read-OnlyMemory,PROM)、可擦可编程序只读存储器(Erasable Programmable Read-Only Memory,EPROM),以及电可擦编程只读存储器(Electric Erasable Programmable Read-OnlyMemory,EEPROM)。存储器120用于存储程序,处理器110在接收到执行指令后,执行该程序。
应当理解,图1所示的结构仅为示意,本申请实施例提供的电子设备100还可以具有比图1更少或更多的组件,或是具有与图1所示不同的配置。此外,图1所示的各组件可以通过软件、硬件或其组合实现。
请参阅图2,为本申请实施例提供的时间尺度检查方法的流程示意图,该方法应用于图1所示的电子设备100。需要说明的是,本申请实施例提供的时间尺度检查方法不以图2及以下所示的顺序为限制,以下结合图2对时间尺度检查方法的具体流程及步骤进行描述。
步骤S100,根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块。
本申请实施例中,目标子系统为片上系统(System On Chip,SOC,又称系统级芯片)中包括的任意待测子系统,而目标子系统中又包括多个模块。此外,本申请实施例中,仿真器可以理解为对目标子系统进行功能仿真验证的过程中,用于对系统源文件进行编译的电子设计自动化(Electronic Design Automation,EDA)仿真工具,其在对系统源文件进行编译的过程中能够生成编译日志,用于记录与多个模块一一对应的多条时间尺度信息等。
此外,本申请实施例中,系统源文件为目标子系统的寄存器传输级电路(RegisterTransfer Level,RTL)设计源文件,其除包括定义目标子系统本身的RTL设计源文件,还包括目标子系统内多个模块各自的RTL设计源文件。
本申请实施例中,时间尺度信息中包括时间尺度和时间尺度来源,其中,时间尺度又包括时间单位和时间精度。时间单位是Verilog HDL代码中使用延时语句“#?”时,所代表的仿真器中延迟的时间总量,时间单位声明的格式是“数字+基准”,延时语句中的“?”为数字部分,其可以是任意大于等于0的整数或小数,例如,12、34.59,再或0.004,,基准可以是秒(s)、毫秒(ms)、微秒(us)、纳秒(ns)、皮秒(ps)、飞秒(fs)等时间单位,基于此,VerilogHDL代码中使用延时语句具体可以是“#12ns”,也可以是“#34.59ps”,还可以是“#0.004us”等。时间精度定义了功能仿真验证过程中时间和延时的精确程度,确定了延时增长的最小步长,例如,时间精度为1ns,那么,模块定义中所有的延时语句最多能精确到1ns。基于此,也可以理解为,本申请实施例中,时间尺度信息包括时间单位、时间精度和时间尺度来源。
在编译日志中,时间尺度信息往往存在于某一固定格式的字符段中,且包括固定的关键字,例如,该固定格式的字符段可以包括第一部分“XXX module gets time unit"YYY"from ZZZ”,以及第二部分“XXX module gets time precision"VVV"from ZZZ”,其中,“XXX module”为模块名称,“YYY”为时间单位,“VVV”为时间精度,“ZZZ”为时间尺度信息的来源文件,也即,时间尺度来源,而关键字可以为“time”。
基于以上描述,本申请实施例中,步骤S100可以包括步骤S110、步骤S120和步骤S130。
步骤S110,获取时间尺度信息的标准表现形式。
本申请实施例中,时间尺度信息的标准表现形式可以理解为时间尺度信息所在字符段的固定格式,也即,“XXX module gets time unit"YYY"from ZZZ”、“XXX module getstime precision"VVV"from ZZZ”,以及时间尺度信息的关键字。
步骤S120,根据标准表现形式,对编译日志进行扫描,获得与多个模块一一对应的多条时间尺度信息。
本申请实施例中,可以结合时间尺度信息的关键字,以及时间尺度信息所在字符段的固定格式,对编译日志进行逐行扫描,以确定出编译日志包括的多条时间尺度信息,此后,创建多条时间尺度信息与对个模块的一一对应关系。
进一步地,为了方便本申请实施例提供的时间尺度检查方法在后续执行过程中,能够实现时间尺度信息的快速查找,本申请实施例提供的时间尺度检查方法,在步骤S100之后还可以包括步骤S001。
步骤S001,将多条时间尺度信息存储于预先创建的第一哈希表格中。
由于哈希表格具有数据查找时间短的特点之外,其数据存储的时间消耗也极短,因此,本申请实施例中,将多条时间尺度信息存储于预先创建的第一哈希表格中所需的操作时间,以及后续信息查找时间都是较短的。
以多个模块中包括模块1、模块2、模块3……模块N为例,若模块1对应时间尺度信息1(包括时间单位1、时间精度1和时间尺度来源1),模块2对应时间尺度信息2(包括时间单位2、时间精度2和时间尺度来源2),模块3对应时间尺度信息3(包括时间单位3、时间精度3和时间尺度来源3),以此类推,模块N对应时间尺度信息N(包括时间单位N、时间精度N和时间尺度来源N),则将与模块1、模块2、模块3……模块N一一对应的N条时间尺度信息存储于预先创建的第一哈希表格中,便可以获得表1所示的时间尺度信息哈希表格。
表1
Figure BDA0002852705460000111
步骤S200,判断多个模块中是否存在时间尺度来源失配的目标模块。
由于时间尺度设定规则为:对于某个模块,若其RTL设计源文件中未设定时间尺度,那么,仿真器在对该模块进行编译时,便会继承前一个RTL设计源文件(非该模块所在子系统的RTL设计源文件)中设定的时间尺度,作为该模块的时间尺度,若前一个RTL设计源文件中也未设定时间尺度,则会继承更前一个RTL设计源文件(非该模块所在子系统的RTL设计源文件)中设定的时间尺度,作为该模块的时间尺度,以此类推,若前面所有的RTL设计源文件中都未设定时间尺度,则该模块的时间尺度将由仿真器的编译选项确定。行业内将这种模块使用了其它RTL设计源文件中设定的时间尺度或由仿真器的编译选项设定时间尺度的情况,称之为模块与时间尺度来源失配。
基于以上描述,本申请实施例中,对于步骤S200,作为第一种可选的实施方式,其可以包括步骤S210、步骤S220和步骤S230。
步骤S210,针对多个模块中的每个模块,从多条时间尺度信息中确定出与模块对应的待判断时间尺度信息,以获取待判断时间尺度信息中包括的时间尺度来源。
步骤S220,判断时间尺度来源是否为目标模块源文件,目标模块源文件为当前所判断模块的寄存器传输级电路设计源文件。
步骤S230,若时间尺度来源非目标模块源文件,则将模块作为目标模块,以判定多个模块中存在目标模块。
以多个模块中包括模块1为例,执行步骤S210时,从多条时间尺度信息中确定出与模块1对应的待判断时间尺度信息,为方便描述,可以记作待判断时间尺度信息1,再获取待判断时间尺度信息1中包括的时间尺度来源,为方便描述,可以记作时间尺度来源1,此后,执行步骤S220,判断时间尺度来源1是否为目标模块源文件1(也即,模块1的RTL设计源文件),最后,执行步骤S230,若时间尺度来源1非目标模块源文件1,则将模块1作为目标模块,以判定多个模块中存在目标模块。
此外,本申请实施例提供的时间尺度检查方法,在步骤S200之前还可以将多个模块的RTL设计源文件存储于预先创建的第二哈希表格中,当然,具体存储内容可以是RTL设计源文件的文件名称,如此,便可以通过第二哈希表格表征多个模块与多个RTL设计源文件的一一对应关系。
同样,以多个模块中包括模块1、模块2、模块3……模块N为例,若模块1对应RTL设计源文件1,模块2对应RTL设计源文件2,模块3对应RTL设计源文件3,以此类推,模块N对应RTL设计源文件N,则将与模块1、模块2、模块3……模块N一一对应的N个RTL设计源文件的文件名称存储于预先创建的第二哈希表格中,便可以获得表2所示的对应关系哈希表。
表2
Figure BDA0002852705460000121
以多个模块中包括模块1为例,基于时间尺度信息哈希表格和对应关系哈希表,执行步骤S210时,可以通过查找时间尺度信息哈希表格,获取与模块1对应的时间尺度来源1,此后,再通过查找对应关系哈希表,获取与模块1对应的RTL设计源文件1,如此,执行步骤S220时,便可以通过判断时间尺度来源1指向的RTL设计源文件是否为RTL设计源文件1,基于此,执行步骤S230具体可以是若时间尺度来源1指向的RTL设计源文件非RTL设计源文件1,则将模块1作为目标模块,以判定多个模块中存在目标模块。
由于在系统源文件中,时间长度定义只能对位于该时间尺度定义之后的模块进行时间尺度设定,因此,本申请实施例中,对于步骤S200,作为第二种可选的实施方式,其可以也包括步骤S240、步骤S250和步骤S260。
步骤S240,确定出时间尺度定义在系统源文件中的位置信息。
步骤S250,根据位置信息,判断多个模块中是否存在位于时间尺度定义之前的模块。
步骤S260,若多个模块中存在位于时间尺度定义之前的模块,则将模块作为目标模块,以判定多个模块中存在目标模块。
需要说明的是,本申请实施例中,时间尺度定义即为用于设定时间尺度的程序段。
步骤S300,若多个模块中存在时间尺度来源失配的目标模块,则从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级。
本申请实施例中,由于在执行步骤S001时,已经将多条时间尺度信息存储于预先创建的第一哈希表格中,获得了时间尺度信息哈希表格,因此,在执行步骤S300时,便可以直接从时间尺度信息哈希表格中查找出与目标模块对应的目标时间尺度信息。
此外,由于在仿真时间单位不合理的情况下,目标模块在执行时若包括延时操作,那么,延时语句所对应的实际延时长度很可能不是预期的结果,因此,极大概率上会造成事件先后顺序发生变化或者数据采样发生变化,导致错误。基于此,本申请实施例中,目标模块的失配等级可以通过判断目标模块在执行时是否包括延时操作来确定,也即,本申请实施例中,对于步骤S300中包括的获取目标模块的失配等级,其可以通过步骤S310、步骤S320和步骤S330实现。
步骤S310,判断目标模块在执行时是否包括延时操作。
本申请实施例中,可以通过判断目标模块的模块定义中是否包括延时语句,以及判断目标模块是否引用包括延时语句的被引文件实现判断目标模块在执行时是否包括延时操作的目的,也即,本申请实施例中,步骤S310可以包括步骤S311、步骤S312和步骤S313。
步骤S311,判断目标模块的模块定义中是否包括延时语句。
步骤S312,判断目标模块是否引用包括延时语句的被引文件。
步骤S313,若目标模块的模块定义中存在延时语句,或目标模块引用包括延时语句的被引文件,则判定目标模块在执行时包括延时操作。
由于延时语句具有固定格式“#?”,其中,“?”为数字部分,其可以是任意大于等于0的整数或小数,例如,12、34.59,再或0.004,因此,若目标模块的模块定义中包括固定格式“#?”,则判定目标模块的模块定义中包括延时语句,同样,若目标模块所引用的被引文件中包括有固定格式为“#?”,则判定目标模块引用了包括延时语句的被引文件。
此外,关于模块定义,其为模块的程序段,同样具有固定格式,Verilog HDL代码中,其具体为“module……endmodule”,也即,模块定义的起始位置为“module”,结束位置为“endmodule”,因此,在相邻的两个“module”和“endmodule”之间定义的便为某目标模块的模块定义。
步骤S320,若目标模块在执行时包括延时操作,则将目标模块的失配等级设定为高等级失配。
步骤S330,若目标模块在执行时不包括延时操作,则将目标模块的失配等级设定为低等级失配。
本申请实施例中,若目标模块在执行时包括延时操作,那么,在仿真时间单位不合理的情况下,目标模块在执行时若包括延时操作,延时语句所对应的实际延时长度很可能不是预期的结果,因此,极大概率上会造成事件先后顺序发生变化或者数据采样发生变化,导致错误,因此,若目标模块在执行时包括延时操作,则将目标模块的失配等级设定为高等级失配,若目标模块在执行时不包括延时操作,则将目标模块的失配等级设定为低等级失配。
进一步地,为增强检查结果表征文件所涵盖信息的全面性,本申请实施例提供的时间尺度检查方法,在步骤S310,判定目标模块在执行时包括延时操作之后,还可以包括步骤S002。
步骤S002,若目标模块的模块定义中存在延时语句,则对延时语句进行记录,以及若目标模块引用包括延时语句的被引文件,则对被引文件中包括的延时语句进行记录。
在判定目标模块在执行时包括延时操作之后,若目标模块的模块定义中存在延时语句,则对延时语句进行记录,以及若目标模块引用包括延时语句的被引文件,则对被引文件中包括的延时语句进行记录,如此,在后续生成检查结果表征文件之后,还能够将延时语句添加到检查结果表征文件中,以增强检查结果表征文件所涵盖信息的全面性。
步骤S400,根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件。
对于步骤S400,本申请实施例中,作为一种可选的实施方式,其具体可以生成包括目标模块对应的目标时间尺度信息、目标模块的失配等级、目标模块的模块定义,以及目标模块对应模块标识(也即,模块名称)的检查结果表征文件,其中,目标模块对应的目标时间尺度信息包括目标时间单位、目标时间精度和目标时间尺度来源。此外,本申请实施例中,由于目标模块的模块定义为程序段,因此,可以避免直接将其涵盖于检查结果表征文件中,基于此,本申请实施例中,检查结果表征文件中目标模块的模块定义可以通过目标模块的定义来源表示,也即,可以给出目标模块的定义来源文件的名称。
此外,为增强检查结果表征文件所涵盖信息的全面性,本申请实施例提供的时间尺度检查方法在执行步骤S400,生成检查结果表征文件之后,还可以包括步骤S500和步骤S600。
步骤S500,获取记录的延时语句。
步骤S600,将延时语句添加到检查结果表征文件中。
基于步骤S500和步骤S600,在生成检查结果表征文件之后,还能够将延时语句添加到检查结果表征文件中,以增强检查结果表征文件所涵盖信息的全面性。
为提高检查结果表征文件签核的自动化程度,本申请实施例提供的时间尺度检查方法在执行步骤S400,生成检查结果表征文件之后,还可以包括步骤S700和步骤S800。
步骤S700,在检查结果表征文件中为目标模块提供签核项。
本申请实施例中签核项可以包括,但不限于签核人、签核状态和签核评论。
步骤S800,根据提供有签核项的检查结果表征文件,获得签核报表。
以目标模块包括多个,多个目标模块分别为模块4、模块5……模块M(M≤N)为例,若模块4对应的目标时间尺度信息中,目标时间单位为1ns,目标时间精度为1ps,目标时间尺度来源为xxx.v,目标模块的定义来源为aaa.v,失配等级设定为高等级失配,对应的延时语句为“#100”,签核人为“Owner1”,模块5对应的目标时间尺度信息中,目标时间单位为1ps,目标时间精度为1ps,目标时间尺度来源为命令行,目标模块的定义来源为bbb.v,失配等级设定为高等级失配,对应的延时语句为“#10”,签核人为“Owner2”,模块M对应的目标时间尺度信息中,目标时间单位为1ns,目标时间精度为10ps,目标时间尺度来源为yyy.v,目标模块的定义来源为ccc.v,失配等级设定为低等级失配,无对应的延时语句,签核人为“Owner3”,那么,在签核报表为Excel表格形式的情况下,根据提供有签核项的检查结果表征文件,可以获得表3所示的签核报表A1。
表3
Figure BDA0002852705460000171
为进一步提高检查结果表征文件签核的自动化程度,本申请实施例提供的时间尺度检查方法在执行步骤S800,获得签核报表之后,还可以包括步骤S900。
步骤S900,获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备,以供终端设备在接收到签核指令时,响应签核指令,在签核报表中添加针对目标模块的签核信息。
本申请实施例中,可以在执行步骤S800,以获得签核报表之后,主动地执行步骤S900,将签核报表发送给签核目的地址指向的终端设备,也可以是在接收到签核人发送的签核请求时,再执行步骤S900,将签核报表发送给签核目的地址指向的终端设备,本申请实施例对此不作具体限制。
此外,可以理解的是,本申请实施例中,若签核报表对应多个签核人,例如,不同的目标模块具有不同的签核人,则可以获得与多个签核人一一对应的多个签核目的地址,再将签核报表分别发送给多个签核目的地址指向的终端设备,以供多个终端设备在接收到签核指令时,响应对应签核人触发的签核指令,在签核报表中添加针对各自有权签核的目标模块的签核信息。本申请实施例中,签核人可以通过终端设备上设置的输入装置,例如,触控屏、鼠标、键盘等输入针对目标模块的签核信息,以生成签核指令,如此,供终端设备在接收到签核指令时,便可以响应签核指令,在签核报表中添加针对目标模块的签核信息。
继续以目标模块包括多个,多个目标模块分别为模块4、模块5……模块M(M≤N)为例,模块4对应的签核人为“Owner1”,若其添加的签核信息包括签核状态“Fix”,且无签核评论,模块5对应的签核人为“Owner2”,若其添加的签核信息包括签核状态“Fix”,且无签核评论,模块M对应的签核人为“Owner3”,若其添加的签核信息包括签核状态“ignore”,且无签核评论,那么,执行步骤S900之后,最终,可以获得表4所示的签核报表A2。
表4
Figure BDA0002852705460000181
Figure BDA0002852705460000191
基于以上描述,本申请实施例提供的时间尺度检测方法中,最终生成的签核报表具有报表内容丰富、报表内容合理的特点,同时,对需要检查的重点项目都进行了失配等级设定,同时,还提供了目标模块的签核项,能够帮助验证人员实现快速复核检查多个目标模块的目的,以进一步提高时间尺度的检查效率。
此外,为避免验证人员重复劳动,以更进一步的提高时间尺度的检查效率,本申请实施例提供的时间尺度检查方法在执行步骤S900之前,还可以包括步骤S003、步骤S004和步骤S005。
步骤S003,判断历史签核报表中是否存在针对目标模块的历史签核信息。
步骤S004,若历史签核报表中存在针对目标模块的签核信息,则获取历史签核信息,并将历史签核信息添加到签核报表中,作为针对目标模块的签核信息。
步骤S005,若历史签核报表中不存在针对目标模块的签核信息,则获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备。
假设,在存在历史签核报表,例如,前述签核报表A2的情况下,在针对另一子系统执行本申请实施例提供的时间长度检查方法时,从另一子系统中包括的多个模块中确定出了存在时间尺度来源失配的目标模块包括模块5和模块N+1,由于签核报表A2中已经存在模块5的历史签核信息,因此,可以从签核报表A2中,直接获取模块5的历史签核信息,并将模块5的历史签核信息添加到新的签核报表中,作为针对模块5的签核信息,也即,本次签核过程将仅对历史签核报表中不存在历史签核信息的模块N+1进行签核,若模块N+1对应的目标时间尺度信息中,目标时间单位为1ns,目标时间精度为1ps,目标时间尺度来源为zzz.v,目标模块的定义来源为ddd.v,失配等级设定为高等级失配,对应的延时语句为“#100”,签核人为“Owner1”,则可以生成如表5所示的签核报表B1。
表5
Figure BDA0002852705460000201
最后,需要说明的是,为进一步提高检查结果表征文件所涵盖信息的全面性,本申请实施例中,针对所述多个模块中,时间尺度来源未失配的合理模块,同样可以生成对应的待复核文件,包括合理模块对应的目标时间尺度信息、合理模块的模块定义,以及合理模块对应模块标识(也即,模块名称),其中,合理模块对应的目标时间尺度信息包括目标时间单位、目标时间精度和目标时间尺度来源。此外,本申请实施例中,由于合理模块的模块定义为程序段,因此,可以避免直接将其涵盖于待复核文件中,基于此,本申请实施例中,待复核文件中合理模块的模块定义可以通过待复核文件的定义来源表示,也即,可以给出待复核文件的定义来源文件的名称。
当然,本申请实施例中,同样可以在待复核文件中为合理模块提供签核项,签核项可以包括,但不限于签核人、签核状态和签核评论。此后,根据提供有签核项的待复核文件,获得签核报表,在获取到签核目的地址之后,将签核报表发送给签核目的地址指向的终端设备,以供终端设备在接收到签核指令时,响应签核指令,在签核报表中添加针对合理模块的签核信息,也可以理解为复核信息。
此外,为减少签核报表的数量,本申请实施例中针对某SOC中包括的任意待测子系统,还可以将其目标模块对应的签核报表和合理模块对应的签核报表进行整合汇总,最终,获得一张总签核报表。
以多个模块中包括模块4、模块5……模块M(M≤N)之外,还包括模块N为例,若模块N对应的目标时间尺度信息中,目标时间单位为1ns,目标时间精度为1ps,目标时间尺度来源为ccc.v,目标模块的定义来源为ccc.v,签核人为“Owner3”,则多个模块中合理模块对应的签核报表A3可以如表6所示。
表6
Figure BDA0002852705460000211
那么,将多个模块目标模块对应的签核报表(签核报表A1)和合理模块对应的签核报表(签核报表A3)进行整合汇总,最终,获得一张总签核报表A4,具体如表7所示。
表7
Figure BDA0002852705460000221
总结来说,本申请提供的时间尺度检查方法仅仅将仿真器对系统源文件进行编译时所记录的编译日志和系统源文件(目标子系统的寄存器传输级电路设计源文件)作为时间尺度检查的输入信息,此后,根据该编译日志就能够获得与多个模块一一对应的多条时间尺度信息,其中,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块,接着,判断多个模块中是否存在时间尺度来源失配的目标模块,若多个模块中存在时间尺度来源失配的目标模块,则从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级,最后,直接根据目标模块对应的目标时间尺度信息和目标模块的失配等级就能够生成检查结果表征文件。显然,本申请实施例提供的流程清晰,具有输入信息较少,且生成检查结果表征文件的过程不需要人工参与,因此,自动化程度较高,最终,提高了时间尺度的检查效率。
基于与上述时间尺度检查方法同样的发明构思,本申请实施例还提供了一种时间尺度检查装置200。请参阅图3,本申请实施例提供的时间尺度检查装置200,包括第一信息获取模块210、判断模块220、第二信息获取模块230和文件生成模块240。
第一信息获取模块210,用于根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块。
判断模块220,判断多个模块中是否存在时间尺度来源失配的目标模块。
第二信息获取模块230,用于在多个模块中存在时间尺度来源失配的目标模块时,从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级。
文件生成模块240,用于根据目标模块对应的目标时间尺度信息和目标模块的失配等级生成检查结果表征文件。
本申请实施例中,第一信息获取模块210可以包括标准表现形式获取单元和时间尺度信息获取单元。
标准表现形式获取单元,用于获取时间尺度信息的标准表现形式。
时间尺度信息获取单元,用于根据标准表现形式,对编译日志进行扫描,获得与多个模块一一对应的多条时间尺度信息。
本申请实施例提供的时间尺度检查装置200还可以包括时间尺度信息存储模块。
时间尺度信息存储模块,用于将多条时间尺度信息存储于预先创建的第一哈希表格中。
本申请实施例中,判断模块220可以包括时间尺度来源获取单元、时间尺度来源判断单元和第一目标模块判断单元。
时间尺度来源获取单元,用于针对多个模块中的每个模块,从多条时间尺度信息中确定出与模块对应的待判断时间尺度信息,以获取待判断时间尺度信息中包括的时间尺度来源。
时间尺度来源判断单元,用于判断时间尺度来源是否为目标模块源文件,目标模块源文件为模块的寄存器传输级电路设计源文件。
第一目标模块判断单元,用于若时间尺度来源非源文件,则将模块作为目标模块,以判定多个模块中存在目标模块。
本申请实施例中,判断模块220还可以包括位置信息获取单元、位置判断单元和第二目标模块判断单元。
位置信息获取单元,用于确定出时间尺度定义在系统源文件中的位置信息。
位置判断单元,用于根据位置信息,判断多个模块中是否存在位于时间尺度定义之前的模块。
第二目标模块判断单元,用于若多个模块中存在位于时间尺度定义之前的模块,则将模块作为目标模块,以判定多个模块中存在目标模块。
本申请实施例中,第二信息获取模块230可以包括延时操作判断单元、第一失配等级设定单元和第二失配等级设定单元。
延时操作判断单元,用于判断目标模块在执行时是否包括延时操作。
第一失配等级设定单元,用于在目标模块在执行时包括延时操作的情况下,将目标模块的失配等级设定为高等级失配。
第二失配等级设定单元,用于在目标模块在执行时不包括延时操作的情况下,将目标模块的失配等级设定为低等级失配。
本申请实施例中,延时操作判断单元可以包括第一延时操作判断单元、第二延时操作判断单元和延时操作确定子单元。
第一延时操作判断单元,用于判断目标模块的模块定义中是否包括延时语句。
第二延时操作判断单元,用于判断目标模块是否引用包括延时语句的被引文件。
延时操作确定子单元,用于在目标模块的模块定义中存在延时语句,或目标模块引用包括延时语句的被引文件的情况下,判定目标模块在执行时包括延时操作。
本申请实施例提供的时间尺度检测装置还可以包括延时语句记录模块。
延时语句记录模块,用于在目标模块的模块定义中存在延时语句的情况下,对延时语句进行记录,以及在目标模块引用包括延时语句的被引文件的情况下,对被引文件中包括的延时语句进行记录。
本申请实施例提供的时间尺度检查装置200还可以包括延时语句获取模块和延时语句添加模块。
延时语句获取模块,用于获取记录的延时语句。
延时语句添加模块,用于将延时语句添加到检查结果表征文件中。
本申请实施例中,文件生成模块240可以包括检查结果表征文件生成单元。
检查结果表征文件生成单元,用于生成包括目标模块对应的目标时间尺度信息、目标模块的失配等级、目标模块的模块定义,以及目标模块对应模块标识的检查结果表征文件。
本申请实施例提供的时间尺度检查装置200还可以包括签核项提供模块和签核报表获取模块。
签核项提供模块,用于在检查结果表征文件中为目标模块提供签核项。
签核报表获取模块,用于根据提供有签核项的检查结果表征文件,获得签核报表。
本申请实施例提供的时间尺度检查装置200还可以包括签核报表发送模块。
签核报表发送模块,用于获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备,以供终端设备在接收到签核指令时,响应签核指令,在签核报表中添加针对目标模块的签核信息。
本申请实施例提供的时间尺度检查装置200还可以包括历史签核信息判断模块、历史签核信息添加模块和跳转模块。
历史签核信息判断模块,用于判断历史签核报表中是否存在针对目标模块的历史签核信息。
历史签核信息添加模块,用于在历史签核报表中存在针对目标模块的签核信息的情况下,获取历史签核信息,并将历史签核信息添加到签核报表中,作为针对目标模块的签核信息。
跳转模块,用于在历史签核报表中不存在针对目标模块的签核信息的情况下,执行获取签核目的地址,以将签核报表发送给签核目的地址指向的终端设备的步骤。
由于本申请实施例提供的时间尺度检查装置200是基于与上述时间尺度检查方法同样的发明构思实现的,因此,时间尺度检查装置200中,每个软件模块的具体描述,均可参见上述时间尺度检查方法实施例中对应步骤的相关描述,此处不作赘述。
此外,本申请实施例还提供了一种计算机可读存储介质,计算机可读存储介质上存储有计算机程序,计算机程序被执行时,实现上述方法实施例所提供的时间尺度检查方法,具体可参见上述方法实施例,本申请实施例中对此不作赘述。
综上所述,本申请提供的时间尺度检查方法仅仅将仿真器对系统源文件进行编译时所记录的编译日志和系统源文件(目标子系统的寄存器传输级电路设计源文件)作为时间尺度检查的输入信息,此后,根据该编译日志就能够获得与多个模块一一对应的多条时间尺度信息,其中,系统源文件为目标子系统的寄存器传输级电路设计源文件,目标子系统包括多个模块,接着,判断多个模块中是否存在时间尺度来源失配的目标模块,若多个模块中存在时间尺度来源失配的目标模块,则从多条时间尺度信息中确定出与目标模块对应的目标时间尺度信息,以及获取目标模块的失配等级,最后,直接根据目标模块对应的目标时间尺度信息和目标模块的失配等级就能够生成检查结果表征文件。显然,本申请实施例提供的流程清晰,具有输入信息较少,且生成检查结果表征文件的过程不需要人工参与,因此,自动化程度较高,最终,提高了时间尺度的检查效率。
此外,本申请实施例提供的时间尺度检测装置、电子设备及计算机可读存储介质具有与上述时间尺度检查方法相同的有益效果,此处不作赘述。
在本申请实施例所提供的几个实施方式中,应该理解到,所揭露的方法和装置,也可以通过其它的方式实现。以上所描述的装置实施例仅仅是示意性的,例如,附图中的流程图和框图显示了根据本申请的多个实施例的装置、方法和计算机程序产品的可能实现的体系架构、功能和操作。在这点上,流程图或框图中的每个方框可以代表一个模块、程序段或代码的一部分,所述模块、程序段或代码的一部分包含一个或多个用于实现规定的逻辑功能的可执行指令。也应当注意,在有些作为替换的实现方式中,方框中所标注的功能也可以以不同于附图中所标注的顺序发生。例如,两个连续的方框实际上可以基本并行地执行,它们有时也可以按相反的顺序执行,这依所涉及的功能而定。也要注意的是,框图和/或流程图中的每个方框、以及框图和/或流程图中的方框的组合,可以用执行规定的功能或动作的专用的基于硬件的系统来实现,或者可以用专用硬件与计算机指令的组合来实现。此外,在本申请每个实施例中的各功能模块可以集成在一起形成一个独立的部分,也可以是每个模块单独存在,也可以两个或两个以上模块集成形成一个独立的部分。
此外,所述功能如果以软件功能模块的形式实现并作为独立的产品销售或使用时,可以存储在一个计算机可读取存储介质中。基于这样的理解,本申请的技术方案本质上或者说对现有技术做出贡献的部分或者该技术方案的部分可以以软件产品的形式体现出来,该计算机软件产品存储在一个存储介质中,包括若干指令用以使得一台计算机设备(可以是个人计算机,服务器,或者网络设备等)执行本申请每个实施例所述方法的全部或部分步骤。而前述的存储介质包括:U盘、移动硬盘、ROM、RAM、磁碟或者光盘等各种可以存储程序代码的介质。
还需要说明的是,在本文中,诸如“第一”、“第二”、“第三”等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者设备不仅包括那些要素,而且还包括未明确列出的其他要素,或者是还包括为这种过程、方法、物品或者设备所固有的要素。

Claims (16)

1.一种时间尺度检查方法,其特征在于,包括:
根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,所述系统源文件为目标子系统的寄存器传输级电路设计源文件,所述目标子系统包括所述多个模块;
判断所述多个模块中是否存在时间尺度来源失配的目标模块;
若所述多个模块中存在时间尺度来源失配的目标模块,则从所述多条时间尺度信息中确定出与所述目标模块对应的目标时间尺度信息,以及获取所述目标模块的失配等级;
根据所述目标模块对应的目标时间尺度信息和所述目标模块的失配等级生成检查结果表征文件。
2.根据权利要求1所述的时间尺度检查方法,其特征在于,所述根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,包括:
获取时间尺度信息的标准表现形式;
根据所述标准表现形式,对所述编译日志进行扫描,获得与所述多个模块一一对应的多条时间尺度信息。
3.根据权利要求1所述的时间尺度检查方法,其特征在于,所述根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息之后,所述时间尺度检查方法还包括:
将所述多条时间尺度信息存储于预先创建的第一哈希表格中。
4.根据权利要求1所述的时间尺度检查方法,其特征在于,所述判断所述多个模块中是否存在时间尺度来源失配的目标模块,包括:
针对所述多个模块中的每个模块,从所述多条时间尺度信息中确定出与所述模块对应的待判断时间尺度信息,以获取所述待判断时间尺度信息中包括的时间尺度来源;
判断所述时间尺度来源是否为目标模块源文件,所述目标模块源文件为当前所判断模块的寄存器传输级电路设计源文件;
若所述时间尺度来源非所述目标模块源文件,则将所述模块作为所述目标模块,以判定所述多个模块中存在所述目标模块。
5.根据权利要求1所述的时间尺度检查方法,其特征在于,所述判断所述多个模块中是否存在时间尺度来源失配的目标模块,包括:
确定出时间尺度定义在所述系统源文件中的位置信息;
根据所述位置信息,判断所述多个模块中是否存在位于所述时间尺度定义之前的模块;
若所述多个模块中存在位于所述时间尺度定义之前的模块,则将所述模块作为所述目标模块,以判定所述多个模块中存在所述目标模块。
6.根据权利要求1所述的时间尺度检查方法,其特征在于,所述获取所述目标模块的失配等级,包括:
判断所述目标模块在执行时是否包括延时操作;
若所述目标模块在执行时包括延时操作,则将所述目标模块的失配等级设定为高等级失配;
若所述目标模块在执行时不包括延时操作,则将所述目标模块的失配等级设定为低等级失配。
7.根据权利要求6所述的时间尺度检查方法,其特征在于,所述判断所述目标模块在执行时是否包括延时操作,包括:
判断所述目标模块的模块定义中是否包括延时语句;
判断所述目标模块是否引用包括延时语句的被引文件;
若所述目标模块的模块定义中存在延时语句,或所述目标模块引用包括延时语句的被引文件,则判定所述目标模块在执行时包括延时操作。
8.根据权利要求7所述的时间尺度检查方法,其特征在于,所述判定所述目标模块在执行时包括延时操作之后,所述时间尺度检查方法还包括:
若所述目标模块的模块定义中存在延时语句,则对所述延时语句进行记录,以及若所述目标模块引用包括延时语句的被引文件,则对所述被引文件中包括的延时语句进行记录。
9.根据权利要求8所述的时间尺度检查方法,其特征在于,所述根据所述目标模块对应的目标时间尺度信息和所述目标模块的失配等级生成检查结果表征文件之后,所述时间尺度检查方法还包括:
获取记录的所述延时语句;
将所述延时语句添加到所述检查结果表征文件中。
10.根据权利要求1所述的时间尺度检查方法,其特征在于,所述根据所述目标模块对应的目标时间尺度信息和所述目标模块的失配等级生成检查结果表征文件,包括:
生成包括所述目标模块对应的目标时间尺度信息、所述目标模块的失配等级、所述目标模块的模块定义文件名称,以及所述目标模块对应模块标识的检查结果表征文件。
11.根据权利要求1所述的时间尺度检查方法,其特征在于,所述根据所述目标模块对应的目标时间尺度信息和所述目标模块的失配等级生成检查结果表征文件之后,所述时间尺度检查方法还包括:
在所述检查结果表征文件中为所述目标模块提供签核项;
根据提供有所述签核项的检查结果表征文件,获得签核报表。
12.根据权利要求11所述的时间尺度检测方法其特征在于,所述根据提供有所述签核项的检查结果表征文件,获得签核报表之后,所述时间尺度检查方法还包括:
获取签核目的地址,以将所述签核报表发送给所述签核目的地址指向的终端设备,以供所述终端设备在接收到签核指令时,响应所述签核指令,在所述签核报表中添加针对所述目标模块的签核信息。
13.根据权利要求12所述的时间尺度检查方法,其特征在于,所述获取签核目的地址,以将所述签核报表发送给所述签核目的地址指向的终端设备之前,所述时间尺度检查方法还包括:
判断历史签核报表中是否存在针对所述目标模块的历史签核信息;
若所述历史签核报表中存在针对所述目标模块的签核信息,则获取所述历史签核信息,并将所述历史签核信息添加到所述签核报表中,作为针对所述目标模块的签核信息;
若所述历史签核报表中不存在针对所述目标模块的签核信息,则执行所述获取签核目的地址,以将所述签核报表发送给所述签核目的地址指向的终端设备的步骤。
14.一种时间尺度检查装置,其特征在于,包括:
第一信息获取模块,用于根据仿真器对系统源文件进行编译时所记录的编译日志,获得与多个模块一一对应的多条时间尺度信息,所述系统源文件为目标子系统的寄存器传输级电路设计源文件,所述目标子系统包括所述多个模块;
判断模块,判断所述多个模块中是否存在时间尺度来源失配的目标模块;
第二信息获取模块,用于在所述多个模块中存在时间尺度来源失配的目标模块时,从所述多条时间尺度信息中确定出与所述目标模块对应的目标时间尺度信息,以及获取所述目标模块的失配等级;
文件生成模块,用于根据所述目标模块对应的目标时间尺度信息和所述目标模块的失配等级生成检查结果表征文件。
15.一种电子设备,其特征在于,包括处理器和存储器,所述存储器上存储有计算机程序,所述处理器用于执行所述计算机程序,以实现权利要求1~13中任意一项所述的时间尺度检查方法。
16.一种计算机可读存储介质,其特征在于,所述计算机可读存储介质上存储有计算机程序,所述计算机程序被执行时,实现权利要求1~13中任意一项所述的时间尺度检查方法。
CN202011542967.4A 2020-12-22 2020-12-22 时间尺度检查方法、装置及电子设备 Active CN112579417B (zh)

Priority Applications (1)

Application Number Priority Date Filing Date Title
CN202011542967.4A CN112579417B (zh) 2020-12-22 2020-12-22 时间尺度检查方法、装置及电子设备

Applications Claiming Priority (1)

Application Number Priority Date Filing Date Title
CN202011542967.4A CN112579417B (zh) 2020-12-22 2020-12-22 时间尺度检查方法、装置及电子设备

Publications (2)

Publication Number Publication Date
CN112579417A true CN112579417A (zh) 2021-03-30
CN112579417B CN112579417B (zh) 2023-03-21

Family

ID=75139129

Family Applications (1)

Application Number Title Priority Date Filing Date
CN202011542967.4A Active CN112579417B (zh) 2020-12-22 2020-12-22 时间尺度检查方法、装置及电子设备

Country Status (1)

Country Link
CN (1) CN112579417B (zh)

Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2004157646A (ja) * 2002-11-05 2004-06-03 Matsushita Electric Ind Co Ltd 集積回路の検証装置、検証方法および集積回路検証用のインターフェースモデルの生成方法
JP2005108007A (ja) * 2003-09-30 2005-04-21 Matsushita Electric Ind Co Ltd Lsi設計検証装置及びlsi設計検証方法
CN105760638A (zh) * 2016-04-28 2016-07-13 福州瑞芯微电子股份有限公司 一种加快soc芯片仿真的方法
CN111309506A (zh) * 2020-02-12 2020-06-19 中国平安人寿保险股份有限公司 一种编译错误的定位方法、设备、服务器及可读存储介质
CN112100949A (zh) * 2020-09-15 2020-12-18 北京士昌鼎科技有限公司 集成电路芯片的自动开发方法及装置、电子设备

Patent Citations (5)

* Cited by examiner, † Cited by third party
Publication number Priority date Publication date Assignee Title
JP2004157646A (ja) * 2002-11-05 2004-06-03 Matsushita Electric Ind Co Ltd 集積回路の検証装置、検証方法および集積回路検証用のインターフェースモデルの生成方法
JP2005108007A (ja) * 2003-09-30 2005-04-21 Matsushita Electric Ind Co Ltd Lsi設計検証装置及びlsi設計検証方法
CN105760638A (zh) * 2016-04-28 2016-07-13 福州瑞芯微电子股份有限公司 一种加快soc芯片仿真的方法
CN111309506A (zh) * 2020-02-12 2020-06-19 中国平安人寿保险股份有限公司 一种编译错误的定位方法、设备、服务器及可读存储介质
CN112100949A (zh) * 2020-09-15 2020-12-18 北京士昌鼎科技有限公司 集成电路芯片的自动开发方法及装置、电子设备

Non-Patent Citations (1)

* Cited by examiner, † Cited by third party
Title
张旻晋等: "面向串扰时延效应的时序分析方法及在集成电路测试中的应用", 《计算机学报》 *

Also Published As

Publication number Publication date
CN112579417B (zh) 2023-03-21

Similar Documents

Publication Publication Date Title
CN110221982B (zh) 业务系统的性能测试方法、装置、设备及可读存储介质
US20030237067A1 (en) System and method for applying timing models in a static-timing analysis of a hierarchical integrated circuit design
CN112417798B (zh) 一种时序测试方法、装置、电子设备及存储介质
CN112232006B (zh) 一种标准单元库验证方法、装置、电子设备及存储介质
WO2017088540A1 (zh) 一种基于元器件管脚连接关系进行网表比较的方法
CN110209684A (zh) 数据库ddl变更操作的跟踪方法、装置、系统及介质
CN103150441B (zh) 一种软硬件协同仿真的验证平台及其构建方法
CN109815112B (zh) 基于功能测试的数据调试方法、装置及终端设备
CN107451112B (zh) 表格工具数据检查方法、装置、终端设备及存储介质
US20040015801A1 (en) Systems and methods for timing a linear data path element during signal-timing verification of an integrated circuit design
CN103823665B (zh) 一种sdk活跃度分析方法、网络服务器及系统
CN114091383A (zh) 测试序列生成方法、装置、系统及相关设备
CN112579417B (zh) 时间尺度检查方法、装置及电子设备
CN113177407A (zh) 数据字典的构建方法、装置、计算机设备及存储介质
CN112286784B (zh) 一种测试用例生成方法、装置、服务器及存储介质
CN112632884A (zh) 门级网表生成方法、装置及电子设备
CN112257359B (zh) 用于数据波形的调试方法、装置、调试系统以及存储介质
CN112631852B (zh) 宏检查方法、装置、电子设备和计算机可读存储介质
CN115310403A (zh) 缺陷分析方法、相关设备及可读存储介质
US9824175B1 (en) Method and system of evaluation of validity of a refinement rule for a hardware emulation
CN113779918A (zh) SoC仿真方法、装置、计算设备和计算机存储介质
CN112597756B (zh) 操作语句报告的生成方法、装置、设备、存储介质
CN112257360B (zh) 用于数据波形的调试方法、装置、调试系统以及存储介质
CN117077589B (zh) 基于uvm架构的虚拟和物理地址转换的验证方法和系统
CN116860909B (zh) 基于生化知识图谱的数据存储方法、系统及存储介质

Legal Events

Date Code Title Description
PB01 Publication
PB01 Publication
CB02 Change of applicant information

Address after: Industrial incubation-3-8, North 2-204, No. 18, Haitai West Road, Huayuan Industrial Zone, Binhai New Area, Tianjin 300450

Applicant after: Haiguang Information Technology Co.,Ltd.

Address before: 100082 industrial incubation-3-8, North 2-204, 18 Haitai West Road, Huayuan Industrial Zone, Haidian District, Beijing

Applicant before: Haiguang Information Technology Co.,Ltd.

CB02 Change of applicant information
SE01 Entry into force of request for substantive examination
SE01 Entry into force of request for substantive examination
GR01 Patent grant
GR01 Patent grant