电路硬件仿真模块被配置为标识仿真图的振荡的子图，或者标识仿真图的状态保持的子图。仿真模块标识仿真电路内的一个或多个回路；生成仿真电路的至少一部分的非循环仿真，其中非循环仿真由一个或多个回路断路器表征；至少部分地基于表征非循环仿真的回路断路器的数量n，生成基于硬件的回路检测器电路的回路检测器仿真，其中回路检测器仿真包括振荡检测器或状态保持检测器中的至少一项；以及针对仿真电路的多个输入值，执行回路检测器仿真以生成输出，该输出指示仿真电路的振荡状态或状态保持状态中的至少一项。态保持状态中的至少一项。态保持状态中的至少一项。
【技术实现步骤摘要】
【国外来华专利技术】用于标识状态保持回路和振荡回路的硬件仿真系统和方法
[0001]相关申请的交叉引用
[0002]本申请根据35 USC 119(e)，要求于2018年9月25日提交的美国申请序列号62/735,930的权益，上述申请的全部内容通过引用并入本文。
[0003]本专利技术涉及集成电路仿真，并且更具体地，涉及经由仿真来检测集成电路设计内的回路特性。
[0004]版权声明
[0005]如在美国专利商标局的文件中所显示的，本专利文件的受让人不反对任何人对专利文件本身或专利申请的传真复制，但是保留受版权保护的所有著作中包括的任何内容的所有权利。
[0006]说明书——免责声明
[0007]在以下的
技术介绍
、
技术实现思路
和具体实施方式中，标题不应被解释为是必要的限制。在以下
技术介绍
、
技术实现思路
和具体实施方式中，对任何出版物的引用或标识均不表示与所要求保护或描述的实施例中的任何实施例的现有技术相关。文本全部为斜体的段落表示多个Synopsys专利说明书所共有的文本。
技术介绍
[0008]芯片(例如，集成电路芯片)设计的一个步骤是验证网表的正确性。对网表的模拟是用于设计验证的优选技术，因为使用更多输入向量来提高正确性覆盖范围在计算上是可行的。
[0009]某些网表包括如下的回路，众所周知，由于信号的值可能取决于信号自身，因此这些回路会对使用软件或仿真器来模拟那些网表造成困难。当信号取决于自身时，电路可能会由错误行为表征，诸如振荡的信号输出(由于信号从未稳定而创建未定义的行为)和/或状态保持信号(创建不期望有的与时间有关的相关性)。
[0010]已知回路的静态分析在计算上过于昂贵，以至于无法评估在软件实现的仿真期间，回路是振荡的还是状态保持的。因此，错误回路在芯片设计期间可能不会被注意到，并且可能会使得网表无法操作或难以手动调试。
技术实现思路
[0011]权利要求表示对在本公开内发现的创新、实施例和/或示例中的一个或多个的简要描述。
[0012]某些实施例涉及通过利用硬件仿真实现网表来标识状态保持回路和/或振荡回路的软件仿真配置。某些实施例为回路安装附加硬件逻辑，该附加硬件逻辑不影响原始网表的性能并且仅负责在仿真时检测回路的错误行为(例如，振荡或状态保持)。每当有问题的回路结构被标识时，通知被生成，以将问题通知给用户，以启用用于设计的适当的调试过
程。
[0013]各个实施例涉及用于经由电路仿真来进行电路回路检测的硬件仿真系统，该系统包括至少一个处理器和至少一个存储器，这些存储器存储指令，这些指令利用至少一个处理器使得系统：标识仿真电路内的一个或多个回路；生成仿真电路的至少一部分的非循环仿真，其中非循环仿真由一个或多个回路断路器表征；至少部分地基于表征非循环仿真的回路断路器的数量n，生成基于硬件的回路检测器电路的回路检测器仿真，其中回路检测器仿真包括振荡检测器或状态保持检测器中的至少一项；以及针对仿真电路的多个输入值，执行回路检测器仿真以生成输出，该输出指示仿真电路的振荡状态或状态保持状态中的至少一项。
[0014]在某些实施例中，标识仿真电路内的一个或多个回路包括标识仿真电路的一个或多个强连接组件；并且生成仿真电路的至少一部分的非循环仿真包括生成一个或多个强连接组件中的至少一个强连接组件的非循环仿真。
[0015]在各个实施例中，仿真电路的一个或多个强连接组件中的每一个包括多个顶点和连接多个顶点的多个边；并且生成一个或多个强连接组件中的至少一个强连接组件的非循环仿真包括：使用一个或多个回路断路器来替换一个或多个边，以生成一个或多个强连接组件中的至少一个强连接组件的非循环仿真。
[0016]回路检测器包括原始SCC的2
n
个副本，其回路断路器已经被常数替换，因此产生了非循环电路。
[0017]在各个实施例中，回路检测器仿真包括根据以下等式实现的振荡检测器：
[0018][0019]在某些实施例中，回路检测器仿真包括根据以下等式实现的状态保持检测器：
[0020][0021]各个实施例涉及用于经由电路仿真来进行电路回路检测的方法，该方法包括：标识仿真电路内的一个或多个回路；生成仿真电路的至少一部分的非循环仿真，其中非循环仿真由一个或多个回路断路器表征；至少部分地基于表征非循环仿真的回路断路器的数量n，生成基于硬件的回路检测器电路的回路检测器仿真，其中回路检测器仿真包括振荡检测器或状态保持检测器中的至少一项；以及针对仿真电路的多个输入值，执行回路检测器仿真以生成输出，该输出指示仿真电路的振荡状态或状态保持状态中的至少一项。
[0022]在某些实施例中，标识仿真电路内的一个或多个回路包括标识仿真电路的一个或多个强连接组件；并且生成仿真电路的至少一部分的非循环仿真包括生成一个或多个强连接组件中的至少一个强连接组件的非循环仿真。
[0023]在某些实施例中，仿真电路的一个或多个强连接组件中的每个强连接组件包括多个顶点和连接多个顶点的多个边；并且生成一个或多个强连接组件中的至少一个强连接组件的非循环仿真包括：使用一个或多个回路断路器来替换一个或多个边，以生成一个或多
个强连接组件中的至少一个强连接组件的非循环仿真。
[0024]在各个实施例中，回路检测器仿真包括原始SCC的2
n
个副本，其回路断路器已经被常数替换，因此产生了非循环电路。
[0025]在各个实施例中，回路检测器仿真包括根据以下等式实现的振荡检测器：
[0026][0027]在某些实施例中，回路检测器仿真包括根据以下等式实现的状态保持检测器：
[0028][0029]某些实施例涉及用于电路设计、测试和/或制造的较有效/有益的电子结构，该电子结构包括被配置为执行本文所讨论的功能的多个模块。其他实施例涉及较有效/有益的电子电路，该电子电路包括被配置为执行本文所讨论的功能的多个模块。此外，某些实施例涉及用于电路设计、测试和/或制造的较有效/有益的方法，该方法包括被配置为执行本文所讨论的功能的多个模块。
[0030]各个实施例涉及包括可执行指令的非暂态计算机可读存储介质，可执行指令被配置为在由处理器执行时使得处理器：标识仿真电路内的一个或多个回路；生成仿真电路的至少一部分的非循环仿真，其中非循环仿真由一个或多个回路断路器表征；至少部分地基于表征非循环仿真的回路断路器的数量n，生成基于硬件的回路检测器电路的回路检测器仿真，其中回路检测器仿真包括振荡检测器或状态保持检测器中的至少一项；以及针对仿真电路的多个输入值，执行回路检测器仿真以生成输出，该输出指示仿真电路的振荡状态或状态保持状态中的至少一项。
[0031]根据某些实施例，标识仿真电路内的一个或多个回路包括标识仿真电路的一个或多个强连接组件；并且生成仿真电路的至少一部分的非循环仿真包括生成一个或多个强连接组件中的至少一个强连接组件的非循环仿真。
[0032]在各个实施例中，仿真电路的一个或多个强连接组件中的每个强连接本文档来自技高网...
【技术保护点】
【技术特征摘要】
【国外来华专利技术】1.一种用于经由电路仿真来进行电路回路检测的硬件仿真系统，所述系统包括至少一个处理器和至少一个存储器，所述至少一个存储器存储指令，所述指令利用所述至少一个处理器使得所述系统：标识仿真电路内的一个或多个回路；生成所述仿真电路的至少一部分的非循环仿真，其中所述非循环仿真由一个或多个回路断路器表征；至少部分地基于表征所述非循环仿真的回路断路器的数量n，生成基于硬件的回路检测器电路的回路检测器仿真，其中所述回路检测器仿真包括振荡检测器或状态保持检测器中的至少一项；以及针对所述仿真电路的多个输入值，执行所述回路检测器仿真以生成输出，所述输出指示所述仿真电路的振荡状态或状态保持状态中的至少一项。2.根据权利要求1所述的硬件仿真系统，其中：标识仿真电路内的一个或多个回路包括：标识所述仿真电路的一个或多个强连接组件；生成所述仿真电路的至少一部分的非循环仿真包括：生成所述一个或多个强连接组件中的至少一个强连接组件的非循环仿真。3.根据权利要求2所述的硬件仿真系统，其中：所述仿真电路的所述一个或多个强连接组件中的每个强连接组件包括：多个顶点和连接所述多个顶点的多个边；并且生成所述一个或多个强连接组件中的至少一个强连接组件的非循环仿真包括：使用一个或多个回路断路器来替换一个或多个边，以生成所述一个或多个强连接组件中的所述至少一个强连接组件的所述非循环仿真。4.根据权利要求1所述的硬件仿真系统，其中所述回路检测器仿真包括：所述仿真电路的所述至少一部分的所述非循环仿真的2
n
个副本。5.根据权利要求1所述的硬件仿真系统，其中所述回路检测器仿真包括根据以下等式实现的振荡检测器：6.根据权利要求1所述的硬件仿真系统，其中所述回路检测器仿真包括根据以下等式实现的状态保持检测器：7.一种用于经由电路仿真来进行电路回路检测的方法，所述方法包括：标识仿真电路内的一个或多个回路；生成所述仿真电路的至少一部分的非循环仿真，其中所述非循环仿真由一个或多个回路断路器表征；
至少部分地基于表征所述非循环仿真的回路断路器的数量n，生成基于硬件的回路检测器电路的回路检测器仿真，其中所述回路检测器仿真包括振荡检测器或状态保持检测器中的至少一项；以及针对所述仿真电路的多个输入值，执行所述回路检测器仿真以生成输出，所述输出指示所述仿真电路的振荡状态或状态保持状态中的至少一项。8.根据权利要求7所述的方法，其中：标识仿真电路内的一个或多个回路包括：标识所述仿真电路的一个或多个强连接组件；生成所述仿真电路的至少一部分的非循环仿真包括：生成所述一个或多个强连接组件中的至少一个强连接组件的非循环仿真。9.根据权利要求8所述的方法，其中：所述仿真电路的所述一个或多个强连接组件中的每个强连接组件包括：多个顶点和连接所述多个顶点的多个边；并且生...
【专利技术属性】
技术研发人员：O，
申请(专利权)人：美商新思科技有限公司，
类型：发明
国别省市：
还没有人留言评论。发表了对其他浏览者有用的留言会获得科技券。