Advertisement

Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits

  • Martin Freibothe
  • Jens Döge
  • Torsten Coym
  • Stefan Ludwig
  • Bernd Straube
  • Ernst Kock

In this work, an approach to the “verification-oriented” modeling of the analog parts’ behavior of mixed-signal circuits is presented. Starting from a continuoustime, continuous-valued behavioral representation of an analog part in terms of a differential-algebraic equation system, a discrete-time, discrete-valued behavioral model is derived. This kind of model both captures dynamic aspects of the analog behavior and can be implemented using the synthesizable subset of a hardware description language like VHDL. With the help of the proposed approach, the continuous-time, continuous-valued analog parts’ behavioral descriptions can be replaced by digital behavioral models leading to a verification-oriented model of the underlying mixed-signal circuit. The resulting model can be formally verified using established methods and tools from formal digital verification. Keywords Behavioral modeling, mixed-signal verification, semiformal methods

Keywords

Analog Component Analog Behavior Hybrid Automaton Analog Part Hardware Description Language 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer 2007

Authors and Affiliations

  • Martin Freibothe
    • 1
  • Jens Döge
    • 1
  • Torsten Coym
    • 1
  • Stefan Ludwig
    • 1
  • Bernd Straube
    • 1
  • Ernst Kock
    • 2
  1. 1.Branch Lab Design AutomationFraunhofer-Institut für Integrierte Schaltungen IISGermany
  2. 2.Infineon Technologies AG

Personalised recommendations