Verification of modeling: metrics and methodologies

Autor:	Ahmad Tarraf, Lars Hedrich
Rok vydání:	2020
Předmět:	Correctness Computer engineering Computer science Code (cryptography) Code coverage Process (computing) State space Abstraction (linguistics) Domain (software engineering)
Zdroj:	Modelling Methodologies in Analogue Integrated Circuit Design ISBN: 9781785616952
DOI:	10.1049/pbcs051e_ch5
Popis:	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.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::1e2e5cb98d18510a2a4aad21ac63db63 https://doi.org/10.1049/pbcs051e_ch5 Zobrazit plný text záznamu