Simplification of C-RTL equivalent checking for fused multiply add unit using intermediate models - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'Bin Xue' in GoogleThis author has not been identified. Look up 'Prosenjit Chatterjee' in GoogleThis author has not been identified. Look up 'Sandeep K. Shukla' in Google

runs on WebDSL