Handling design and implementation optimizations in equivalence checking for behavioral synthesis - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Zhenkun Yang, Sandip Ray, Kecheng Hao, Fei Xie. Handling design and implementation optimizations in equivalence checking for behavioral synthesis. In The 50th Annual Design Automation Conference 2013, DAC '13, Austin, TX, USA, May 29 - June 07, 2013. pages 117, ACM, 2013. [doi]

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

runs on WebDSL