da Costa, Antonio Anastasio Bruto ; Dasgupta, Pallab (2014) Formal interpretation of assertion-based features on AMS designs IEEE Design & Test, 32 (1). pp. 9-17. ISSN 2168-2356
Full text not available from this repository.
Official URL: http://ieeexplore.ieee.org/document/6917027/
Related URL: http://dx.doi.org/10.1109/MDAT.2014.2361720
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.
| Item Type: | Article |
|---|---|
| Source: | Copyright of this article belongs to Institute of Electrical and Electronics Engineers. |
| Keywords: | Formal Languages; Integrated Circuits; Verification; Mathematical Logic |
| ID Code: | 100839 |
| Deposited On: | 09 Mar 2018 10:16 |
| Last Modified: | 09 Mar 2018 10:16 |
Repository Staff Only: item control page
