Verification of modeling: metrics and methodologies

In this chapter we concentrated on checking the correctness or accuracy of analog behavioral models. The authors presented some approaches to judge the verification process using metrics like code or state-space coverage. These coverage methods are new for the analog domain and can be used to substantially increase the confidence in the verification setup and following in the model. Additionally, the authors presented a methodology to generate a model in a complete formal way due to the consideration of the whole reachable state space of the original circuit. This approach reaches a big abstraction in combination with a high speed-up comparable with manually written behavioral models.