Formal Verification of Full-Wave Rectifier: A Case Study - Computer Science > Logic in Computer ScienceReportar como inadecuado




Formal Verification of Full-Wave Rectifier: A Case Study - Computer Science > Logic in Computer Science - Descarga este documento en PDF. Documentación en PDF para descargar gratis. Disponible también para leer online.

Abstract: We present a case study of formal verification of full-wave rectifier foranalog 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 tothe restriction imposed by Checkmate it necessitates to make the changes in theCheckmate implementation to implement the complex and non-linear system.Full-wave rectifier has been implemented by using the Checkmate custom blocksand the Simulink blocks from MATLAB from Math works. After establishing therequired changes in the Checkmate implementation we are able to efficientlyverify the safety properties of the full-wave rectifier.



Autor: Kusum Lata, H S Jamadagni

Fuente: https://arxiv.org/







Documentos relacionados