首页> 外文OA文献 >ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification

【2h】

ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification

机译：aBCD-NL：使用纯布尔模型逼近连续非线性动力系统进行模拟/混合信号验证

页面导航

著录项
相似文献
相关主题

著录项

作者
Aadithya V. Karthik; Sayak Ray; Pierluigi Nuzzo; Alan Mishchenko; Robert Brayton; Jaijeet Roychowdhury;
展开▼
作者单位

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

相似文献

外文文献
中文文献
专利

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. ABCD-NL: Approximating Continuous non-linear dynamical systems using purely Boolean models for analog/mixed-signal verification [C] . Karthik Aadithya V., Ray Sayak, Nuzzo Pierluigi, Asia and South Pacific Design Automation Conference . 2014

机译：ABCD-NL：使用纯布尔模型近似连续的非线性动力系统，用于模拟/混合信号验证
5. Accurate Booleanization of Continuous Dynamics for Analog/Mixed-Signal Design. [D] . Aadithya, Karthik Venkatraman. 2016

机译：用于模拟/混合信号设计的连续动力学的精确布尔化。
6. Verification of a computational cardiovascular system model comparing the hemodynamics of a continuous flow to a synchronous valveless pulsatile flow left ventricular assist device [O] . Jeffrey R. Gohean, Mitchell J. George, Thomas D. Pate, -1

机译：的计算心血管系统模型进行比较的连续流以同步无阀脉动流的血流动力学的验证左心室辅助装置
7. Analog/Mixed-Signal Circuit Verification Using Models Generated from Simulation Traces ⋆ [O] . Scott Little, David Walter, Kevin Jones, 2008

机译：使用模拟迹线生成的模型进行模拟/混合信号电路验证⋆

ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification

著录项

相似文献

相关主题

期刊订阅