Formal Verification of Full-Wave Rectifier: A Case Study

Lata, Kusum and Jamadagni, HS (2009) Formal Verification of Full-Wave Rectifier: A Case Study. In: IEEE 8th International Conference on ASIC, OCT 20-23, 2009, Changsha, pp. 1306-1309.

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

Abstract

We present a case study of formal verification of full-wave rectifier for analog and mixed signal designs. We have used the Checkmate tool from CMU [1], which is a public domain formal verification tool for hybrid systems. Due to the restriction imposed by Checkmate it necessitates to make the changes in the Checkmate implementation to implement the complex and non-linear system. Full-wave rectifier has been implemented by using the Checkmate custom blocks and the Simulink blocks from MATLAB from Math works. After establishing the required changes in the Checkmate implementation we are able to efficiently verify, the safety properties of the full-wave rectifier.

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 and Mixed Signal Design; Simulation; Formal Verification
Department/Centre:	Division of Electrical Sciences > Electronic Systems Engineering (Formerly Centre for Electronic Design & Technology)
Date Deposited:	10 Jun 2010 06:10
Last Modified:	19 Sep 2010 05:59
URI:	http://eprints.iisc.ac.in/id/eprint/27011

Actions (login required)

View Item