首页> 外文学位 >Analog and Mixed Signal Verification Using Satisfiability Solver on Discretized Models

【24h】

Analog and Mixed Signal Verification Using Satisfiability Solver on Discretized Models

机译：在离散模型上使用可满足求解器的模拟和混合信号验证

获取原文

获取原文并翻译 | 示例

页面导航

著录项
相似文献
相关主题

著录项

作者
Wanjale, Nikita Ramesh.;
展开▼
作者单位

University of Nevada Las Vegas.;

展开▼
授予单位 University of Nevada Las Vegas.;
学科
学位 M.S.E.E.
年度 2017
页码 50 p.
总页数 50
原文格式 PDF
正文语种 eng
中图分类 AAI10283688;
关键词
Analog verification;

机译：模拟验证;

相似文献

外文文献
中文文献
专利

1. MIXED-SIGNAL SOC VERIFICATION USING ANALOG BEHAVIORAL MODELS [J] . Ql WANG Electrical Design News . 2012,第14期

机译：使用模拟行为模型的混合信号SOC验证
2. ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES [J] . SCOTT LITTLE, DAVID WALTER, KEVIN JONES, International Journal of Foundations of Computer Science . 2010,第2期

机译：使用模拟轨迹生成的模型进行模拟/混合信号电路验证
3. ANALOG/MIXED-SIGNAL CIRCUIT VERIFICATION USING MODELS GENERATED FROM SIMULATION TRACES [J] . SCOTT LITTLEDAVID WALTERKEVIN JONES and CHRIS MYERSALPER SEN International Journal of Foundations of Computer Science . 2010,第2期

机译：使用从模拟轨迹生成的模型对模拟/混合信号电路进行验证
4. Analog and Mixed-Signal Verification Using Satisfiability Solver on Discretized Models [C] . Henry Selvaraj, Nikita Ramesh Wanjale International Conference on Systems Engineering . 2017

机译：在离散模型上使用可满足性求解器进行模拟和混合信号验证
5. Efficient modeling and verification of analog/mixed-signal circuits using labeled hybrid Petri nets. [D] . Little, Scott R. 2008

机译：使用标记的混合Petri网对模拟/混合信号电路进行高效建模和验证。
6. Discrete Stochastic Analogs of Erlang Epidemic Models [O] . Wayne M. Getz, Eric R. Dougherty -1

机译：Erlang流行病模型的离散随机类似物
7. Studio ed applicazione delle tecniche di Real Number Modeling e Assertion Based Verification al progetto di circuiti mixed-signal. Study and application of Real Number Modeling and Assertion Based Verification techniques to mixed-signal circuit design [O] . Vallese Pietro 2014

机译：Studio应用了基于实数模型的验证和基于断言的混合信号验证。基于实数建模与断言的验证技术在混合信号电路设计中的研究与应用
8. Modeling and Design for Reduced Cross Talk in Mixed Signal Analog/ Digital IC Packages for Wireless Applications [R] . Neikerk, D. P. , Xu, G. , Demkowicz, L. 1999

机译：用于无线应用的混合信号模拟/数字IC封装中减少串扰的建模和设计

Analog and Mixed Signal Verification Using Satisfiability Solver on Discretized Models

著录项

相似文献

相关主题

期刊订阅