Formal Verification of Full-Wave Rectifier: A Case Study
| Contribuinte(s) |
TA, Tang XY, Zeng Y, Chen HH, Yu |
|---|---|
| Data(s) |
2009
|
| Resumo |
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. |
| Formato |
application/pdf |
| Identificador |
http://eprints.iisc.ernet.in/27011/1/Formal.pdf 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. |
| Publicador |
IEEE |
| Relação |
http://ieeexplore.ieee.org/search/srchabstract.jsp?tp=&arnumber=5351239&queryText%3DFormal+Verification+of+Full-Wave+Rectifier%3A+A+Case+Study%26openedRefinements%3D*%26searchField%3DSearch+All http://eprints.iisc.ernet.in/27011/ |
| Palavras-Chave | #Electronic Systems Engineering (Formerly, (CEDT) Centre for Electronic Design & Technology) |
| Tipo |
Conference Paper PeerReviewed |
