Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models.

Bin Xue, Prosenjit Chatterjee, Sandeep K. Shukla

Browse the full ASPDAC paper archive.