DocumentCode
1761974
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
Volume
32
Issue
1
fYear
2015
fDate
Feb. 2015
Firstpage
9
Lastpage
17
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;
fLanguage
English
Journal_Title
Design & Test, IEEE
Publisher
ieee
ISSN
2168-2356
Type
jour
DOI
10.1109/MDAT.2014.2361720
Filename
6917027
Link To Document