Algebraic approach to arithmetic design verification. - Mohamed Abdul Basith; Tariq B. Ahmad; André Rossi; Maciej J. Ciesielski (FMCAD, 2011)