用于功能对等检测中的仿真方法技术

本发明专利技术涉及一种功能对等检测方法，包括接收单元列表，接收单元列表中的单元的模拟约束以生成全覆盖输入激励；根据行为代码使用全覆盖输入激励执行行为级仿真，以生成模拟输出值的行为级仿真结果；根据电路级网表使用相同的全覆盖输入激励执行电路级仿真，以产生模拟输出值的电路级仿真结果；并比较行为级仿真结果和电路级仿真结果，以生成模拟值自动比较的比较报告。

Simulation Method for Functional Peer-to-Peer Detection

【技术实现步骤摘要】
【国外来华专利技术】用于功能对等检测中的仿真方法专利
本专利技术涉及电子电路的计算机辅助设计，并且尤其涉及一种用于功能对等检测的仿真方法。专利技术背景用于设计和制造集成电路的设计流程通常需要许多阶段。首先，设计晶体管级电路并在其上执行电路级仿真以符合规范。随后，使用硬件描述语言(HDL)中的行为代码比如超高速集成电路HDL(VHDL)或VerilogHDL来执行全芯片模拟和/或混合信号电路的行为级仿真。在电路级仿真中，根据晶体管，电容器，电阻器和导线的电路原理图描述所述电路。在所述行为级仿真中，根据电路输入和输出的行为描述所述电路。所述行为代码的准确性可能会影响所述全芯片Verilog行为级仿真的准确性，效率和覆盖范围。为了确保所述行为代码的准确性，需要在行为代码和电路原理图之间执行所述功能对等检测。所述功能对等检测的一种形式是将行为代码的仿真结果与晶体管级电路的仿真结果进行比较。电子设计自动化(EDA)工具通常用于执行功能对等检测。传统地，电路设计者基于对电路设计功能的工程理解手动创建用于行为级仿真的输入激励，并且在行为级建模中采用逻辑值，导致仿真中输入组合的不完全覆盖和模拟值检测的缺乏。因此，需要一种仿真方法来自动化功能对等检测过程，提供输入激励的全覆盖，并且在行为级建模和仿真中考虑电路设计的模拟值，并且在行为级仿真和所述电路级仿真之间执行所述模拟值自动比较。
技术实现思路
根据本专利技术的一个方面，功能对等检测方法包括：接收单元列表中单元的模拟设计约束；根据该模拟设计约束生成全覆盖输入激励；使用该全覆盖输入激励根据所述行为代码执行行为级仿真以生成行为级仿真结果；使用该全覆盖输入激励根据所述电路级网表执行电路级仿真以生成电路级仿真结果；并且比较所述行为级仿真结果和所述电路级仿真结果以生成模拟值自动比较的比较报告。根据本专利技术的另一个方面，提供了一种执行功能对等检测的计算机。该计算机包括：配置为执行计算机程序的处理器，和耦合到所述处理器并且配置为存储所述可执行计算机程序的非暂时性计算机可读存储介质。所述计算机程序包括：配置为接收单元列表和该单元列表中单元的模拟设计约束，并且根据该模拟设计约束来生成全覆盖输入激励的输入模块；配置为使用所述全覆盖输入激励根据所述行为代码执行行为级仿真以生成行为级仿真结果的行为级仿真器；和配置为使用所述全覆盖输入激励根据所述电路级网表执行电路级仿真来生成电路级仿真结果的电路级仿真器，并且比较所述行为级仿真结果和所述电路级仿真结果来生成模拟值自动比较的比较报告。在阅读了在各种不同的附图和图中阐明的优选实施例的详细描述后，本专利技术这些和其他目标对于那些本领域的普通技术人员将无疑变得显而易见。附图简要说明图1是根据本专利技术的一个实施例的对等检测系统。图2是图1中对等检测系统采用的行为仿真测试台。图3是图1中对等检测系统采用的SPICE模板。图4是图1中对等检测系统采用的仿真方法的流程图。图5示出了将模拟约束应用到图1中的对等检测系统的行为级仿真的三个实施例。图6示出了由图1中对等检测系统生成的用于实值自动比较的示例性行为级仿真结果文件。图7示出了在图1对等检测系统中使用了检测窗口的用于实值自动比较的示例性功能对等检测。图8示出了由图1对等检测系统生成的用于逻辑值自动比较的示例性行为级仿真结果文件。图9示出了按照本专利技术的一个实施例使用检测窗口的用于逻辑值自动比较的示例性功能对等检测。图10是对等检测系统1采用的功能对等检测方法10的流程图。图11是根据本专利技术的一个实施例使用模拟约束用来执行功能对等检测的计算机程序11的示意图。具体实施方式如本文中使用的，术语“电路级设计”是指通过电子部件和互联来表示的电路或系统，和术语“电路级仿真”是指对所述电路级设计的所有节点的模拟波形的仿真。所述电路级设计和所述电路级仿真可以分别由电路级网表和具有集成电路加重(SPICE)仿真器的仿真程序来描述和仿真。所述电路级网表包括电路级设计中的电子部件列表和连接这些电子部件的节点列表，并且可以是SPICE网表。所述SPICE仿真器可以是FastSPICE工具比如SpectreXPS,FineSim-Pro,或CustomSim。术语“行为级设计”是指依照所述电路或所述系统的输入激励由输出响应的行为定义的电路或系统，和术语“行为级仿真”是指对所述行为级设计的所有节点数字波形的仿真。所述行为级设计和所述行为级仿真可以分别由硬件描述语言(HDL)比如超高速集成电路HDL(VHDL)和VerilogHDL以及相应的HDL仿真器来建模和仿真。图1是根据本专利技术的一个实施例的对等检测系统1。该对等检测系统1包括：对等检测工具10，单元列表12，单元库14，行为级仿真器16和电路级仿真器18。该对等检测系统1利用对等检测工具10来自动化全芯片电路中的模拟和/或混合信号单元的行为级设计和电路级设计之间的功能对等检测，为所述行为级仿真和所述电路级仿真生成所述全覆盖输入激励并且使用来自所述行为级仿真和所述电路级仿真的仿真输出的模拟值来执行功能对等检测。可以从全芯片模拟电路或混合信号电路中提取单元列表12。单元库14可能包括用于所述全芯片电路的行为代码格式和/或SPICE网表格式的标准单元的集合。行为级仿真器16可以是Verilog仿真器以及电路级仿真器18可以是FastSPICE仿真器。将对等检测工具10耦合到单元列表12，单元库14，行为级仿真器16和电路级仿真器18来获取单元列表12，从单元库14获取由行为代码表示的所需标准单元，在行为级仿真器16上执行所述行为级仿真，之后，从单元库14获取SPICE网表，在电路级仿真器18上执行所述电路级仿真并且在电路级仿真器18上比较仿真结果，以及从电路级仿真器18处接收比较报告。对等检测工具10包括输入/输出(IO)配置表100，行为仿真测试台102，SPICE模板104和比较报告106。IO配置表100包括在单元列表12中每个单元的输入引脚和输出引脚的列表及其设计约束11，并且可以由IO配置表脚本根据单元列表12生成并且通过从输入设备比如键盘、触摸屏、麦克风等接收的用户输入修改。IO配置表100可以用于生成用于所述行为级仿真和所述电路级仿真的输入激励和其他配置文件。设计约束11可以是逻辑值或模拟值。表1和表2示出了IO配置表100的实施例并且分别包括了单元的输入和输出引脚的输入激励约束和输出比较约束。可以组合表1和表2来形成一个IO配置表。表1表2表1示出了当所述引脚被用作输入引脚时所选单元每个引脚的约束。所述引脚的约束包括IO类型、端口类型、实际电压、输入高阈值电压Vih、输入低阈值电压Vil、强制性输入、限制性输入、优先级、周期、未用引脚和电源引脚。表2示出了当所述引脚被用作输出引脚时所选单元每个引脚的约束。所述引脚的约束包括IO类型、端口类型、实际电压、输出高阈值电压Voh、输出低阈值电压Vol、未用引脚、输出负载、“Z”状态检测、“X”“状态检测和仿真精度。所述IO类型指示引脚是输入型、输出型或输入/输出型。所述端口类型指定引脚的输入/输出型的端口类型是输入型或输出型，并且对于所述引脚的所述输入型或所述输出型，与引脚的IO类型相同。所述输入类型的实际电压指定是否在所述行为级仿真中采用具有输入高阈值电本文档来自技高网...

