ABCD-NL : Approximating Non-Linear Analog / Mixed-Signal Systems using Purely Boolean Models for High-speed Simulation and Formal Verification

@inproceedings{Karthik2014ABCDNLA,
  title={ABCD-NL : Approximating Non-Linear Analog / Mixed-Signal Systems using Purely Boolean Models for High-speed Simulation and Formal Verification},
  author={Aadithya V. Karthik and Sayak Ray and Pierluigi Nuzzo and Alan Mishchenko and Robert D. Brayton and Jaijeet S. Roychowdhury},
  year={2014}
}
We present ABCD-NL, a technique that approximates non-linear analog circuits using purely Boolean models, to high accuracy. Given an analog/mixed-signal (AMS) system (e.g., a SPICE netlist), ABCD-NL produces a Boolean circuit representation (e.g., an And Inverter Graph, Finite State Machine, or Binary Decision Diagram) that captures the I/O behaviour of the given system, to near-SPICE accuracy, without making any apriori simplifications. The Boolean models produced by ABCD-NL can be used for… CONTINUE READING

Citations

Publications citing this paper.

References

Publications referenced by this paper.
SHOWING 1-10 OF 16 REFERENCES

Analog design challenges in the new era of process scaling. At the 2012 International Workshop on Design Automation for AMS Circuits (co-located with ICCAD)

  • R. Parker
  • 2012
1 Excerpt

Analog design challenges in the new era of process scaling

  • A. Mishchenko
  • 2010

A symbolic methodology for the verification of AMS designs

  • G. Al-Sammane, M. H. Zaki, S. Tahar
  • Proceedings of the ACM Conference on Design…
  • 2007

Similar Papers

Loading similar papers…