A formal approach for specification-driven AMS behavioral model generation

Mukherjee, Subhankar ; Ain, Antara ; Panda, S. K. ; Mukhopadhyay, Rajdeep ; Dasgupta, Pallab (2009) A formal approach for specification-driven AMS behavioral model generation In: 2009 Design, Automation & Test in Europe Conference & Exhibition, 20-24 April 2009, Nice, France.

Full text not available from this repository.

Official URL: http://ieeexplore.ieee.org/document/5090902/

Related URL: http://dx.doi.org/10.1109/DATE.2009.5090902


Behavioral models for analog and mixed signal (AMS) designs are developed at various levels of abstraction, using various types of languages, to cater to a wide variety of requirements, ranging from verification, design space exploration, test generation, and application demonstration. In this paper we present a high-level formalism for capturing the AMS design intent from the specification and present techniques for automatic generation of AMS behavioral models. The proposed formalism is a language independent one, yet the design intent is modeled at a level of abstraction which enables easy translation into common modeling standards. We demonstrate the translation into VerilogA and SPICE, which are fundamentally different standards for behavioral modeling. The proposed approach is demonstrated using a family of Low Dropout Regulators (LDO) as the reference.

Item Type:Conference or Workshop Item (Paper)
Source:Copyright of this article belongs to Institute of Electrical and Electronics Engineers.
Keywords:Low Dropout Regulators; Specification-driven AMS Behavioral Model Generation; Analog and Mixed Signal; High-level Formalism
ID Code:101665
Deposited On:12 Dec 2016 10:02
Last Modified:12 Dec 2016 10:02

Repository Staff Only: item control page