Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces

Lata, Kusum and Roy, Subir K and Jamadagni, HS (2009) Towards formal verification of analog mixed signal designs using SPICE circuit simulation traces. In: 2009. ASQED 2009. 1st Asia Symposium on Quality Electronic Design, 15-16 July 2009, Kuala Lumpur.

PDF Towards_Formal.pdf - Published Version Restricted to Registered users only Download (1MB) | Request a copy

Abstract

An extension to a formal verification approach of hybrid systems is proposed to verify analog and mixed signal (AMS) designs. AMS designs can be formally modeled as hybrid systems and therefore lend themselves to the formal analysis and verification techniques applied to hybrid systems. The proposed approach employs simulation traces obtained from an actual design implementation of AMS circuit blocks (for example, in the form of SPICE netlists) to carry out formal analysis and verification. This enables the same platform used for formally validating an abstract model of an AMS design, to be also used for validating its different refinements and design implementation; thereby, providing a simple route to formal verification at different levels of implementation. The feasibility of the proposed approach is demonstrated with a case study based on a tunnel diode oscillator. Since the device characteristic of a tunnel diode is highly non-linear with a negative resistance region, dynamic behavior of circuits in which it is employed as an element is difficult to model, analyze and verify within a general hybrid system formal verification tool. In the case study presented the formal model and the proposed computational techniques have been incorporated into CheckMate, a formal verification tool based on MATLAB and Simulink-Stateflow Framework from MathWorks.

Item Type:	Conference Paper
Publisher:	IEEE
Additional Information:	Copyright 2009 IEEE. Personal use of this material is permitted. However, permission to reprint/republish this material for advertising or promotional purposes or for creating new collective works for resale or redistribution to servers or lists, or to reuse any copyrighted component of this work in other works must be obtained from the IEEE.
Keywords:	Hybrid Systems;Analog Mixed Signal Design;Simulation;Formal Verification.
Department/Centre:	Division of Electrical Sciences > Electronic Systems Engineering (Formerly Centre for Electronic Design & Technology)
Date Deposited:	29 Dec 2011 10:06
Last Modified:	29 Dec 2011 10:06
URI:	http://eprints.iisc.ac.in/id/eprint/42945

Actions (login required)

View Item