A Normalization Method for Arithmetic Data-Path Verification | IEEE Journals & Magazine | IEEE Xplore