CN104461909B - 一种随机验证评估方法及系统 - Google Patents
一种随机验证评估方法及系统 Download PDFInfo
- Publication number
- CN104461909B CN104461909B CN201510005353.5A CN201510005353A CN104461909B CN 104461909 B CN104461909 B CN 104461909B CN 201510005353 A CN201510005353 A CN 201510005353A CN 104461909 B CN104461909 B CN 104461909B
- Authority
- CN
- China
- Prior art keywords
- verification
- module
- individual signals
- modules
- asserted
- 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.)
- Active
Links
- 238000010200 validation analysis Methods 0.000 title claims abstract description 25
- 238000000034 method Methods 0.000 title claims abstract description 22
- 238000012795 verification Methods 0.000 claims abstract description 85
- 238000012544 monitoring process Methods 0.000 claims abstract description 10
- 230000005284 excitation Effects 0.000 claims description 11
- 238000001514 detection method Methods 0.000 claims description 10
- 238000011156 evaluation Methods 0.000 abstract description 6
- 230000000694 effects Effects 0.000 description 2
- 238000007689 inspection Methods 0.000 description 2
- 230000003542 behavioural effect Effects 0.000 description 1
- 230000009286 beneficial effect Effects 0.000 description 1
- 230000005540 biological transmission Effects 0.000 description 1
- 238000013461 design Methods 0.000 description 1
- 238000011161 development Methods 0.000 description 1
- 238000010586 diagram Methods 0.000 description 1
- 235000013399 edible fruits Nutrition 0.000 description 1
- 238000005516 engineering process Methods 0.000 description 1
- 230000002349 favourable effect Effects 0.000 description 1
- 238000012360 testing method Methods 0.000 description 1
Landscapes
- Debugging And Monitoring (AREA)
- Management, Administration, Business Operations System, And Electronic Commerce (AREA)
Abstract
本发明公开了一种随机验证评估方法及系统，包括：从预选出的一个或多个模块中选出一个或多个关键路径。通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。通过本发明的方案，能够有效地评估模块级随机验证的充分程度。
Description
技术领域
本发明涉及芯片验证领域，尤其涉及一种随机验证评估方法及系统。
背景技术
随着服务器应用领域的不断发展，高端服务器的应用需求已经进入了一个重要阶段。复杂的体系结构实现支持高端服务器系统实现高性能指标、高安全性、高可用性、高可靠性等特点。这就需要网络控制类芯片控制多路处理器系统，使系统内部报文传输达到高效可靠、安全稳定。而对于该类的控制芯片来说，其核心是与协议处理相关的模块，这部分模块一方面复杂度非常高，逻辑量非常大，必须采用随机验证的方式进行模块级的验证，另一方面，这部分模块与系统运行的关系紧密，模块级验证充分对系统级验证有着非常重要的作用。
此类问题常用的解决方法是以代码覆盖率作为衡量模块级验证是否充分的标志，但这种方式存在一个问题：对于协议处理这类拥有大量分支判断和流水线并行处理逻辑的模块，要做到对代码全路径组合的覆盖是基本不可能的，而一般的语句覆盖对于这种模块的意义不大。而如果用断言的方式进行对关键路径的检查的话，一方面断言编写的工作量将会非常大，并且可能有部分无效的断言；另一方面只针对于验证模块逻辑编写的断言很可能并不符合实际系统的状态。并且，这些做法在模块复杂度增加的时候，工作量会以指数级增长。
发明内容
为了解决上述问题，本发明提出了一种随机验证评估方法及系统，能够有效地评估模块级随机验证的充分程度。
为了达到上述目的，本发明提出了一种随机验证评估方法，该方法包括：
从预选出的一个或多个模块中选出一个或多个关键路径。
通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。
将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。
优选地，对一个或多个关键路径的选择是指：在预选出的一个或多个模块中从逻辑上选出预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个模块全部的工作状态。
优选地，对一个或多个关键路径的统计的内容包括：对单个信号的变化范围或根据预选出的一个或多个模块的内部信号的关联性对单个信号的组合进行统计；统计出一个或多个关键路径中不同的单个信号或所述单个信号的组合的出现情况。
优选地，根据关键路径的统计结果生成对关键路径的断言包括以下方式：当单个信号或单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成断言；当单个信号或单个信号的组合的数量大于预定的阈值时，通过脚本语言自动生成断言。
优选地，检测是否违反断言是指：在包括多模块集成验证和系统级验证的上层验证中，使用上层验证的激励，检验预选出的一个或多个模块会不会出现模块级随机验证没有覆盖到的状态，如果出现了模块级随机验证没有覆盖到的状态，则出现违反断言的情况；如果没有出现模块级的随机验证没有覆盖到的状态，则没有出现违反断言的情况。
本发明还提出一种随机验证评估系统，该系统包括：关键路径选择单元、断言生成单元、检测单元。
关键路径选择单元，用于从预选出的一个或多个模块中选出一个或多个关键路径。
断言生成单元，用于通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。
检测单元，用于将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。
优选地，关键路径选择单元还用于：在预选出的一个或多个模块中从逻辑上选出预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个模块全部的工作状态。
优选地，断言生成单元还用于：对单个信号的变化范围或根据预选出的一个或多个模块的内部信号的关联性对单个信号的组合进行统计；统计出一个或多个关键路径中不同的单个信号或单个信号的组合的出现情况。
优选地，断言生成单元还用于：通过以下方式根据关键路径的统计结果生成对关键路径的断言：当单个信号或单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成断言；当单个信号或单个信号的组合的数量大于预定的阈值时，通过脚本语言自动生成断言。
优选地，检测单元还用于：在包括多模块集成验证和系统级验证的上层验证中，使用上层验证的激励，检验预选出的一个或多个模块会不会出现模块级随机验证没有覆盖到的状态，如果出现了模块级随机验证没有覆盖到的状态，则出现违反断言的情况；如果没有出现模块级的随机验证没有覆盖到的状态，则没有出现违反断言的情况。
与现有技术相比，本发明包括：从预选出的一个或多个模块中选出一个或多个关键路径。通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。通过本发明的方案，能够有效地评估模块级随机验证的充分程度。
附图说明
下面对本发明实施例中的附图进行说明，实施例中的附图是用于对本发明的进一步理解，与说明书一起用于解释本发明，并不构成对本发明保护范围的限制。
图1为本发明的随机验证评估方法简要流程图；
图2为本发明的随机验证评估系统框图。
具体实施方式
为了便于本领域技术人员的理解，下面结合附图对本发明作进一步的描述，并不能用来限制本发明的保护范围。
本发明提出了一种基于自底向上验证方式的模块级随机验证评估机制，考虑到在芯片验证中，对于复杂度很高的核心模块，不得不采用随机验证的方法时，对于验证是否充分很难做出正确的评估，而通过在底层模块级验证中对模块关键路径生成断言，并将这部分断言加入上层验证(多模块验证或系统级验证)中用于检查生成的断言约束是否有违反的情况，从而对底层模块级随机验证的充分程度进行评估。
具体地，本发明提出了一种随机验证评估方法，如图1所示，该方法包括：
S101、从预选出的一个或多个模块中选出一个或多个关键路径。
优选地，对一个或多个关键路径的选择是指：在预选出的一个或多个模块中从逻辑上选出预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个模块全部的工作状态。
在进行关键路径的选择之前，预先在系统的所有模块中选出具有核心作用并且达到预定的复杂程度的一个或多个模块。要求选出的模块一方面是比较复杂需要进行随机验证的模块，另一方面是在系统中起核心作用的模块。不满足前者的模块不需要花费额外的工作量来增加这套评估机制，不满足后者的模块在进行多模块或者系统级验证的时候大部分的激励可能并不触发对模块关键路径的覆盖，从而使这套评估机制的效率变低。
S102、通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。
优选地，对一个或多个关键路径的统计的内容包括：对单个信号的变化范围或根据预选出的一个或多个模块的内部信号的关联性对单个信号的组合进行统计；统计出一个或多个关键路径中不同的单个信号或所述单个信号的组合的出现情况。
对于一个或多个关键路径进行监测和统计之前，需要预先在模块级随机验证环境中添加对一个或多个关键路径的监测和统计策略。通过以下方式实现在模块级随机验证环境中添加对一个或多个关键路径的监测和统计策略：通过使用pli接口调用其它行为级描述语言(如C++)或直接在验证平台上添加与pli接口相对应的接口模块。
优选地，根据关键路径的统计结果生成对关键路径的断言包括以下方式：当单个信号或单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成断言；当单个信号或单个信号的组合的数量大于预定的阈值时，通过脚本语言自动生成断言。
S103、将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。
优选地，检测是否违反断言是指：在包括多模块集成验证和系统级验证的上层验证中，使用上层验证的激励，检验预选出的一个或多个模块会不会出现模块级随机验证没有覆盖到的状态，如果出现了模块级随机验证没有覆盖到的状态，则出现违反断言的情况；如果没有出现模块级的随机验证没有覆盖到的状态，则没有出现违反断言的情况。
本发明还提出一种随机验证评估系统01，如图2所示，该系统包括：关键路径选择单元02、断言生成单元03、检测单元04。
关键路径选择单元02，用于从预选出的一个或多个模块中选出一个或多个关键路径。
断言生成单元03，用于通过对一个或多个关键路径的监测和统计策略完成关于预选出的一个或多个模块的模块级随机验证之后，根据关键路径的统计结果生成对关键路径的断言。
检测单元04，用于将生成的断言加入预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反断言，根据违反断言的次数是否大于预设阈值判定模块级随机验证是否充分。
优选地，关键路径选择单元02还用于：在预选出的一个或多个模块中从逻辑上选出预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个模块全部的工作状态。
优选地，断言生成单元03还用于：对单个信号的变化范围或根据预选出的一个或多个模块的内部信号的关联性对单个信号的组合进行统计；统计出一个或多个关键路径中不同的单个信号或单个信号的组合的出现情况。
优选地，断言生成单元03还用于：通过以下方式根据关键路径的统计结果生成对关键路径的断言：当单个信号或单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成断言；当单个信号或单个信号的组合的数量大于预定的阈值时，通过脚本语言自动生成断言。
优选地，检测单元04还用于：在包括多模块集成验证和系统级验证的上层验证中，使用上层验证的激励，检验预选出的一个或多个模块会不会出现模块级随机验证没有覆盖到的状态，如果出现了模块级随机验证没有覆盖到的状态，则出现违反断言的情况；如果没有出现模块级的随机验证没有覆盖到的状态，则没有出现违反断言的情况。
本发明主要考虑到在验证过程中，在对复杂度较高的核心模块的随机验证中，通过对模块关键路径生成断言，并将这部分断言加入上层验证(多模块验证或系统级验证)中用于检查生成的断言约束是否有违反的情况，从而对底层模块级随机验证的充分程度进行评估，并以此作为模块级验证是否需要继续进行和如何进行的评判标准。
在正确地选择和统计了核心模块中关键路径的覆盖情况的前提下，根据统计结果可以比较简单地通过手动或自动化的方式生成能反映实际验证覆盖情况的断言，而将这部分断言加入上层验证的过程，实际上同时也是用上层激励检验下层模块验证覆盖情况是否完全的过程。
本发明的有益效果是：本发明的机制在能更好地评估模块随机验证充分程度，指导下一步验证工作的同时，降低了对全部路径编写断言的工作量和困难度。用上层验证结果来评估和指导下层模块验证的方式也更有利于实现二者的并行和迭代，使得整个验证流程更有效率。另外，因为本机制很大部分的工作(包括统计路径覆盖，生成断言，检查断言违反情况)易于通过自动化的方式完成，在验证目标模块的复杂度增加时，工作量增加会比较少，在不同验证环境中的移植也较为容易。
下面通过具体实施例对本发明内容的实施方式进行简单的说明。
假设通过对模块设计的了解，对模块中关键路径定义了两组信号，一组是state_0与fifo_0_cnt(前者是某一个状态机信号，后者是某个fifo内的数据个数)，另一组是state_0与fifo_1_cnt。针对这两组信号在环境中加入检测和统计的机制之后进行仿真。
通过第一组随机验证的激励仿真，第一组信号统计出的结果是当state_0＝0时fifo_0_cnt的值在0到5之间，第二组信号统计出的结果是当state_0＝1时fifo_1_cnt的值在2到6之间。
通过第二组随机验证的激励仿真，第一组信号统计出的结果是当state_0＝0时fifo_0_cnt的值在0到7之间，第二组信号统计出的结果是当state_0＝1时fifo_1_cnt的值在4到8之间。
通过两组随机激励，可以生成两条对应的断言：state_0＝0 &&fifo_0_cnt>＝0&& fifo_0_cnt<＝7以及state_0＝1 && fifo_0_cnt>＝2 &&fifo_0_cnt<＝8。
将这两条断言加入系统级验证环境中，进行系统级的仿真验证。如果通过系统级的激励，出现当state_0＝0时fifo_0_cnt的值为9的状态，那么第一条断言违反，代表这种情况在模块级验证中是没有覆盖到的，说明模块验证对所选的关键路径的覆盖是不充分的，需要继续进行更多组的模块级随机验证。反之，如果两条断言都没有违反的情况，那么可以认为，对于所选的关键路径，目前的系统级验证出现的状态在之前的模块级仿真中都已经覆盖到了。
需要说明的是，以上所述的实施例仅是为了便于本领域的技术人员理解而已，并不用于限制本发明的保护范围，在不脱离本发明的发明构思的前提下，本领域技术人员对本发明所做出的任何显而易见的替换和改进等均在本发明的保护范围之内。
Claims (8)
1.一种随机验证评估方法，其特征在于，所述方法包括：
预先在系统的所有模块中选出具有核心作用并且达到预定的复杂程度的一个或多个模块；
从预选出的一个或多个模块中选出一个或多个关键路径；
对所述一个或多个关键路径的选择是指：在所述预选出的一个或多个模块中从逻辑上选出所述预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个所述模块全部的工作状态；
通过对所述一个或多个关键路径的监测和统计策略完成关于所述预选出的一个或多个模块的模块级随机验证之后，根据所述关键路径的统计结果生成对所述关键路径的断言；
将生成的所述断言加入所述预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反所述断言，根据违反所述断言的次数是否大于预设阈值判定所述模块级随机验证是否充分。
2.如权利要求1所述的方法，其特征在于，
对所述一个或多个关键路径的统计的内容包括：对单个信号的变化范围或根据所述预选出的一个或多个模块的内部信号的关联性对所述单个信号的组合进行统计；统计出所述一个或多个关键路径中不同的所述单个信号或所述单个信号的组合的出现情况。
3.如权利要求2所述的方法，其特征在于，所述根据所述关键路径的统计结果生成对所述关键路径的断言包括以下方式：当所述单个信号或所述单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成所述断言；当所述单个信号或所述单个信号的组合的数量大于所述预定的阈值时，通过所述脚本语言自动生成所述断言。
4.如权利要求1所述的方法，其特征在于，所述检测是否违反所述断言是指：在包括多模块集成验证和系统级验证的上层验证中，使用所述上层验证的激励，检验所述预选出的一个或多个模块会不会出现所述模块级随机验证没有覆盖到的状态，如果出现了所述模块级随机验证没有覆盖到的状态，则出现违反所述断言的情况；如果没有出现所述模块级的随机验证没有覆盖到的状态，则没有出现违反所述断言的情况。
5.一种随机验证评估系统，其特征在于，所述系统包括：关键路径选择单元、断言生成单元、检测单元；
所述关键路径选择单元，用于预先在系统的所有模块中选出具有核心作用并且达到预定的复杂程度的一个或多个模块；
从预选出的一个或多个模块中选出一个或多个关键路径；
在所述预选出的一个或多个模块中从逻辑上选出所述预选出的一个或多个模块的核心状态机、一个或多个分支判断和关键的状态信号；选择的原则是：以最少的信号完整地表达整个所述模块全部的工作状态；
所述断言生成单元，用于通过对所述一个或多个关键路径的监测和统计策略完成关于所述预选出的一个或多个模块的模块级随机验证之后，根据所述关键路径的统计结果生成对所述关键路径的断言；
所述检测单元，用于将生成的所述断言加入所述预选出的一个或多个模块进行多模块验证或系统级验证，并检测是否违反所述断言，根据违反所述断言的次数是否大于预设阈值判定所述模块级随机验证是否充分。
6.如权利要求5所述的系统，其特征在于，所述断言生成单元还用于：
对单个信号的变化范围或根据所述预选出的一个或多个模块的内部信号的关联性对所述单个信号的组合进行统计；统计出所述一个或多个关键路径中不同的所述单个信号或所述单个信号的组合的出现情况。
7.如权利要求6所述的系统，其特征在于，所述断言生成单元还用于：通过以下方式根据所述关键路径的统计结果生成对所述关键路径的断言：当所述单个信号或所述单个信号的组合的数量小于预定的阈值时通过手动编写或通过用脚本语言自动生成所述断言；当所述单个信号或所述单个信号的组合的数量大于所述预定的阈值时，通过所述脚本语言自动生成所述断言。
8.如权利要求5所述的系统，其特征在于，所述检测单元还用于：在包括多模块集成验证和系统级验证的上层验证中，使用所述上层验证的激励，检验所述预选出的一个或多个模块会不会出现所述模块级随机验证没有覆盖到的状态，如果出现了所述模块级随机验证没有覆盖到的状态，则出现违反所述断言的情况；如果没有出现所述模块级的随机验证没有覆盖到的状态，则没有出现违反所述断言的情况。
Priority Applications (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510005353.5A CN104461909B (zh) | 2015-01-06 | 2015-01-06 | 一种随机验证评估方法及系统 |
Applications Claiming Priority (1)
| Application Number | Priority Date | Filing Date | Title |
|---|---|---|---|
| CN201510005353.5A CN104461909B (zh) | 2015-01-06 | 2015-01-06 | 一种随机验证评估方法及系统 |
Publications (2)
| Publication Number | Publication Date |
|---|---|
| CN104461909A CN104461909A (zh) | 2015-03-25 |
| CN104461909B true CN104461909B (zh) | 2018-05-04 |
Family
ID=52907998
Family Applications (1)
| Application Number | Title | Priority Date | Filing Date |
|---|---|---|---|
| CN201510005353.5A Active CN104461909B (zh) | 2015-01-06 | 2015-01-06 | 一种随机验证评估方法及系统 |
Country Status (1)
| Country | Link |
|---|---|
| CN (1) | CN104461909B (zh) |
Families Citing this family (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN109033540B (zh) * | 2018-07-02 | 2022-03-04 | 郑州云海信息技术有限公司 | 一种芯片随机验证过程中的激励管理方法及系统 |
Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102567149A (zh) * | 2010-12-09 | 2012-07-11 | 上海华虹集成电路有限责任公司 | Soc系统验证方法 |
Family Cites Families (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| US7313772B2 (en) * | 2005-05-24 | 2007-12-25 | International Business Machines Corporation | Systems, methods, and media for block-based assertion generation, qualification and analysis |
-
2015
- 2015-01-06 CN CN201510005353.5A patent/CN104461909B/zh active Active
Patent Citations (1)
| Publication number | Priority date | Publication date | Assignee | Title |
|---|---|---|---|---|
| CN102567149A (zh) * | 2010-12-09 | 2012-07-11 | 上海华虹集成电路有限责任公司 | Soc系统验证方法 |
Non-Patent Citations (1)
| Title |
|---|
| 基于断言合成的验证方法学及应用;王锐等;《中国集成电路》;20131031(第173期);第50-57页 * |
Also Published As
| Publication number | Publication date |
|---|---|
| CN104461909A (zh) | 2015-03-25 |
Similar Documents
| Publication | Publication Date | Title |
|---|---|---|
| CN114065677B (zh) | 用于集成电路硬件设计的故障注入测试的方法和系统 | |
| US8997034B2 (en) | Emulation-based functional qualification | |
| CN1331079C (zh) | 基于块的设计方法 | |
| CN104331546A (zh) | 一种航天器用数字定制集成电路后端版图设计评估方法 | |
| US9424379B2 (en) | Simulation system and method for testing a simulation of a device against one or more violation rules | |
| KR20150145179A (ko) | 정적 타이밍 분석의 타이밍 디레이트 조정방법 | |
| CN112417798A (zh) | 一种时序测试方法、装置、电子设备及存储介质 | |
| CN117113907B (zh) | 一种验证方法、装置、电子设备及可读存储介质 | |
| US8423934B1 (en) | Model validation cockpit | |
| CN110750949A (zh) | 一种基于ibis模型模拟系统级封装剂量率效应的方法 | |
| CN109858097A (zh) | 一种航天器单机测试性评估抽样方法 | |
| US20080126063A1 (en) | Simulation System with Guided Backtracking | |
| CN106886487A (zh) | 用于评价fpga软件可靠性的方法 | |
| CN102467602A (zh) | 检测小延迟缺陷的方法 | |
| CN104461909B (zh) | 一种随机验证评估方法及系统 | |
| CN101763453A (zh) | 规范化ip核评测方法和系统 | |
| Wu et al. | Development, verification and validation of an FPGA-based core heat removal protection system for a PWR | |
| US8782582B1 (en) | Efficient method to analyze RTL structures that cause physical implementation issues based on rule checking and overlap analysis | |
| US9448777B2 (en) | Apparatus and method for generating assertion based on user program code, and apparatus and method for verifying processor using assertion | |
| Li et al. | A study on the assertion-based verification of digital IC | |
| Raju et al. | SRGM with imperfect debugging using capability analysis of log-logistic model | |
| CN109240872A (zh) | 一种芯片验证关键信号覆盖率统计分析方法和存储介质 | |
| CN118569189B (zh) | 电压降处理方法、装置、电子设备和存储介质 | |
| CN118673855B (zh) | 最小脉冲宽度修复方法、装置、电子设备及存储介质 | |
| Rajendran et al. | Topological Ordering Signal Selection Technique for Internet of Things based on Combinational Gate for Visibility Enhancement |
Legal Events
| Date | Code | Title | Description |
|---|---|---|---|
| C06 | Publication | ||
| PB01 | Publication | ||
| SE01 | Entry into force of request for substantive examination | ||
| GR01 | Patent grant | ||
| GR01 | Patent grant | ||
| TR01 | Transfer of patent right | ||
| TR01 | Transfer of patent right |
Effective date of registration: 20180817 Address after: 200436 Room 411, No. three, JIANGCHANG Road, Jingan District, Shanghai, 411 Patentee after: Shanghai wave Cloud Computing Service Co., Ltd. Address before: 100085 floor 1, C 2-1, No. 2, Shang Di Road, Haidian District, Beijing. Patentee before: Electronic information industry Co.,Ltd of the tide (Beijing) |