Formal Verification of Automatic Circuit Transformations for Fault-Tolerance.

Dmitry Burlyaev, Pascal Fradet

Browse the full FMCAD paper archive.