International Journal / ABC / Approximating Continuous Non-Linear Dynamical Systems / Computer Sciences / Linear Technology / Cch / Sch / Analog Devices / Hybrid Systems / HP / /
Continent
Asia / Europe / /
Country
United States / / /
Event
Product Issues / Product Recall / /
Facility
University of Utah / The University of California / /
IndustryTerm
industrial-strength verification tool / mixed-signal systems / binary search loop / sub-systems / nonlinear systems / communications sub-system / post-processing / final steady state solution / synthesis algorithm / communications subsystem / Model checking algorithms / verification tool / /
Organization
University of Utah / University of California / Berkeley / Department of Electrical Engineering and Computer Sciences / /
Person
Robert Brayton / Alan Mishchenko / /
Position
Prime Minister / designer / Boolean model / against that predicted by HSPICE / DRAM/memory controller / Corresponding author / /
Product
22nm BSIM4 / Booleanized an AMS system / M-16 / current I0 / Booleanized / /
ProgrammingLanguage
RC / DC / C / Python / C++ / /
ProvinceOrState
Utah / California / /
Technology
ADC / chip design / resulting Boolean model using Algorithm / CAV / Finite State Machine / simulation / html / ABCD-NL synthesis algorithm / Model checking algorithms / CAD / /
ABCD-NL: Approximating Continuous Non-Linear Dynamical Systems using Purely Boolean Models for Analog/Mixed-Signal Verification Aadithya V. Karthik‡ , Sayak Ray, Pierluigi Nuzzo, Alan Mishchenko, Robert Brayton, and Ja