首页> 外文OA文献 >Verification of analog/mixed-signal circuits using labeled hybrid Petri nets

【2h】

Verification of analog/mixed-signal circuits using labeled hybrid Petri nets

机译：使用标记的混合petri网验证模拟/混合信号电路

页面导航

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

著录项

作者
Scott Little; Nicholas Seegmiller; David Walter; Chris Myers; Tomohiro Yoneda;
展开▼
作者单位

展开▼
年度 2013
总页数
原文格式 PDF
正文语种
中图分类

相似文献

外文文献
中文文献
专利

1. Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets [J] . Little S., Walter D., Myers C., Computer-Aided Design of Integrated Circuits and Systems, IEEE Transactions on . 2011,第4期

机译：使用标记混合Petri网验证模拟/混合信号电路
2. Verifying nonlinear analog and mixed-signal circuits with inputs [J] . Chuchu Fan, Yu Meng, Jürgen Maier, IFAC PapersOnLine . 2018,第16期

机译：使用输入验证非线性模拟和混合信号电路
3. Verification of Analog/Mixed-Signal Circuits Using Symbolic Methods [J] . Walter D., Little S., Myers C., IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems . 2008,第12期

机译：使用符号方法验证模拟/混合信号电路
4. Verification of Analog/Mixed-Signal Circuits Using Labeled Hybrid Petri Nets [C] . Scott Little, Nicholas Seegmiller, David Walter, IEEE/ACM International Conference on Computer Aided Design . 2006

机译：使用标记的混合Petri网验证模拟/混合信号电路
5. Efficient modeling and verification of analog/mixed-signal circuits using labeled hybrid Petri nets. [D] . Little, Scott R. 2008

机译：使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
6. Modeling and Experimental Demonstration of a Hopfield Network Analog-to-Digital Converter with Hybrid CMOS/Memristor Circuits [O] . Xinjie Guo, Farnood Merrikh-Bayat, Ligang Gao, 2015

机译：具有混合CMOS /忆阻器电路的Hopfield网络模数转换器的建模和实验演示
7. Verification of analog/mixed-signal circuits using labeled hybrid petri nets [O] . Scott Little, Nicholas Seegmiller, David Walter, 2006

机译：使用标记的混合petri网验证模拟/混合信号电路

Verification of analog/mixed-signal circuits using labeled hybrid Petri nets

著录项

引文网络

相似文献

相关主题

期刊订阅