Formal Verification of Full-Wave Rectifier: A Case Study

Details Formal Verification of Full-Wave Rectifier: A Case Study Formal Verification of Full-Wave Rectifier: A Case Study

2009-09-29

arxiv.org/abs/0909.5393v1

Computer Science

Logic in Computer Science

The IEEE 8th International Conference on ASIC (IEEE ASICON 2009), October 20-23 2009, Changsha, China

Scientific paper

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.

Affiliated with

Also associated with

No associations

Rating

Formal Verification of Full-Wave Rectifier: A Case Study does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Formal Verification of Full-Wave Rectifier: A Case Study, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Formal Verification of Full-Wave Rectifier: A Case Study will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-665121