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

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

Peer to peer function detection in simulation

【技术实现步骤摘要】
用于功能对等检测中的仿真方法本申请是申请日为2019年5月9日、申请号为201980000895.X，专利技术名称为“用于功能对等检测中的仿真方法”的专利技术专利的分案申请。专利
本专利技术涉及电子电路的计算机辅助设计，并且尤其涉及一种用于功能对等检测的仿真方法。专利技术背景用于设计和制造集成电路的设计流程通常需要许多阶段。首先，设计晶体管级电路并在其上执行电路级仿真以符合规范。随后，使用硬件描述语言(HDL)中的行为代码比如超高速集成电路HDL(VHDL)或VerilogHDL来执行全芯片模拟和/或混合信号电路的行为级仿真。在电路级仿真中，根据晶体管，电容器，电阻器和导线的电路原理图描述所述电路。在所述行为级仿真中，根据电路输入和输出的行为描述所述电路。所述行为代码的准确性可能会影响所述全芯片Verilog行为级仿真的准确性，效率和覆盖范围。为了确保所述行为代码的准确性，需要在行为代码和电路原理图之间执行所述功能对等检测。所述功能对等检测的一种形式是将行为代码的仿真结果与晶体管级电路的仿真结果进行比较。电子设计自动化(EDA)工具本文档来自技高网...

【技术保护点】
1.一种功能对等检测方法，包括：/n接收单元列表；/n接收所述单元列表中的单元的模拟约束；/n根据所述模拟约束生成全覆盖输入激励；/n使用所述全覆盖输入激励，根据行为级设计的行为代码来执行行为级仿真，以生成行为级仿真结果；/n使用所述全覆盖输入激励，根据电路级网表执行电路级仿真，以生成电路级仿真结果；以及/n比较所述行为级仿真结果和所述电路级仿真结果，以生成模拟值自动比较的比较报告。/n

【技术特征摘要】
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.根据权利要求1所述的方法，还包括接收所述单元列表中的所述单元的第二约束；
其中所述单元的所述第二约束指定来自所述单元的输出引脚的输出信号是浮动的；和
比较所述行为级仿真结果和所述电路级仿真结果以生成所述比较报告包括：
当所述行为级仿真结果中的输出信号和所述电路级仿真结果中的输出信号都是浮动的时，在所述比较报告中指示所述引脚的功能对等检测成功。


10.根据权利要求1所述的方法，还包括接收所述单元列表中的所述单元的第二约束；
其中所述单元的所述第二约束指定来自所述单元的输出引脚的输出信号由多个信号源驱动；和
比较所述行为级仿真结果和所述电路级仿真结果以生成所述比较报告包括：

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