Improved model generation and property specification for analog/mixed-signal circuits

Update Item Information
Title Improved model generation and property specification for analog/mixed-signal circuits
Publication Type thesis
School or College College of Engineering
Department Electrical & Computer Engineering
Author Kulkarni, Dhanashree R.
Date 2013-08
Description This document describes an improved method of formal verification of complex analog/mixed-signal (AMS) circuits. Currently, in our LEMA tool, verification properties are encoded using labeled Petri net (LPN). These LPNs are generated manually, a tedious process that requires the user to have considerable familiarity with the tool. To eliminate this time-consuming process, our LEMA tool is extended to include a translator that converts properties written in a property specification language to LPNs. New methods are also implemented to separate the transient period from the stable output period, thus improving the generated model. Also, the current methodology generates the circuit models for the input values used during the simulation of the circuit. So, models generated for other control input values are not accurate. In this case, accuracy of the generated models is improved by using a linear abstraction method like interpolation.
Type Text
Publisher University of Utah
Subject AMS; Analog; Circuits; Formal verification; Mixed signal; Modeling
Dissertation Institution University of Utah
Dissertation Name Master of Science
Language eng
Rights Management Copyright © Dhanashree R. Kulkarni 2013
Format application/pdf
Format Medium application/pdf
Format Extent 512,117 bytes
Identifier etd3/id/2548
ARK ark:/87278/s6f50x9g
Setname ir_etd
ID 196124
Reference URL https://collections.lib.utah.edu/ark:/87278/s6f50x9g
Back to Search Results