Equivalence checking for compiler transformations in behavioral synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhenkun Yang, Kecheng Hao, Kai Cong, Sandip Ray, Fei Xie. Equivalence checking for compiler transformations in behavioral synthesis. In 2013 IEEE 31st International Conference on Computer Design, ICCD 2013, Asheville, NC, USA, October 6-9, 2013. pages 491-494, IEEE, 2013. [doi]

This author has not been identified. Look up 'Zhenkun Yang' in GoogleThis author has not been identified. Look up 'Kecheng Hao' in GoogleThis author has not been identified. Look up 'Kai Cong' in GoogleThis author has not been identified. Look up 'Sandip Ray' in GoogleThis author has not been identified. Look up 'Fei Xie' in Google

runs on WebDSL