Formal Verification of Full-Wave Rectifier:A Case Study

摘要：

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.

关键词： Hybrid systems Analog and Mized Signal Design Simulation Formal Verification

作者: Kusum Lata H S Jamadagni

作者单位: Center for Electronics Design and Technology,Indian Institute of Science,Bangalore,India

会议类型: 国际会议

会议名称: 2009 IEEE 8th International Conference on ASIC(第八届IEEE国际专用集成电路大会)

会议地点: 长沙

会议语种:英文

页码: 1306-1309

在线出版日期: 2009-10-20（万方平台首次上网日期，不代表论文的发表时间）