[发明专利]一种检查模型连续性方法

说明书

一种检查模型连续性方法，包括以下步骤：利用Verilog‑A Compiler，分别进行模型电流和模型电荷连续性检查；依据电路矩阵数值解，进行模型电流和电荷连续性检查；汇报检查结果信息。本发明的检查模型连续性方法，利用Verilog‑A Compiler对模型的解析公式进行分析，可以快速的检查分段偏压处的连续性；对仿真过程中的电流和电荷数值进行动态检查；动态检查可以快速检查出不连续的偏压点，并汇报不连续点信息，为仿真器开发人员提供分析问题的洞察力，提高软件开发效率；先静态检查后动态检查，可避免过多的检查步骤。

技术领域

本发明涉及集成电路设计自动化技术领域。特别涉及一种集成电路设计自动化的仿真中检查器件模型连续性的方法。

背景技术

半导体工艺尺寸不断缩小使得一块芯片上集成的器件数量越来越多，这对集成电路设计自动化(Electronic Design Automation,EDA)仿真软件的速度和精度提出了较高的要求。集成电路仿真软件通过计算机程序自动地完成构造器件解析模型、建立与求解矩阵方程、整理与输出仿真结果等工作，从而为集成电路设计与验证提供可视化的数值依据。器件模型通过参数提取与拟合实现对真实电路器件的模拟；器件模型既是连接Foundry先进工艺、电路设计和电路仿真软件的桥梁，也是衡量仿真软件准确度与实用度的一个重要方面。所以在整个仿真过程中，准确地建立器件模型是保证仿真准确与高效的一个关键因素。

但是在实际的建模工作中，由于器件模型参数众多、高阶效应难以准确刻画、解析公式与偏压相关或人为建模失误等因素，器件解析模型会出现电流(Current,I)或电荷(Charge,Q)不连续的情况。如果模型不连续，后续求解矩阵的过程就会出现收敛困难，迭代次数增加，进而影响电路的仿真速度；也有可能引起矩阵求解不正确或无法收敛，最终导致仿真无法正常进行。所以在建模与仿真过程中保证模型连续性是非常重要的。

发明内容

为了解决现有技术存在的不足，本发明的目的在于提供一种检查模型连续性方法，在集成电路仿真过程中对器件模型的解析公式与矩阵求解得到的电流、电荷数值分别进行检查与判断并提供不连续点的定位，从而提高电路仿真的效率与准确性。

为实现上述目的，本发明提供的检查模型连续性方法，包括以下步骤：

利用Verilog-A Compiler，分别进行模型电流和模型电荷连续性检查；

依据电路矩阵数值解，进行模型电流和电荷连续性检查；

汇报检查结果信息。

进一步地，在所述利用Verilog-A Compiler进行模型电流连续性检查的步骤之后，还包括，

如模型电流和模型电荷连续性检查结果之一为不连续，则认为模型为不连续模型。

进一步地，在所述依据电路矩阵数值解，进行模型电流和电荷连续性检查的步骤之后，还包括，

如模型电流和模型电荷连续性检查结果均为连续，则认为模型为连续模型。

进一步地，所述利用Verilog-A Compiler进行模型电流连续性检查的步骤，还包括，

利用Verilog-A Compiler对器件模型的电流解析公式进行分析，获取与偏压相关的分段函数和分段点的临界偏压；

将所述分段点的临界偏压值分别代入分段函数，计算得到两个电流值；

将所述两个电流值进行比较，如两个电流值的差超出了允许的绝对误差或相对误差，则判断为不连续，记录不连续点的偏压值；如两个电流值的差小于绝对误差和相对误差，则判断为连续。

进一步地，所述利用Verilog-A Compiler进行模型电荷连续性检查的步骤，还包括，