Algebraic approach to arithmetic design verification.

Mohamed Abdul Basith, Tariq B. Ahmad, Andr Rossi, Maciej J. Ciesielski

Browse the full FMCAD paper archive.