Formal Verification of Full-Wave Rectifier: A Case Study

Kusum Lata H. S. Jamadagni

Published in: CoRR (2009)

Keyphrases

formal verification
model checking
automated verification
model checker
bounded model checking
symbolic model checking
case study
test bed
temporal logic
program slicing
functional verification
neural network
single phase