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
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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2007 Springer
About this chapter
Cite this chapter
Freibothe, M., Döge, J., Coym, T., Ludwig, S., Straube, B., Kock, E. (2007). Verification-Oriented Behavioral Modeling of NonLinear Analog Parts of Mixed-Signal Circuits. In: Huss, S.A. (eds) Advances in Design and Specification Languages for Embedded Systems. Springer, Dordrecht. https://doi.org/10.1007/978-1-4020-6149-3_3
Download citation
DOI: https://doi.org/10.1007/978-1-4020-6149-3_3
Publisher Name: Springer, Dordrecht
Print ISBN: 978-1-4020-6147-9
Online ISBN: 978-1-4020-6149-3
eBook Packages: EngineeringEngineering (R0)