How to Prove that a Circuit is Fault-Free? | IEEE Conference Publication | IEEE Xplore