Formal Verification and Debugging of Array Dividers with Auto-correction Mechanism.

M. H. Haghbayan, Bijan Alizadeh, Payman Behnam, Saeed Safari

Browse the full VLSID paper archive.