Framework for Formally Verifying Analog and Mixed-Signal Designs

Autor:	Ghiath Al-Sammane, Osman Hasan, Mohamed H. Zaki, Sofiène Tahar
Rok vydání:	2015
Předmět:	Model checking Automated theorem proving Analogue electronics Programming language Computer science HOL Mixed-signal integrated circuit Symbolic computation computer.software_genre Formal verification Higher-order logic computer
Zdroj:	Computational Intelligence in Analog and Mixed-Signal (AMS) and Radio-Frequency (RF) Circuit Design ISBN: 9783319198712
DOI:	10.1007/978-3-319-19872-9_5
Popis:	This chapter proposes a complementary formal-based solution to the verification of analog and mixed-signal (AMS) designs. The authors use symbolic computation to model and verify AMS designs through the application of induction-based model checking. They also propose the use of higher order logic theorem proving to formally verify continuous models of analog circuits. To test and validate the proposed approaches, they developed prototype implementations in Mathematica and HOL and target analog and mixed-signal systems such as delta-sigma modulators.
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::7880402c829741b97981556f4aac5ce4 https://doi.org/10.1007/978-3-319-19872-9_5 Zobrazit plný text záznamu