Title :
Formal Interpretation of Assertion-Based Features on AMS Designs
Author :
Bruto da Costa, Antonio Anastasio ; Dasgupta, Parthasarathi
Author_Institution :
Indian Inst. of Technol., Kharagpur, Kharagpur, India
Abstract :
The paper proposes the adoption of formal methods for modeling of analog functions. It explains how assertions can be overlaid onto the range of values of individual features in an analog function, and proceeds toward building a mathematical (hybrid automata) model to represent and analyze them. An LDO regulator and a battery charger are used as examples.
Keywords :
integrated circuit design; integrated circuit modelling; mixed analogue-digital integrated circuits; AMS designs; analog functions; assertion-based features; formal interpretation; formal methods; hybrid automata; mathematical model; Analog circuits; Automata; Batteries; Computational modeling; Cost accounting; Integrated circuit modeling; Mixed analog digital integrated circuits; Reactive power; System-on-chip; Formal Languages; Integrated Circuits; Mathematical logic; Verification;
Journal_Title :
Design & Test, IEEE
DOI :
10.1109/MDAT.2014.2361720
