验证方法、装置及电子设备制造方法及图纸

本申请实施例提供一种验证方法、装置及电子设备，该方法包括：模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据；在对所述被测设备进行控制逻辑验证时，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据；查找所述多个第一信号数据中是否存在所述第二信号数据；基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果。本申请通过模拟被测设备的工作行为产生多个第一信号数据，并根据多个第一信号数据以及被测设备实际产生的第二信号数据对被测设备进行验证。行验证。行验证。

【技术实现步骤摘要】
验证方法、装置及电子设备


[0001]本申请实施例涉及芯片
，尤其涉及一种验证方法、装置及电子设备。

技术介绍

[0002]目前，系统级芯片(System on Chip，简称SOC)的应用越来越广泛，且SOC芯片的流片一般比较昂贵，因此，在SOC进行流片之前，需要对SOC芯片作为被测设备进行仿真验证来确定SOC芯片的正常运行，而目前一般利用验证平台对SOC芯片进行仿真验证。
[0003]现有的验证平台只会基于被测设备产生的计算数据对待测设备进行验证。
[0004]目前在利用验证平台对被测设备的控制逻辑进行验证的情况下，不会产生计算数据，只会产生信号变化，因此，一般情况下，可以针对被测设备的各个信号通路在验证平台进行实例化，即在验证平台针对各个信号通路编写对应的测试代码，进一步执行对应的测试代码对被测设备的信号线的信号变化进行验证。
[0005]在被测设备要验证的信号线比较多的情况下，需要编写的测试代码比较多，验证过程复杂。

技术实现思路

[0006]本申请实施例提供一种验证方法、装置及电子设备，用以解决现有技术中在对被测设备进行控制逻辑验证时，验证过程比较复杂的问题。
[0007]第一方面，本申请实施例中提供了一种验证方法，包括：
[0008]模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据；
[0009]在对所述被测设备进行控制逻辑验证时，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据；
[0010]查找所述多个第一信号数据中是否存在所述第二信号数据；
[0011]基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果。
[0012]可选地，所述基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果包括：
[0013]在所述多个第一信号数据查找是否存在于所述第二信号数据一致的目标信号数据；
[0014]若在所述多个第一信号数据查找到存在于所述第二信号数据一致的目标信号数据，则生成包括验证成功消息的验证结果；
[0015]若在所述多个第一信号数据未查找到存在于所述第二信号数据一致的目标信号数据，则生成包括验证失败消息的验证结果。
[0016]可选地，所述方法还包括：
[0017]从所述多个第一信号数据中删除所述目标信号数据。
[0018]可选地，所述在对所述被测设备进行控制逻辑验证是，检测所述被测设备在任一
信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据包括：
[0019]在对所述被测设备进行验证时，检测所述被测设备执行工作行为产生的第二信号变化；
[0020]检测所述第二信号变化是否生成对应的计算数据；
[0021]若是，将所述计算数据作为第二信号数据；
[0022]若否，根据所述第二信号变化的信号参数，生成第二信号数据。
[0023]可选地，所述若否，根据所述第二信号变化的信号参数，生成第二信号数据包括：
[0024]获取所述计算数据的数据格式；
[0025]基于所述数据格式和所述第二信号变化的信号参数，生成第二信号数据。
[0026]可选地，所述模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据之后，还包括：
[0027]将所述多个第一信号数据存储到信号数据队列中；
[0028]所述查找所述多个第一信号数据中是否存在所述第二信号数据包括：
[0029]在所述数据队列的所述多个第一信号数据中查找是否存在所述第二信号数据。
[0030]可选地，所述模拟被测设备的运行逻辑，产生多个第一信号包括：
[0031]响应于模拟指令，模拟被测设备的运行逻辑，产生多个第一信号。
[0032]第二方面，本申请实施例提供了一种验证装置，包括：
[0033]模拟模块，用于模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据；
[0034]检测模块，用于在对所述被测设备进行控制逻辑验证时，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据；
[0035]查找模块，用于查找所述多个第一信号数据中是否存在所述第二信号数据；
[0036]确定模块，用于基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果。
[0037]第三方面，本申请实施例提供了一种计算设备，包括处理组件以及存储组件；
[0038]所述存储组件存储一条或多条计算机指令；所述一条或多条计算机指令用以被所述处理组件调用执行；
[0039]所述处理组件用于：
[0040]模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据；
[0041]在对所述被测设备进行控制逻辑验证是，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据；
[0042]查找所述多个第一信号数据中是否存在所述第二信号数据；
[0043]基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果。
[0044]第四方面，本专利技术实施例提供了一种非暂时性机器可读存储介质，非暂时性机器可读存储介质上存储有可执行代码，当所述可执行代码被电子设备的处理器执行时，使处理器至少可以实现如第一方面所述的验证方法。
[0045]所述功能可以通过硬件实现，也可以通过硬件执行相应的软件实现。所述硬件或软件包括一个或多个与上述功能相对应的模块。
[0046]本申请实施例提供一种验证方法、装置及电子设备，该方法包括：模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据；在对所述被测设备进行控制逻辑验证时，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据；查找所述多个第一信号数据中是否存在所述第二信号数据；基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果。本申请通过模拟被测设备的工作行为产生多个第一信号数据，并根据多个第一信号数据以及被测设备实际产生的第二信号数据对被测设备进行验证。
[0047]本申请的这些方面或其他方面在以下实施例的描述中会更加简明易懂。
附图说明
[0048]为了更清楚地说明本申请实施例或现有技术中的技术方案，下面将对实施例或现有技术描述中所需要使用的附图作一简单地介绍，显而易见地，下面描述中的附图是本申请的一些实施例，对于本领域普通技术人员来讲，在不付出创造性劳动的前提下，还可以根据这些附图获得其他的附图。
[0049]图1本文档来自技高网...