【技术保护点】
1.一种功能对等检测方法，包括：接收单元列表；接收所述单元列表中的单元的模拟约束；使用所述模拟约束执行行为级仿真，以生成行为级仿真结果；根据所述行为级仿真结果执行电路级仿真，以生成电路级仿真结果；以及比较所述行为级仿真结果和所述电路级仿真结果，以生成比较报告。

【技术特征摘要】
【国外来华专利技术】1.一种功能对等检测方法，包括：接收单元列表；接收所述单元列表中的单元的模拟约束；使用所述模拟约束执行行为级仿真，以生成行为级仿真结果；根据所述行为级仿真结果执行电路级仿真，以生成电路级仿真结果；以及比较所述行为级仿真结果和所述电路级仿真结果，以生成比较报告。2.根据权利要求1所述的方法，其中：所述模拟约束是针对所述单元列表中的所述单元的输入引脚的IO类型、端口类型、实际电压、输入高阈值电压、输入低阈值电压、强制性输入、限制性输入、优先级、周期、未用引脚、和电源引脚，或针对所述单元列表中的所述单元的输出引脚的IO类型、端口类型、实际电压、未用引脚、输出负载、和IO类型的更改；和使用所述仿真约束执行所述行为级仿真包括：根据所述模拟约束生成模拟输入激励；和使用所述模拟输入激励执行所述行为级仿真，以生成模拟输出响应作为所述行为级仿真结果。3.根据权利要求1所述的方法，还包括：根据所述单元列表生成输入/输出(IO)配置表；和使用所述模拟约束修改所述IO配置表；其中使用所述模拟约束执行所述行为级仿真包括：根据所述修改的IO配置表生成全覆盖模拟输入激励；和使用所述全覆盖模拟输入激励执行所述行为级仿真，以生成模拟输出响应作为所述行为级仿真结果。4.根据权利要求3所述的方法，还包括：根据所述单元列表生成行为代码；和根据所述修改的IO配置表生成监视配置；其中使用所述输入激励执行所述行为级仿真以生成所述模拟输出响应作为所述行为级仿真结果包括：将所述输入激励应用于由所述行为代码建模的单元，以从所述监视配置指定的输出引脚捕获输出信号。5.根据权利要求3所述的方法，还包括：根据所述修改的IO配置表生成电路级仿真配置；其中根据所述修改的IO配置表执行电路级仿真，以生成所述模拟输出响应作为所述电路级仿真结果包括：根据电路级网表和所述电路级仿真配置执行所述电路级仿真，以生成所述电路级仿真结果。6.根据权利要求1所述的方法，其中：所述单元的所述模拟约束指定来自所述单元的输出引脚的输出信号的检测窗口；和比较所述行为级仿真结果和所述电路级仿真结果，以生成所述比较报告包括：在所述检测窗口中比较所述行为级仿真结果和所述电路级仿真结果。7.根据权利要求1所述的方法，其中：所述单元的所述模拟约束指定在检测窗口中所述单元的输出信号的容差；所述输出信号是来自所述单元的输出引脚的输出；和比较所述行为级仿真结果和所述电路级仿真结果以生成所述比较报告包括：在所述检测窗口中确定所述行为级仿真结果中的输出信号和所述电路级仿真结果中的输出信号的差值；和当所述差值小于所述容差时，在所述比较结果中指示所述输出引脚的功能对等检测成功。8.根据权利要求7所述的方法，其中所述容差是相对容差。9.根据权利要求7所述的方法，其中所述容差是绝对容差。10.根据权利要求1所述的方法，还包括接收所述单元列表中的所述单元的第二约束；其中所述单元的所述第二约束指定来自所述单元的输出引脚的输出信号是浮动的；和比较所述行为级仿真结果和所述电路级仿真结果以生成所述比较报告包括：当所述行为级仿真结果中的输出信号和所述电路级仿真结果中的输出信号都是浮动的时，在所述比较报告中指示所述引脚的功能对等检测成功。11.根据权利要求1所述的方法，还包括接收所述单元列表中的所述单元的第二约束；其中所述单元的所述第二约束指定来自所述单元的输出引脚的输出信号由多个信号源驱动；和比较所述行为级仿真结果和所述电路级仿真结果以生成所述比较报告包括：当所述行为级仿真结果中的输出信号和所述电路级仿真结果中的输出信号都由多个...

【专利技术属性】
技术研发人员：廖璐，王美，李跃平，
申请(专利权)人：长江存储科技有限责任公司，
类型：发明
国别省市：湖北,42