CN116933702A - 一种验证方法、装置、电子设备及可读存储介质 - Google Patents
一种验证方法、装置、电子设备及可读存储介质 Download PDFInfo
- Publication number
- CN116933702A CN116933702A CN202311188183.XA CN202311188183A CN116933702A CN 116933702 A CN116933702 A CN 116933702A CN 202311188183 A CN202311188183 A CN 202311188183A CN 116933702 A CN116933702 A CN 116933702A
- Authority
- CN
- China
- Prior art keywords
- model
- data flow
- data
- transmission
- flow model
- 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
Links
- 238000000034 method Methods 0.000 title claims abstract description 101
- 238000012795 verification Methods 0.000 title claims abstract description 72
- 230000005540 biological transmission Effects 0.000 claims abstract description 277
- 238000013461 design Methods 0.000 claims abstract description 169
- 238000012360 testing method Methods 0.000 claims abstract description 71
- 230000008569 process Effects 0.000 claims abstract description 49
- 238000012545 processing Methods 0.000 claims description 239
- 238000004891 communication Methods 0.000 claims description 18
- 238000005538 encapsulation Methods 0.000 claims description 4
- 238000004806 packaging method and process Methods 0.000 claims description 3
- 238000010586 diagram Methods 0.000 description 12
- 230000006870 function Effects 0.000 description 8
- 238000004590 computer program Methods 0.000 description 7
- 230000009471 action Effects 0.000 description 3
- 230000008878 coupling Effects 0.000 description 2
- 238000010168 coupling process Methods 0.000 description 2
- 238000005859 coupling reaction Methods 0.000 description 2
- 238000005516 engineering process Methods 0.000 description 2
- 238000012986 modification Methods 0.000 description 2
- 230000004048 modification Effects 0.000 description 2
- 230000003287 optical effect Effects 0.000 description 2
- 230000002093 peripheral effect Effects 0.000 description 2
- 230000000750 progressive effect Effects 0.000 description 2
- 230000003068 static effect Effects 0.000 description 2
- 230000004075 alteration Effects 0.000 description 1
- 238000004422 calculation algorithm Methods 0.000 description 1
- 238000004364 calculation method Methods 0.000 description 1
- 230000001413 cellular effect Effects 0.000 description 1
- 238000006243 chemical reaction Methods 0.000 description 1
- 238000010276 construction Methods 0.000 description 1
- 238000013500 data storage Methods 0.000 description 1
- 230000001419 dependent effect Effects 0.000 description 1
- 238000012938 design process Methods 0.000 description 1
- 230000002708 enhancing effect Effects 0.000 description 1
- 230000005284 excitation Effects 0.000 description 1
- 230000010354 integration Effects 0.000 description 1
- 238000004519 manufacturing process Methods 0.000 description 1
- 229920001690 polydopamine Polymers 0.000 description 1
- 230000008054 signal transmission Effects 0.000 description 1
- 238000012546 transfer Methods 0.000 description 1
Landscapes
- Test And Diagnosis Of Digital Computers (AREA)
Abstract
本发明实施例提供一种验证方法、装置、电子设备及可读存储介质,涉及计算机技术领域。该方法包括:确定被测设计中各被测单元之间的传输信号;根据传输信号,建立被测设计对应的数据流模型;根据被测设计中传输信号的时序特征,建立被测设计对应的功能模型;基于数据流模型和功能模型,对被测设计进行验证。本发明实施例在保证被测设计验证过程的可靠性的同时,也降低了参考模型搭建的难度,提高了本发明实施例提供的验证方法可实现性。
Description
技术领域
本发明涉及计算机技术领域,尤其涉及一种验证方法、装置、电子设备及可读存储介质。
背景技术
在对芯片进行生产和研发的过程中,需要对其进行验证,芯片验证是芯片设计过程中的重要环节,能够有效降低芯片设计的风险和成本。
在对芯片进行验证的过程中,通常需要搭建与被测设计(Design Under Test,DUT)对应的参考模型(ReferenceModel,RM),并向被测设计与参考模型中灌入相同激励,并采集二者输出的结果进行比对,从而实现对被测设计的验证。
但是,由于芯片中各个模块或者子模块之间信号传输的顺序会影响被测设计最终输出的结果,在芯片中各个模块或者子模块之间耦合严重的情况下,上述验证方法还需要考虑到各个模块或者子模块之间复杂的时序关系,导致参考模型的搭建较为困难。
发明内容
本发明实施例提供一种验证方法、装置、电子设备及可读存储介质,可以解决相关技术中参考模型搭建困难的问题。
为了解决上述问题,本发明实施例公开了一种验证方法,所述方法包括:
确定被测设计中各被测单元之间的传输信号;
根据所述传输信号,建立所述被测设计对应的数据流模型;
根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型;
基于所述数据流模型和所述功能模型,对所述被测设计进行验证。
另一方面,本发明实施例公开了一种验证装置,所述装置包括:
确定模块,用于确定被测设计中各被测单元之间的传输信号;
数据流模型建立模块,用于根据所述传输信号,建立所述被测设计对应的数据流模型;
功能模型建立模块,用于根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型;
验证模块,用于基于所述数据流模型和所述功能模型,对所述被测设计进行验证。
再一方面,本发明实施例还公开了一种电子设备,所述电子设备包括处理器、存储器、通信接口和通信总线,所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信;所述存储器用于存放可执行指令,所述可执行指令使所述处理器执行前述的验证方法。
本发明实施例还公开了一种可读存储介质,当所述可读存储介质中的指令由电子设备的处理器执行时,使得电子设备能够执行前述的验证方法。
本发明实施例包括以下优点:
本发明实施例提供了一种验证方法,可以根据被测设计中各被测单元之间的传输信号,建立被测设计对应的数据流模型;并根据被测设计中传输信号的时序特征,建立被测设计对应的功能模型;最后基于数据流模型和功能模型,实现对被测设计的验证。将在被测设计中传输的传输信号和传输信号的时序特征分别分离到数据流模型和功能模型中,由数据流模型和功能模型共同构成进行芯片验证的参考模型,在建立功能模型的过程中,只需要考虑传输信号的时序特征,在保证被测设计验证过程的可靠性的同时,也降低了参考模型搭建的难度,提高了本发明实施例提供的验证方法可实现性。
附图说明
为了更清楚地说明本发明实施例的技术方案,下面将对本发明实施例的描述中所需要使用的附图作简单地介绍,显而易见地,下面描述中的附图仅仅是本发明的一些实施例,对于本领域普通技术人员来讲,在不付出创造性劳动性的前提下,还可以根据这些附图获得其他的附图。
图1是本发明的一种验证方法实施例的步骤流程图;
图2是本发明的一种被测设计对应的功能模型的示意图;
图3是本发明的一种验证装置的结构框图;
图4是本发明示例提供的一种用于验证的电子设备的结构框图。
具体实施方式
下面将结合本发明实施例中的附图,对本发明实施例中的技术方案进行清楚、完整地描述,显然,所描述的实施例是本发明一部分实施例,而不是全部的实施例。基于本发明中的实施例,本领域普通技术人员在没有作出创造性劳动前提下所获得的所有其他实施例,都属于本发明保护的范围。
本发明的说明书和权利要求书中的术语“第一”、“第二”等是用于区别类似的对象,而不用于描述特定的顺序或先后次序。应该理解这样使用的数据在适当情况下可以互换,以便本发明的实施例能够以除了在这里图示或描述的那些以外的顺序实施,且“第一”、“第二”等所区分的对象通常为一类,并不限定对象的个数,例如第一对象可以是一个,也可以是多个。此外,说明书以及权利要求中的术语“和/或”用于描述关联对象的关联关系,表示可以存在三种关系,例如,A和/或B,可以表示:单独存在A,同时存在A和B,单独存在B这三种情况。字符“/”一般表示前后关联对象是一种“或”的关系。本发明实施例中术语“多个”是指两个或两个以上,其它量词与之类似。
方法实施例
参照图1,示出了本发明的一种验证方法实施例的步骤流程图,所述方法具体可以包括如下步骤:
步骤101、确定被测设计中各被测单元之间的传输信号。
步骤102、根据所述传输信号,建立所述被测设计对应的数据流模型。
步骤103、根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型。
步骤104、基于所述数据流模型和所述功能模型,对所述被测设计进行验证。
本发明实施例提供的验证方法,可以应用于具有芯片验证功能的终端设备。其中,该终端设备可以包括但不限于移动电话、笔记本电脑、数字广播接收器、蜂窝电话、无绳电话、个人数字助理(Personal Digital Assistant,PDA)、手持设备、计算设备、车载设备、可穿戴设备等移动终端,以及诸如数字TV、台式计算机等固定终端。具有芯片验证功能的终端设备可以通过本发明实施例提供的验证方法,对芯片中的模块进行模块验证,也可以对芯片中由多个模块构成的验证集群进行集成验证。
在本发明实施例中,被测设计可以是芯片中的任一模块,被测设计也可以是芯片中由多个模块构成的验证集群。被测单元是被测设计的组成部分,可以理解的是,在被测设计是芯片中的模块的情况下,被测单元可以是该模块中的子模块;在被测设计是芯片中的验证集群的情况下,被测单元可以是构成该验证集成的任一模块。
需要说明的是,被测单元的数量至少为1。
传输信号是在各被测单元之间传输的所有信号的总称。传输信号可以包括但不限于请求信号、数据信号、控制信号等。在本发明实施例中,传输信号可以是基于随机策略随机生成的信号;传输信号也可以是测试人员基于定向策略人为指定的信号。
在本发明实施例中,数据流模型和功能模型共同构成进行芯片验证的参考模型。其中,数据流模型可以是基于传输信号中的部分或者全部内容建立的数据流模型,也可以是基于传输信号中的部分或者全部内容以及各被测单元对传输信号的数据处理逻辑建立的数据流模型。本发明实施例对此不作具体限定。
传输信号的时序特征包括但不限于:传输信号在被测设计中各被测单元之间进行传输的时序特征,以及被测设计中各被测单元对传输信号进行处理的时序特征。在步骤102生成被测设计对应的数据流模型的情况下,终端设备在建立被测设计对应的功能模型时,只需考虑传输信号的时序特征,无需考虑传输信号本身的内容,从而降低了进行功能模型搭建的复杂度,进而降低了参考模型搭建的难度。此外,将传输信号和传输信号的时序特征分离到数据流模型和功能模型中分别进行建模,也在一定程度上提高了本发明实施例中参考模型的易维护性。
在本发明实施例中,被测设计、数据流模型和功能模型三者之间为一一对应关系。对于任一被测设计,终端设备可以根据该被测设计中各被测单元之间的传输信号,建立与该被测设计一一对应的数据流模型,并根据传输信号在被测设计中的时序时序特征,建立与该被测设计一一对应的功能模型。
需要说明的是,功能模型中可以包括至少一个参考单元,参考单元与被测设计中的被测单元为一一对应关系,参考单元的数量与被测单元的数量相同,并且参考单元可以实现与被测单元相同或相似的功能操作和数据处理逻辑。
在本发明实施例中,基于数据流模型和功能模型对被测设计进行验证,具体可以为:终端设备将通过步骤102建立的数据流模型对应的模型标识作为步骤103建立的功能模型的输入,将数据流模型对应的模型标识输入至功能模型;之后,功能模型基于模型标识调用数据流模型,并根据传输信号的时序特征以及传输信号对应的数据处理逻辑,对数据流模型的初始值进行处理,并在处理结果满足结果输出条件的情况下,将处理结果进行输出;最后,终端设备将功能模型输出的处理结果和被测设计实际输出的处理结果进行匹配,在功能模型输出的处理结果和被测设计实际输出的处理结果相同,或者二者之间的差异度满足预设差异度阈值的情况下,确定被测设计验证通过,反之,确定被测设计验证不通过。
其中,在用于进行被测设计验证的传输信号不同的情况下,同一数据流模型对应的模型标识不同。在本发明实施例中,根据数据流模型的逻辑语言的不同,模型标识具体可以是数据流模型的句柄、指针、地址或者标识符等。本发明实施例对此不作具体限定。
需要说明的是,在对被测设计进行验证的过程中,输入至功能模型的模型标识指示的传输信号和输入至被测设计的传输信号相同。
作为一种示例,参照图2,示出了本发明的一种被测设计对应的功能模型的示意图。被测设计为芯片中的二级页表存储模块(L2 TLB),该被测设计中的被测单元分别为页表数据缓存子模块(Page Cache)、第一页表访存子模块(PTW)、第二页表访存子模块(LLPTW)、请求暂存队列(Miss Queue)和访存端口(MEM)。其中,页表数据缓存子模块用于缓存页表数据;第一页表访存子模块用于对一级页表存储模块或者二级页表存储模块对应的访存请求进行访存,通过访存端口从内存中获取页表数据;第二页表访存子模块用于对三级页表存储模块对应的访存请求进行访存,通过访存端口从内存中获取页表数据;请求暂存队列用于在页表访存子模块被占用时暂存请求;访存端口用于为第一页表访存子模块和第二页表访存子模块提供从内存中访存页表数据的端口。
具体地,根据被测设计中各被测单元之间的传输信号建立的数据流模型对应的模型标识可以作为传输信号的载体在根据传输信号的时序特征建立的功能模型10中进行传输。功能模型10包括与被测单元一一对应的参考单元,参考单元分别为页表数据缓存101、第一页表访存部件102、第二页表访存部件105、请求暂存队列 103和访存端口104。
终端设备在基于数据流模型和功能模型对被测设计进行验证的过程中,首先将数据流模型对应的模型标识(PendingReq)输入至功能模型10中的页表数据缓存101;页表数据缓存101基于模型标识调用数据流模型,并按照传输信号的时序特征以及传输信号对应的数据处理逻辑对数据流模型的初始值进行处理得到第一处理结果之后,将第一处理结果更新至数据流模型中,并将模型标识传输至第一页表访存部件102;第一页表访存部件102基于模型标识调用数据流模型,并按照传输信号的时序特征以及传输信号对应的数据处理逻辑对数据流模型中的第一处理结果进行处理得到第二处理结果之后,将第二处理结果更新至数据流模型,并将模型标识继续传输至请求暂存队列103;请求暂存队列103基于模型标识调用数据流模型,并按照传输信号的时序特征以及传输信号对应的数据处理逻辑对数据流模型中的第二处理结果进行处理得到第三处理结果之后,将第三处理结果更新至数据流模型中,并将模型标识传输至第一页表访存部件102;第一页表访存部件102基于模型标识调用数据流模型,并按照传输信号的时序特征以及传输信号对应的数据处理逻辑对数据流模型中的第三处理结果进行处理得到第四处理结果之后,将第四处理结果更新至数据流模型,并在确定数据流模型中的第四处理结果满足结果输出条件的情况下,将该数据流模型对应的模型标识从功能模型10中输出,以供终端设备根据模型标识从数据流模型中获取第四处理结果。之后,终端设备再根据第四处理结果和被测设计基于该模型标识指示的传输信号输出的处理结果对被测设计进行验证,得到验证结果。
需要说明的是,图2所示的分支路径只是传输信号在被测设计(L2 TLB)中各被测单元之间进行传输的其中一条传输路径,在本发明实施例中,传输信号在被测设计中各被测单元之间进行传输的分支路径可以存在至少一条。传输信号在被测设计中各被测单元之间进行传输的分支路径的数量可以根据实际应用场景下,被测单元对传输信号的数据处理逻辑进行确定,本发明实施例对此不作具体限定。
此外,在功能模型中各参考单元之间传输的模型标识可以为同一标识,该模型标识用于指示输入至功能模型的传输信号。各参考单元基于模型标识调用的数据流模型为同一数据流模型,但是经过不同参考单元调用处理后,数据流模型中的数据内容可能不同。例如,经过页表数据缓存101调用处理后,数据流模型中的数据内容包括经过页表数据缓存101处理后得到的第一处理结果,而经过第一页表访存部件102调用处理后,数据流模型中的数据内容包括经过第一页表访存部件102处理后得到的第二处理结果,所以经过页表数据缓存101调用处理后的数据流模型中的数据内容和经过第一页表访存部件102调用处理后的数据流模型中的数据内容可能是不相同的。
本发明实施例提供的验证方法,可以根据被测设计中各被测单元之间的传输信号,建立被测设计对应的数据流模型;并根据被测设计中传输信号的时序特征,建立被测设计对应的功能模型;最后基于数据流模型和功能模型,实现对被测设计的验证。将在被测设计中传输的传输信号和传输信号的时序特征分别分离到数据流模型和功能模型中,由数据流模型和功能模型共同构成进行芯片验证的参考模型,在建立功能模型的过程中,只需要考虑传输信号的时序特征即可,在保证被测设计验证过程的可靠性的同时,也降低了功能模型搭建的难度,提高了本发明实施例提供的验证方法可实现性。此外,在被测设计中各被测单元之间耦合严重的情况下,将在被测设计中传输的传输信号和传输信号的时序特征分别分离到数据流模型和功能模型中,还增强了由数据流模型和功能模型构成的参考模型的易维护性和可扩展性。
在本发明的一种可选实施例中,步骤102所述根据所述传输信号,建立所述被测设计对应的数据流模型,包括:
步骤1021、确定所述被测单元对所述传输信号的数据处理逻辑。
步骤1022、根据所述传输信号和所述数据处理逻辑,生成所述传输信号对应的传输数据流。
步骤1023、对所述传输数据流进行封装,得到封装后的传输数据流。
步骤1024、基于所述封装后的传输数据流,建立所述被测设计对应的数据流模型。
在本发明实施例中,数据处理逻辑包括但不限于被测单元对传输信号的计算逻辑、判定逻辑、输出逻辑等。不同被测单元对传输信号的数据处理逻辑不同,同一被测单元对不同的传输信号的数据处理逻辑也不相同。步骤1021确定的数据处理逻辑包括被测设计中各个被测单元对传输信号的数据处理逻辑。具体地,终端设备可以根据传输信号中具体内容的类型,确定各个被测单元将会对传输信号进行的数据处理操作,并基于数据处理操作确定传输信号对应的数据处理逻辑。其中,传输信号中具体内容的类型包括但不限于控制信号、请求信号和数据信号等。
终端设备在通过步骤1021确定数据处理逻辑的情况下,可以继续根据传输信号和数据处理逻辑,生成传输信号对应的传输数据流。其中,传输数据流为传输信号在被测设计中各个被测单元之间进行传输的完整的生命周期对应的数据流。
需要说明的是,不同的传输信号对应的传输数据流也不同相同,可以理解的是,在传输信号不相同的情况下,被测单元对传输信号的数据处理逻辑也不相同,使得传输信号在被测设计中经过的被测单元也不相同。也就是说,不同的传输信号在被测设计中的分支路径不相同,因此,不同的传输信号对应的传输数据流也不相同。
传输数据流中包括传输信号和各个被测单元对该传输信号的数据处理逻辑。
在本发明实施例中,终端设备在通过步骤1022生成传输数据流之后,可以将传输数据流进行封装,并基于封装后的传输数据流建立被测设计对应的数据流模型。传输数据流的数量至少为1。
具体地,在传输数据流的数量等于1的情况下,终端设备可以基于该封装后的传输数据流建立可以被功能模型调用处理的数据流模型。在传输数据流的数量大于1的情况下,终端设备可以首先确定各个封装后的传输数据流中的至少一个共性特征,并基于共性特征建立可以被功能模型调用处理的数据流模型。其中,共性特征包括但不限于各个传输数据流中相同或者相似的传输信息内容、相同或者相似的数据处理逻辑。
当然,终端设备还可以按照传输信号中具体内容的类型,将各个封装后的传输数据流按照传输信号中具体内容的类型进行划分,并基于划分后的传输数据流建立可以被功能模型调用处理的数据流模型。终端设备在通过步骤104对被测设计进行验证的过程中,可以首先识别数据流模型对应的模型标识指示的传输信号中具体内容的类型,然后基于传输信号中具体内容的类型,从数据流模型中调用该传输信号对应的数据流,并根据传输数据流中的数据处理逻辑对数据流模型中的初始参数值进行处理,从而实现对被测设计的验证操作。
作为一种示例,被测设计为二级页表存储模块,传输信号中的内容为访存请求信号。终端设备首先确定被测设计中页表数据缓存子模块对传输信号的数据处理逻辑,页表数据缓存子模块对传输信号的数据处理逻辑为:通过预设算法确定访存请求信号是否命中页表数据缓存子模块存储的页表数据;在命中的情况下,将访存请求信号命中的页表数据输出至一级页表存储模块;在未命中的情况下,将访存请求信号传输至第一页表访存子模块。第一页表访存子模块对传输信号的数据处理逻辑为:根据访存请求信号对应的时序特征,在该访存请求信号需要在当前时钟周期处理的情况下,通过访存端口从内存中获取访存信号对应的页表数据,并将访存信号对应的页表数据输出至一级页表存储模块;在该访存请求信号需要在未来时钟周期处理的情况下,将访存请求信号传输至请求暂存队列。请求暂存队列对传输信号的数据处理逻辑为:根据访存请求对应的时序特征,将第一页表访存子模块当前时钟周期需要处理的访存请求信号传输至第一页表访存子模块。
然后,终端设备根据传输信号(访存请求信号)和被测设计中与该传输信号相关的被测单元的数据处理逻辑,生成传输信号对应的传输数据流为第一传输数据流和第二传输数据流:
第一传输数据流:一级页表存储模块发送访存请求→页表数据缓存子模块确定访存请求命中页表数据缓存子模块存储的页表数据→页表数据缓存子模块子模块将访存请求对应的页表数据输出至一级页表存储模块。
第二传输数据流:一级页表存储模块发送访存请求→页表数据缓存子模块确定确定访存请求未命中页表数据缓存子模块存储的页表数据→访存请求通过第一页表访存子模块进入请求暂存队列→在访存请求对应的时钟周期内,第一页表访存子模块通过访存端口从内存中获取访存信号对应的页表数据→第一页表访存子模块将访存请求对应的页表数据输出至一级页表存储模块。
之后,终端设备分别对第一传输数据流和第二传输数据流进行封装,得到封装后的第一传输数据流和封装后的第二传输数据流。
最后,终端设备基于封装后的第一传输数据流和封装后的第二传输数据流,生成被测设计对应的数据流模型,该数据流模型中包括第一传输数据流和第二传输数据流,或者第一传输数据流和第二传输数据流中的共性特征。
需要说明的是,图2所示的功能模块中各个参考单元之间的传输数据流对应于上述的第二传输数据流。
本发明实施例提供的验证方法,根据传输信号和被测单元对传输信号的数据处理逻辑,生成传输信号对应的传输数据流,并基于封装后的传输数据流,建立被测设计对应的数据流模型,数据流模型中不仅包括传输信号的具体内容,还包括被测单元对传输信号的数据处理逻辑。使得终端设备在建立功能模型的过程中,只需考虑传输信号时序特征,降低功能模型的复杂度;进一步地,终端设备在通过步骤104对被测设计进行验证的过程中,只需要根据时序特征,调用数据流模型中封装的传输数据流即可实现对传输信号的处理,进而实现对被测设计的验证,增强了由数据流模型和功能模型构成的参考模型的可扩展性。
在本发明的一种可选实施例中,所述传输信号包括请求信号和数据信号中的至少一项;步骤102所述根据所述传输信号,建立所述被测设计对应的数据流模型,包括:
步骤1025、对所述请求信号和/或所述数据信号进行封装。
步骤1026、基于封装后的请求信号和/或封装后的数据信号,建立所述被测设计对应的数据流模型。
在本发明实施例中,传输信号中的具体内容可以为请求信号和数据信号中的至少一项。终端设备在根据传输信号建立被测设计对应的数据流模型的过程中,可以首先根据传输信号中的具体内容的类型,将传输信号按照具体内容的类型分别进行封装,并基于封装后的请求信号和/或封装后的数据信号,建立被测设计对应的数据流模型,以便终端设备在对被测设计进行验证的过程中,可以基于不同的传输信号,将数据流模型对应的模型标识输入至功能模型,使得功能模型可以基于模型标识按需从数据流模型中调用传输信号相关的具体内容,在一定程度上减少了不必要的数据流模型调用和解析操作,减少终端设备不必要的功耗开销。
其中,基于封装后的请求信号和/或封装后的数据信号,建立被测设计对应的数据流模型,具体为:基于封装后的请求信号和/或封装后的数据信号,进一步生成包括封装后的请求信号和/或封装后的数据信号,并且可以被功能模型调用的数据流模型。在传输信号同时包括请求信号和数据信号的情况下,可以将封装后的请求信号和封装后的数据信号按类建立数据流模型,以便功能模型可以按类调用数据流模型中的请求信号或者数据信号。
需要说明的是,在传输信号中包括其他类型的信号的情况下,终端设备也可以按照步骤1025至步骤1026提供的方法建立被测设计对应的数据流模型,此处不再赘述。
示例性地,被测设计为二级页表存储模块,对于二级页表存储模块中各被测单元之间传输信号中的请求信号,多是以vpn、source等信号为主体的,因此可以将这些信号作为一个类进行封装,得到封装后的请求信号。
本发明实施例提供的验证方法,可以根据传输信号,建立只包括传输信号的数据流模型。本发明实施例可以应用于被测设计中各被测单元对传输信号的数据处理逻辑差异较大,而在各被测单元之间传输的传输信号的具体内容较为一致的场景。在降低功能模型搭建的难度的同时,还考虑到实际应用场景下,传输信号和被测单元对传输信号的数据处理逻辑方面的差异情况,提供了与实际应用场景更加契合的实现方案,提高了本发明实施例提供的验证方法的可实现性。
在本发明的一种可选实施例中,步骤103所述根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型,包括:
步骤1031、根据所述被测设计中所述传输信号的时序特征,确定各所述被测单元的时序子特征。
步骤1032、确定所述被测单元对所述传输信号的数据处理逻辑。
步骤1033、基于所述被测单元、所述时序子特征和所述数据处理逻辑,构建各所述被测单元对应的参考单元。
步骤1034、根据所述参考单元和所述时序特征,建立所述被测设计对应的功能模型。
在本发明实施例中,在数据流模型只包括传输信号的情况下,终端设备在通过步骤103建立功能模型的过程中,需要进一步通过步骤1031至步骤1034,根据传输信号的时序特征,建立同时包括时序特征和数据处理逻辑的功能模型,以保证基于数据流模型和功能模型对被测设计进行验证过程的可行性和可靠性。
需要说明的是,传输信号的时序特征包括传输信号在被测设计的各被测单元之间传输的时序特征和各被测单元的时序子特征。
各被测单元的时序子特征为各被测单元对传输信号进行处理的时序特征。示例性地,被测设计中的第一被测单元需要在第一时钟周期对传输信号中的请求信号进行处理,并且需要在第二时钟周期对传输信号中的数据信号进行处理。而被测设计中的第二被测单元需要在第一时钟周期对传输信号中的控制信号进行处理,并且需要在第二时钟周期对传输信号中的请求信号进行处理。因此,需要通过时序子特征对各个被测单元对传输信号进行处理的时序进行区分。
在本发明实施例中,终端设备可以首先根据被测设计中的各个被测单元、各个被测单元对传输信号的数据处理逻辑,以及各个被测单元对传输信号进行处理的时序子特征,分别构建与被测单元一一对应的参考单元;然后,再按照被测设计中各个被测单元之间的执行逻辑,以及传输信号在各个被测单元之间传输的时序特征,将各个参考单元依次连接,得到被测设计对应的功能模型。
可选地,在数据流模型包括传输信号对应的传输数据流的情况下,终端设备在通过步骤103建立功能模型的过程中,具体可以:首先,根据被测设计中传输信号的时序特征,确定各被测单元的时序子特征;然后,基于被测单元和时序子特征,构建各被测单元对应的参考单元;最后,根据参考单元和时序特征,建立被测设计对应的功能模型。
在本发明的一种可选实施例中,步骤104所述基于所述数据流模型和所述功能模型,对所述被测设计进行验证,包括:
步骤1041、将所述数据流模型对应的模型标识输入至所述功能模型,以供所述功能模型基于所述模型标识调用所述数据流模型,获取所述数据流模型的初始参数值,并根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果。
其中,所述初始参数值为根据所述传输信号确定的参数值。
步骤1042、根据所述目标处理结果,对所述被测设计进行验证。
在本发明实施例中,终端设备在通过步骤104基于数据流模型和功能模型,对被测设计进行验证的过程中,可以:首先,终端设备根据用于进行被测设计验证的传输信号,确定数据流模型的初始参数值以及数据流模型对应的模型标识;然后,终端设备将数据流模型对应的模型标识作为步骤103建立的功能模型的输入,将模型标识输入至功能模型;之后,功能模型基于模型标识调用数据流模型,并获取数据流模型的初始参数值;然后,功能模型再根据模型标识指示的传输信号对应的数据处理逻辑对初始参数值进行处理,得到目标处理结果;最后,终端设备根据目标处理结果,对被测设计进行验证。
需要说明的是,传输信号对应的数据处理逻辑为被测设计中各被测单元对传输信号的处理逻辑。功能模型可以通过调用数据流模型中封装的传输数据流获得传输信号对应的数据处理逻辑,也可以从自身缓存中读取传输信号对应的数据处理逻辑。具体地,在数据流模型是通过步骤1021至步骤1024简历的数据流模型的情况下,功能模型可以通过调用数据流模型中封装的传输数据流获得传输信号对应的数据处理逻辑;在数据流模型是通过步骤1025至步骤1026建立的数据流模型的情况下,功能模型可以从自身缓存中读取传输信号对应的数据处理逻辑。本发明实施例对此不作具体限定。
数据流模型的初始参数值可以是功能模型中的起始单元对应的初始参数值;数据流模型的初始参数值也可以是功能模型中的各个参考单元对应的初始参数值。
目标处理结果是满足功能模型的结果输出条件的处理结果。终端设备可以根据功能模型输出的目标处理结果和被测设计实际输出的处理结果,对被测设计进行验证。具体地,终端设备可以将目标处理结果和被测设计实际输出的处理结果进行匹配,在二者相同或者二者之间的差异度满足预设差异度阈值的情况下,确定被测设计验证通过,反之,确定被测设计验证不通过。
在本发明实施例中,终端设备可以在将数据流模型对应的模型标识输入至功能模型的同时,将数据流模型对应的传输信号输入至被测设计,并根据功能模型输出的目标处理结果和被测设计实际输出的处理结果,对被测设计进行验证。当然,终端设备也可以按照预设先后顺序将数据流模型对应的模型标识输入至功能模型,并将数据流模型对应的传输信号输入至被测设计。本发明实施例对此不作具体限定。
在本发明的一种可选实施例中,在所述数据流模型中包括所述传输信号对应的数据处理逻辑的情况下,在根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果之前,所述方法还包括:
步骤S11、从所述数据流模型中调用所述传输信号对应的数据处理逻辑。
在本发明实施例中,在数据流模型是终端设备通过步骤1021至步骤1024建立的数据流模型的情况下,功能模型在根据传输信号对应的数据处理逻辑对初始参数值进行处理,得到目标处理结果之前,首先可以通过调用数据流模型中封装的传输数据流获得传输信号对应的数据处理逻辑。
其中,数据流模型中的传输数据流包括传输信号和各被测单元对传输信号的数据处理逻辑。
在本发明的一种可选实施例中,步骤1041所述根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果,包括:
步骤10411、所述功能模型中的第一参考单元根据所述初始参数值对应的数据处理逻辑对所述初始参数值进行处理,得到第一处理结果,并利用所述第一处理结果更新所述数据流模型。
其中,所述第一参考单元为所述功能模型中的起始单元。
步骤10412、所述第一参考单元根据所述第一处理结果和所述第一处理结果对应的数据处理逻辑,确定所述数据流模型对应的模型标识的传输方向。
步骤10413、所述第一参考单元将所述模型标识传输至所述传输方向指示的参考单元组;
其中,所述参考单元组包括所述功能模型中位于所述传输方向上的各个第二参考单元。
步骤10414、所述参考单元组基于所述模型标识调用所述数据流模型,获取所述数据流模型中的第一处理结果,并根据所述第一处理结果对应的数据处理逻辑对所述第一处理结果进行处理,得到第二处理结果。
步骤10415、在所述第二处理结果满足结果输出条件的情况下,将所述第二处理结果确定为所述目标处理结果。
在本发明实施例中,第一参考单元为功能模型中的起始单元,终端设备在将数据流模型对应的模型标识输入至功能模型时,需要将模型标识输入至功能模型的第一参考单元。在初始参数值是功能模型中的起始单元对应的初始参数值的情况下,第一参考单元可以直接根据数据流模型的初始参数值对应的数据处理逻辑对初始参数值进行处理;在初始参数值包括功能模型中的各个参考单元对应的初始参数值的情况下,第一参考单元首先需要从数据流模型的初始参数值中获取第一参考单元对应的初始参数值,然后再对该初始参数值进行处理,得到第一处理结果。
在初始参数值是功能模型中的起始单元对应的初始参数值的情况下,第一参考单元可以在初始参数值所在的缓存区域中添加第一处理结果,从而实现对数据流模型的更新,使得参考单元组可以通过调用数据流模型获取到数据流模型中的第一处理结果。在初始参数值包括功能模型中的各个参考单元对应的初始参数值的情况下,第一参考单元可以将参考单元组对应的初始参数值替换为第一处理结果,从而实现对数据流模型的更新,使得参考单元组可以通过调用数据流模型获取到数据流模型中的第一处理结果。
需要说明的是,数据处理逻辑还包括判定逻辑,第一参考单元在通过步骤10411得到第一处理结果之后,还可以进一步通过步骤10412,根据第一处理结果和第一处理结果对应的数据处理逻辑中的判定逻辑,确定数据流模型对应的模型标识的传输方向。
示例性地,在页表遍历器得到的处理结果为访存请求命中存储列表的情况下,页表遍历器可以确定模型标识的传输方向为一级旁路转换缓存模块;在页表遍历器得到的处理结果为访存请求未命中存储列表的情况下,页表遍历器可以确定模型标识的传输方向为未命中队列。
在本发明实施例中,第一参考单元在通过步骤10412确定模型标识的传输方向的情况下,可以将模型标识传输至传输方向指示的参考单元组。
其中,参考单元组为功能模型中位于传输方向上的至少一个第二参考单元构成的参考单元集群。
在本发明实施例中,参考单元组在接收到第一参考单元发送的模型标识之后,可以基于模型标识调用该数据流模型,获取数据流模型中的第一处理结果,并根据第一处理结果对应的数据处理逻辑对第一处理结果进行处理,得到第二处理结果,并在第二处理结果满足结果输出条件的情况下,将第二处理结果确定为目标处理结果。
需要说明的是,在第二处理结果不满足结果输出条件的情况下,表明当前的功能模型的执行逻辑存在错误,或者传输信号对应的数据处理逻辑存在错误,导致经过第二单元组处理后得到的第二处理结果不满足结果输出条件。此时,功能模型可以通过输出错误提示信息的方式通知终端设备本次对被测设计的验证失败,功能模型无法输出处理结果。终端设备在获取到功能模型输出的错误提示信息的情况下,可以通过告警或者发送提示消息的方式通知测试人员对功能模型、数据流模型或者被测设计进行检查确认。
具体地,在参考单元组包括一个第二参考单元的情况下,可以由该第二参考单元执行步骤10414和步骤10415。在参考单元组包括多个第二参考单元的情况下,可以由与第一参考单元直接连接的第二参考单元通过调用数据流模型,获取数据流模型中的第一处理结果,并根据第一处理结果对应的数据处理逻辑对第一处理结果进行处理,得到第三处理结果,并利用第三处理结果更新数据流模型;之后,该第二参考单元再根据第二处理结果和第二处理结果对应的数据处理逻辑,再次确定该模型标识的传输方向,并将模型标识传输至传输方向指示的位于该传输方向上的与该第二参考单元连直接连接的下一个第二参考单元;下一第二参考单元重复执行上一第二参考单元执行的操作,直至得到第二处理结果。
需要说明的是,第一参考单元在对初始参数值进行处理的过程中,可以从数据流模型或者功能模型自身缓存中调用初始参数值对应的数据处理逻辑,并且,第一参考单元在按照数据处理逻辑对初始参数值进行处理的工程中,可以按照处理需要从数据流模型中调用传输信号的对应的封装后的请求信号和封装后的数据信号等。
在本发明实施例中,参考单元可以包括mailbox或者uvm tlm端口,功能模型中各参考单元之间可以通过mailbox或者uvm tlm端口进行数据流模型对应参数标识的传输。
综上,本发明实施例提供了一种验证方法,可以根据被测设计中各被测单元之间的传输信号,建立被测设计对应的数据流模型;并根据被测设计中传输信号的时序特征,建立被测设计对应的功能模型;最后基于数据流模型和功能模型,实现对被测设计的验证。将在被测设计中传输的传输信号和传输信号的时序特征分别分离到数据流模型和功能模型中,由数据流模型和功能模型共同构成进行芯片验证的参考模型,在建立功能模型的过程中,只需要考虑传输信号的时序特征即可,在保证被测设计验证过程的可靠性的同时,也降低了功能模型搭建的难度,提高了本发明实施例提供的验证方法可实现性。
需要说明的是,对于方法实施例,为了简单描述,故将其都表述为一系列的动作组合,但是本领域技术人员应该知悉,本发明实施例并不受所描述的动作顺序的限制,因为依据本发明实施例,某些步骤可以采用其他顺序或者同时进行。其次,本领域技术人员也应该知悉,说明书中所描述的实施例均属于优选实施例,所涉及的动作并不一定是本发明实施例所必须的。
装置实施例
参照图3,示出了本发明的一种验证装置的结构框图,所述装置具体可以包括:
确定模块301,用于确定被测设计中各被测单元之间的传输信号;
数据流模型建立模块302,用于根据所述传输信号,建立所述被测设计对应的数据流模型;
功能模型建立模块303,用于根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型;
验证模块304,用于基于所述数据流模型和所述功能模型,对所述被测设计进行验证。
可选地,所述数据流模型建立模块,包括:
第一确定子模块,用于确定所述被测单元对所述传输信号的数据处理逻辑;
生成子模块,用于根据所述传输信号和所述数据处理逻辑,生成所述传输信号对应的传输数据流;
第一封装子模块,用于对所述传输数据流进行封装,得到封装后的传输数据流;
第一数据流模型建立子模块,用于基于所述封装后的传输数据流,建立所述被测设计对应的数据流模型。
可选地,所述传输信号包括请求信号和数据信号中的至少一项;所述数据流模型建立模块,包括:
第二封装子模块,用于对所述请求信号和/或所述数据信号进行封装;
第二数据流模型建立子模块,用于基于封装后的请求信号和/或封装后的数据信号,建立所述被测设计对应的数据流模型。
可选地,所述验证模块,包括:
输入子模块,用于将所述数据流模型对应的模型标识输入至所述功能模型,以供所述功能模型基于所述模型标识调用所述数据流模型,获取所述数据流模型的初始参数值,并根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果;所述初始参数值为根据所述传输信号确定的参数值;
验证子模块,用于根据所述目标处理结果,对所述被测设计进行验证。
可选地,在所述数据流模型中包括所述传输信号对应的数据处理逻辑的情况下,所述验证模块,还包括:
调用子模块,用于从所述数据流模型中调用所述传输信号对应的数据处理逻辑。
可选地,所述输入子模块,包括:
第一参考单元,用于根据所述初始参数值对应的数据处理逻辑对所述初始参数值进行处理,得到第一处理结果,并利用所述第一处理结果更新所述数据流模型;所述第一参考单元为所述功能模型中的起始单元;根据所述第一处理结果和所述第一处理结果对应的数据处理逻辑,确定所述数据流模型对应的模型标识的传输方向;以及将所述模型标识传输至所述传输方向指示的参考单元组,所述参考单元组包括所述功能模型中位于所述传输方向上的各个第二参考单元;
参考单元组,用于基于所述模型标识调用所述数据流模型,获取所述数据流模型中的第一处理结果,并根据所述第一处理结果对应的数据处理逻辑对所述第一处理结果进行处理,得到第二处理结果;并在所述第二处理结果满足结果输出条件的情况下,将所述第二处理结果确定为所述目标处理结果。
可选地,所述功能模型建立模块,包括:
第二确定子模块,用于根据所述被测设计中所述传输信号的时序特征,确定各所述被测单元的时序子特征;
第三确定子模块,用于确定所述被测单元对所述传输信号的数据处理逻辑;
参考单元构建子模块,用于基于所述被测单元、所述时序子特征和所述数据处理逻辑,构建各所述被测单元对应的参考单元;
功能模型建立子模块,用于根据所述参考单元和所述时序特征,建立所述被测设计对应的功能模型。
对于装置实施例而言,由于其与方法实施例基本相似,所以描述的比较简单,相关之处参见方法实施例的部分说明即可。
本说明书中的各个实施例均采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似的部分互相参见即可。
关于上述实施例中的处理器,其中各个模块执行操作的具体方式已经在有关该方法的实施例中进行了详细描述,此处将不做详细阐述说明。
参照图4,是本发明实施例提供的一种用于验证的电子设备的结构框图。如图4所示,所述电子设备包括:处理器、存储器、通信接口和通信总线,所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信;所述存储器用于存放可执行指令,所述可执行指令使所述处理器执行前述实施例的验证方法。
所述处理器可以是CPU(Central Processing Unit,中央处理器),通用处理器、DSP(Digital Signal Processor,数字信号处理器),ASIC(Application SpecificIntegrated Circuit,专用集成电路),FPGA(Field Programmble Gate Array,现场可编程门阵列)或者其他可编辑器件、晶体管逻辑器件、硬件子模型或者其任意组合。所述处理器也可以是实现计算功能的组合,例如包含一个或多个微处理器组合,DSP和微处理器的组合等。
所述通信总线可包括一通路,在存储器和通信接口之间传送信息。通信总线可以是PCI(Peripheral Component Interconnect,外设子模型互连标准)总线或EISA(Extended Industry Standard Architecture,扩展工业标准结构)总线等。所述通信总线可以分为地址总线、数据总线、控制总线等。为便于表示,图4中仅用一条线表示,但并不表示仅有一根总线或一种类型的总线。
所述存储器可以是ROM(Read Only内存,只读内存)或可存储静态信息和指令的其他类型的静态存储设备、RAM(Random Access,随机存取存储器)或者可存储信息和指令的其他类型的动态存储设备,也可以是EEPROM(Electrically Erasable Programmable ReadOnly,电可擦可编程只读内存)、CD-ROM(Compact Disa Read Only,只读光盘)、磁带、软盘和光数据存储设备等。
本发明实施例还提供了一种非临时性计算机可读存储介质,当所述存储介质中的指令由电子设备(服务器或者终端)的处理器执行时,使得处理器能够执行图1所示的验证方法。
本说明书中的各个实施例均采用递进的方式描述,每个实施例重点说明的都是与其他实施例的不同之处,各个实施例之间相同相似的部分互相参见即可。
本领域内的技术人员应明白,本发明实施例的实施例可提供为方法、装置、或计算机程序产品。因此,本发明实施例可采用完全硬件实施例、完全软件实施例、或结合软件和硬件方面的实施例的形式。而且,本发明实施例可采用在一个或多个其中包含有计算机可用程序代码的计算机可用存储介质(包括但不限于磁盘存储器、CD-ROM、光学存储器等)上实施的计算机程序产品的形式。
本发明实施例是参照根据本发明实施例的方法、终端设备(系统)、和计算机程序产品的流程图和/或方框图来描述的。应理解可由计算机程序指令实现流程图和/或方框图中的每一流程和/或方框、以及流程图和/或方框图中的流程和/或方框的结合。可提供这些计算机程序指令到通用计算机、专用计算机、嵌入式处理机或其他可编程数据处理终端设备的处理器以产生一个机器,使得通过计算机或其他可编程数据处理终端设备的处理器执行的指令产生用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的装置。
这些计算机程序指令也可存储在能引导计算机或其他可编程数据处理终端设备以预测方式工作的计算机可读存储器中,使得存储在该计算机可读存储器中的指令产生包括指令装置的制造品,该指令装置实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能。
这些计算机程序指令也可装载到计算机或其他可编程数据处理终端设备上,使得在计算机或其他可编程终端设备上执行一系列操作步骤以产生计算机实现的处理,从而在计算机或其他可编程终端设备上执行的指令提供用于实现在流程图一个流程或多个流程和/或方框图一个方框或多个方框中指定的功能的步骤。
尽管已描述了本发明实施例的优选实施例,但本领域内的技术人员一旦得知了基本创造性概念,则可对这些实施例做出另外的变更和修改。所以,所附权利要求意欲解释为包括优选实施例以及落入本发明实施例范围的所有变更和修改。
最后,还需要说明的是,在本文中,诸如第一和第二等之类的关系术语仅仅用来将一个实体或者操作与另一个实体或操作区分开来,而不一定要求或者暗示这些实体或操作之间存在任何这种实际的关系或者顺序。而且,术语“包括”、“包含”或者其任何其他变体意在涵盖非排他性的包含,从而使得包括一系列要素的过程、方法、物品或者终端设备不仅包括那些要素,而且还包括没有明确列出的其他要素,或者是还包括为这种过程、方法、物品或者终端设备所固有的要素。在没有更多限制的情况下,由语句“包括一个……”限定的要素,并不排除在包括所述要素的过程、方法、物品或者终端设备中还存在另外的相同要素。
以上对本发明所提供的一种验证方法、装置、电子设备及可读存储介质,进行了详细介绍,本文中应用了具体个例对本发明的原理及实施方式进行了阐述,以上实施例的说明只是用于帮助理解本发明的方法及其核心思想;同时,对于本领域的一般技术人员,依据本发明的思想,在具体实施方式及应用范围上均会有改变之处,综上所述,本说明书内容不应理解为对本发明的限制。
Claims (15)
1.一种验证方法,其特征在于,所述方法包括:
确定被测设计中各被测单元之间的传输信号;
根据所述传输信号,建立所述被测设计对应的数据流模型;
根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型;
基于所述数据流模型和所述功能模型,对所述被测设计进行验证。
2.根据权利要求1所述的方法,其特征在于,所述根据所述传输信号,建立所述被测设计对应的数据流模型,包括:
确定所述被测单元对所述传输信号的数据处理逻辑;
根据所述传输信号和所述数据处理逻辑,生成所述传输信号对应的传输数据流;
对所述传输数据流进行封装,得到封装后的传输数据流;
基于所述封装后的传输数据流,建立所述被测设计对应的数据流模型。
3.根据权利要求1所述的方法,其特征在于,所述传输信号包括请求信号和数据信号中的至少一项;
所述根据所述传输信号,建立所述被测设计对应的数据流模型,包括:
对所述请求信号和/或所述数据信号进行封装;
基于封装后的请求信号和/或封装后的数据信号,建立所述被测设计对应的数据流模型。
4.根据权利要求1所述的方法,其特征在于,所述基于所述数据流模型和所述功能模型,对所述被测设计进行验证,包括:
将所述数据流模型对应的模型标识输入至所述功能模型,以供所述功能模型基于所述模型标识调用所述数据流模型,获取所述数据流模型的初始参数值,并根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果;所述初始参数值为根据所述传输信号确定的参数值;
根据所述目标处理结果,对所述被测设计进行验证。
5.根据权利要求4所述的方法,其特征在于,在所述数据流模型中包括所述传输信号对应的数据处理逻辑的情况下,在根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果之前,所述方法还包括:
从所述数据流模型中调用所述传输信号对应的数据处理逻辑。
6.根据权利要求4所述的方法,其特征在于,所述根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果,包括:
所述功能模型中的第一参考单元根据所述初始参数值对应的数据处理逻辑对所述初始参数值进行处理,得到第一处理结果,并利用所述第一处理结果更新所述数据流模型;所述第一参考单元为所述功能模型中的起始单元;
所述第一参考单元根据所述第一处理结果和所述第一处理结果对应的数据处理逻辑,确定所述数据流模型对应的模型标识的传输方向;
所述第一参考单元将所述模型标识传输至所述传输方向指示的参考单元组,所述参考单元组包括所述功能模型中位于所述传输方向上的各个第二参考单元;
所述参考单元组基于所述模型标识调用所述数据流模型,获取所述数据流模型中的第一处理结果,并根据所述第一处理结果对应的数据处理逻辑对所述第一处理结果进行处理,得到第二处理结果;
在所述第二处理结果满足结果输出条件的情况下,将所述第二处理结果确定为所述目标处理结果。
7.根据权利要求3所述的方法,其特征在于,所述根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型,包括:
根据所述被测设计中所述传输信号的时序特征,确定各所述被测单元的时序子特征;
确定所述被测单元对所述传输信号的数据处理逻辑;
基于所述被测单元、所述时序子特征和所述数据处理逻辑,构建各所述被测单元对应的参考单元;
根据所述参考单元和所述时序特征,建立所述被测设计对应的功能模型。
8.一种验证装置,其特征在于,所述装置包括:
确定模块,用于确定被测设计中各被测单元之间的传输信号;
数据流模型建立模块,用于根据所述传输信号,建立所述被测设计对应的数据流模型;
功能模型建立模块,用于根据所述被测设计中所述传输信号的时序特征,建立所述被测设计对应的功能模型;
验证模块,用于基于所述数据流模型和所述功能模型,对所述被测设计进行验证。
9.根据权利要求8所述的装置,其特征在于,所述数据流模型建立模块,包括:
第一确定子模块,用于确定所述被测单元对所述传输信号的数据处理逻辑;
生成子模块,用于根据所述传输信号和所述数据处理逻辑,生成所述传输信号对应的传输数据流;
第一封装子模块,用于对所述传输数据流进行封装,得到封装后的传输数据流;
第一数据流模型建立子模块,用于基于所述封装后的传输数据流,建立所述被测设计对应的数据流模型。
10.根据权利要求8所述的装置,其特征在于,所述传输信号包括请求信号和数据信号中的至少一项;所述数据流模型建立模块,包括:
第二封装子模块,用于对所述请求信号和/或所述数据信号进行封装;
第二数据流模型建立子模块,用于基于封装后的请求信号和/或封装后的数据信号,建立所述被测设计对应的数据流模型。
11.根据权利要求8所述的装置,其特征在于,所述验证模块,包括:
输入子模块,用于将所述数据流模型对应的模型标识输入至所述功能模型,以供所述功能模型基于所述模型标识调用所述数据流模型,获取所述数据流模型的初始参数值,并根据所述传输信号对应的数据处理逻辑对所述初始参数值进行处理,得到目标处理结果;所述初始参数值为根据所述传输信号确定的参数值;
验证子模块,用于根据所述目标处理结果,对所述被测设计进行验证。
12.根据权利要求11所述的装置,其特征在于,在所述数据流模型中包括所述传输信号对应的数据处理逻辑的情况下,所述验证模块,还包括:
调用子模块,用于从所述数据流模型中调用所述传输信号对应的数据处理逻辑。
13.根据权利要求11所述的装置,其特征在于,所述输入子模块,包括:
第一参考单元,用于根据所述初始参数值对应的数据处理逻辑对所述初始参数值进行处理,得到第一处理结果,并利用所述第一处理结果更新所述数据流模型;所述第一参考单元为所述功能模型中的起始单元;根据所述第一处理结果和所述第一处理结果对应的数据处理逻辑,确定所述数据流模型对应的模型标识的传输方向;以及将所述模型标识传输至所述传输方向指示的参考单元组,所述参考单元组包括所述功能模型中位于所述传输方向上的各个第二参考单元;
参考单元组,用于基于所述模型标识调用所述数据流模型,获取所述数据流模型中的第一处理结果,并根据所述第一处理结果对应的数据处理逻辑对所述第一处理结果进行处理,得到第二处理结果;并在所述第二处理结果满足结果输出条件的情况下,将所述第二处理结果确定为所述目标处理结果。
14.一种电子设备,其特征在于,所述电子设备包括处理器、存储器、通信接口和通信总线,所述处理器、所述存储器和所述通信接口通过所述通信总线完成相互间的通信;所述存储器用于存放可执行指令,所述可执行指令使所述处理器执行如权利要求1至7中任一项所述的验证方法。
15.一种可读存储介质,其特征在于,当所述可读存储介质中的指令由电子设备的处理器执行时,使得所述处理器能够执行如权利要求1至7中任一项所述的验证方法。
Priority Applications (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202311188183.XA CN116933702B (zh) | 2023-09-14 | 2023-09-14 | 一种验证方法、装置、电子设备及可读存储介质 |
Applications Claiming Priority (1)
Application Number | Priority Date | Filing Date | Title |
---|---|---|---|
CN202311188183.XA CN116933702B (zh) | 2023-09-14 | 2023-09-14 | 一种验证方法、装置、电子设备及可读存储介质 |
Publications (2)
Publication Number | Publication Date |
---|---|
CN116933702A true CN116933702A (zh) | 2023-10-24 |
CN116933702B CN116933702B (zh) | 2023-12-22 |
Family
ID=88386401
Family Applications (1)
Application Number | Title | Priority Date | Filing Date |
---|---|---|---|
CN202311188183.XA Active CN116933702B (zh) | 2023-09-14 | 2023-09-14 | 一种验证方法、装置、电子设备及可读存储介质 |
Country Status (1)
Country | Link |
---|---|
CN (1) | CN116933702B (zh) |
Cited By (1)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN117725866A (zh) * | 2024-02-07 | 2024-03-19 | 北京开源芯片研究院 | 一种验证方法、装置、电子设备及可读存储介质 |
Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130155459A1 (en) * | 2011-12-20 | 2013-06-20 | Samsung Electronics Co., Ltd. | Crum chip, image forming apparratus, and communication method of crum chip |
CN104461810A (zh) * | 2014-11-14 | 2015-03-25 | 深圳市芯海科技有限公司 | 一种提高嵌入式处理器功能验证效率的方法 |
CN112699695A (zh) * | 2021-03-23 | 2021-04-23 | 广州智慧城市发展研究院 | Rfid读写器软件验证装置、方法及电子设备 |
CN113704043A (zh) * | 2021-08-30 | 2021-11-26 | 地平线(上海)人工智能技术有限公司 | 芯片功能验证方法、装置、可读存储介质及电子设备 |
CN116302744A (zh) * | 2023-03-06 | 2023-06-23 | 湖南国科微电子股份有限公司 | 一种信号冲突验证方法、装置、设备及存储介质 |
CN116343888A (zh) * | 2023-03-14 | 2023-06-27 | 上海芯存天下电子科技有限公司 | 一种存储芯片的验证方法、电子设备及存储介质 |
-
2023
- 2023-09-14 CN CN202311188183.XA patent/CN116933702B/zh active Active
Patent Citations (6)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
US20130155459A1 (en) * | 2011-12-20 | 2013-06-20 | Samsung Electronics Co., Ltd. | Crum chip, image forming apparratus, and communication method of crum chip |
CN104461810A (zh) * | 2014-11-14 | 2015-03-25 | 深圳市芯海科技有限公司 | 一种提高嵌入式处理器功能验证效率的方法 |
CN112699695A (zh) * | 2021-03-23 | 2021-04-23 | 广州智慧城市发展研究院 | Rfid读写器软件验证装置、方法及电子设备 |
CN113704043A (zh) * | 2021-08-30 | 2021-11-26 | 地平线(上海)人工智能技术有限公司 | 芯片功能验证方法、装置、可读存储介质及电子设备 |
CN116302744A (zh) * | 2023-03-06 | 2023-06-23 | 湖南国科微电子股份有限公司 | 一种信号冲突验证方法、装置、设备及存储介质 |
CN116343888A (zh) * | 2023-03-14 | 2023-06-27 | 上海芯存天下电子科技有限公司 | 一种存储芯片的验证方法、电子设备及存储介质 |
Cited By (2)
Publication number | Priority date | Publication date | Assignee | Title |
---|---|---|---|---|
CN117725866A (zh) * | 2024-02-07 | 2024-03-19 | 北京开源芯片研究院 | 一种验证方法、装置、电子设备及可读存储介质 |
CN117725866B (zh) * | 2024-02-07 | 2024-05-14 | 北京开源芯片研究院 | 一种验证方法、装置、电子设备及可读存储介质 |
Also Published As
Publication number | Publication date |
---|---|
CN116933702B (zh) | 2023-12-22 |
Similar Documents
Publication | Publication Date | Title |
---|---|---|
JP5500741B2 (ja) | データ処理システムにおける割込承認 | |
CN116933702B (zh) | 一种验证方法、装置、电子设备及可读存储介质 | |
CN111163129A (zh) | 一种基于跨链网络的资源处理方法及装置 | |
WO2021175057A1 (zh) | 一种业务处理系统、业务处理的方法、装置及设备 | |
CN113268336B (zh) | 一种服务的获取方法、装置、设备以及可读介质 | |
CN110060155A (zh) | 区块链的智能合约执行方法及装置和电子设备 | |
CN112039896B (zh) | 一种数据处理方法、设备、服务器及存储介质 | |
CN110659905A (zh) | 交易验证方法、装置、终端设备以及存储介质 | |
CN111400716A (zh) | 一种基于操作系统的安全机制验证方法 | |
CN114356683A (zh) | 覆盖率融合方法、装置、计算机设备及存储介质 | |
CN116933886B (zh) | 一种量子计算执行方法、系统、电子设备及存储介质 | |
CN116700907B (zh) | 服务调用需求文档存储方法、装置、电子设备和可读介质 | |
CN107908565B (zh) | 一种测试方法及设备 | |
CN111447273B (zh) | 云处理系统及基于云处理系统的数据处理方法 | |
CN113468276A (zh) | 链上预言机的可信数据获取方法、装置及电子设备 | |
CN117216758A (zh) | 应用安全检测系统及方法 | |
CN111324645B (zh) | 区块链的数据处理方法及装置 | |
CN114637525A (zh) | Sdk与接入应用的兼容方法、装置、设备及介质 | |
CN111273970B (zh) | 智能合约的调用方法、装置、系统、介质及电子设备 | |
CN115549854A (zh) | 循环冗余校验方法、装置、存储介质以及电子设备 | |
CN111831549A (zh) | 增量代码覆盖率确定方法、装置、设备及存储介质 | |
CN110460446A (zh) | 消息认证码的获取方法及装置 | |
CN113706131B (zh) | 一种基于加密卡的区块链交易方法、装置和设备 | |
CN116719627B (zh) | 数据处理方法、装置、设备及存储介质 | |
CN114327602B (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 |