【技术保护点】

【技术特征摘要】
1.一种验证方法，其特征在于，包括：模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号数据；在对所述被测设备进行控制逻辑验证时，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据；查找所述多个第一信号数据中是否存在所述第二信号数据；基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果。2.根据权利要求1所述的方法，其特征在于，所述基于多个第二信号数据对应的查找结果，确定所述被测设备的验证结果包括：在所述多个第一信号数据查找是否存在于所述第二信号数据一致的目标信号数据；若在所述多个第一信号数据查找到存在于所述第二信号数据一致的目标信号数据，则生成包括验证成功消息的验证结果；若在所述多个第一信号数据未查找到存在于所述第二信号数据一致的目标信号数据，则生成包括验证失败消息的验证结果。3.根据权利要求2所述的方法，其特征在于，所述方法还包括：从所述多个第一信号数据中删除所述目标信号数据。4.根据权利要求1所述的方法，其特征在于，所述在对所述被测设备进行控制逻辑验证时，检测所述被测设备在任一信号通路执行任一工作行为产生的第二信号变化，生成对应的第二信号数据包括：在对所述被测设备进行验证时，检测所述被测设备执行工作行为产生的第二信号变化；检测所述第二信号变化是否生成对应的计算数据；若是，将所述计算数据作为第二信号数据；若否，根据所述第二信号变化的信号参数，生成第二信号数据。5.根据权利要求4所述的方法，其特征在于，所述若否，根据所述第二信号变化的信号参数，生成第二信号数据包括：获取所述计算数据的数据格式；基于所述数据格式和所述第二信号变化的信号参数，生成第二信号数据。6.根据权利要求1所述的方法，其特征在于，所述模拟被测设备的在各个信号通路对应的多个工作行为，并基于所述多个工作行为分别产生的第一信号变化，生成多个第一信号...

【专利技术属性】
技术研发人员：冯子豪，
申请(专利权)人：北京爱芯科技有限公司，
类型：发明
国别省市：