Formally analyzing fault tolerance in datapath designs using equivalence checking.

Payman Behnam, Bijan Alizadeh, Sajjad Taheri, Masahiro Fujita

Browse the full ASPDAC paper archive.