技术论文

基于,正式的等价性检验方法

受欢迎程度

一个新的研究论文题为“系统级和SPICE-Level模型的线性电路的等价性检验”被不莱梅大学的研究人员发表,DFKI GmbH是一家。

文摘:
“由于模拟电路的复杂度的增加和集成到芯片系统(SoC),模拟电路设计和验证产业将大大受益于扩大使用SystemC AMS系统级方法。这些可以提供速度增加超过100000×SPICE-level模拟相比,允许在系统级与数字工具的互操作性。然而,关键障碍的扩张系统级模拟电路的工具是缺乏信心实现SystemC AMS系统级模型。功能对等的单身拉普拉斯传递函数(LTF)系统级模型各自最近SPICE-level模型被成功的证明。然而,这显然是不够的,因为复杂的系统包括多个LTF模块。在本文中,我们超越单一LTF模型,即。,我们开发一种新型的基于图的方法正式检查等价之间的复杂的系统级和SPICE-level表示对于单变量线性模拟电路的输出,如高通滤波器(高通滤波器)。为了实现这一点,首先,我们引入一个规范化的形式表示信号流图(SFG),用于功能映射两个表示从独立建模的水平。这个规范表示由输入和输出节点和它们之间的一个边缘LTF作为它的重量。第二,我们创建一个SFG表示为线性图建模SPICE-level模型,而对于系统级模型提取的SFG行为描述。 We then transform the SFG representations into the canonical representation by utilizing three graph manipulation techniques, namely node removal, parallel edge unification, and reflexive edge elimination. This allows us to establish functional equivalence between complex system-level models and SPICE-level models. We demonstrate the applicability of the proposed methodology by successfully applying it to complex circuits.”

找到开放获取这里的技术论文。2022年6月出版。

Coşkun kc;哈桑,m;Drechsler, r .等价线性电路的检查系统级和SPICE-Level模型。2022芯片,1,54 - 71。https://doi.org/10.3390/chips1010006。



留下一个回复


(注意:这个名字会显示公开)

Baidu