Akbarpourand Tahar. An Approach for the Formal Verification of DSP Designs Using Theorem Proving. Institute of Electrical and Electronics Engineers (IEEE), 2006, doi:10.1109/tcad.2005.857314.