Formally Verifying Transfer Functions of Linear Analog Circuits

Syeda Hira Taqdees; Osman Hasan

首页> 外文期刊>Design & Test of Computers, IEEE >Formally Verifying Transfer Functions of Linear Analog Circuits

【24h】

Formally Verifying Transfer Functions of Linear Analog Circuits

机译：正式验证线性模拟电路的传递函数

获取原文

获取原文并翻译 | 示例

开具论文收录证明 >>

页面导航

摘要
著录项
引文网络
相似文献
相关主题

摘要

This article presents an approach to extend mathematical formal analysis towards verification of linear analog circuits.

机译：本文提出了一种将数学形式分析扩展到线性模拟电路验证的方法。

著录项

来源
《Design & Test of Computers, IEEE》 |2017年第5期|30-37|共8页
作者
Syeda Hira Taqdees; Osman Hasan;
展开▼
作者单位

National University of Sciences and Technology (NUST);

School of Electrical Engineering and Computer Science, NUST, H12, Islamabad, Pakistan;

展开▼
收录信息美国《科学引文索引》(SCI);美国《工程索引》(EI);
原文格式 PDF
正文语种 eng
中图分类
关键词
Analog circuits; Transfer functions; Laplace equations; Analytical models; Mathematical model; Computational modeling; Formal verification;

机译：模拟电路;传递函数;拉普拉斯方程;分析模型;数学模型;计算模型;形式验证;

相似文献

外文文献
中文文献
专利

1. Exploiting bounds optimization for the semi-formal verification of analog circuits [J] . Lahiouel Ons, Aridhi Henda, Zaki Mohamed H., Integration . 2017,第sepa期

机译：利用边界优化进行模拟电路的半形式验证
2. Simulation-Assisted Formal Verification of Nonlinear Mixed-Signal Circuits With Bayesian Inference Guidance [J] . Yin L., Deng Y., Li P. IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2013,第7期

机译：贝叶斯推理指导的非线性混合信号电路的仿真辅助形式验证
3. Formal Verification of Analog and Mixed Signal Designs Using SPICE Circuit Simulation Traces [J] . Kusum Lata, Subir K. Roy Journal of Electronic Testing: Theory and Applications: Theory and Applications . 2013,第5期

机译：使用SPICE电路仿真轨迹对模拟和混合信号设计进行形式验证
4. Piecewise linear modeling of nonlinear devices for formal verification of analog circuits [C] . Zhang Yan, Sankaranarayanan Sriram, Somenzi Fabio 2012 Formal Methods in Computer-Aided Design. . 2012

机译：用于模拟电路形式验证的非线性设备的分段线性建模
5. Efficient, sound formal verification for analog/mixed-signal circuits [D] . Fisher, Andrew N. 2015

机译：高效，声音正式验证模拟/混合信号电路
6. Nonlinear dynamics based machine learning: Utilizing dynamics-based flexibility of nonlinear circuits to implement different functions [O] . Behnam Kia, Allen Mendes, Akshay Parnami, 2020

机译：基于非线性动力学的机器学习：利用基于动态的非线性电路的灵活性实现不同的功能
7. A formal approach to nonlinear analog circuit verification [O] . Lars Hedrich, Erich Barke 1995

机译：非线性模拟电路验证的正式方法
8. MLP: String-Functional Semantics and Boyer-Moore Mechanization for the Formal Verification of Synchronous Circuits [R] . Bronstein, A. 1989

机译：mLp：用于同步电路形式验证的字符串功能语义和Boyer-moore机械化

Formally Verifying Transfer Functions of Linear Analog Circuits

摘要

著录项

引文网络

相似文献

相关主题

期刊订阅