Bin Xue, Prosenjit Chatterjee, Sandeep K. Shukla. Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models. In 18th Asia and South Pacific Design Automation Conference, ASP-DAC 2013, Yokohama, Japan, January 22-25, 2013. pages 723-728, IEEE, 2013. [doi]
Abstract is missing.