![](/img/cover-not-exists.png)
[IEEE 2013 IEEE 31st International Conference on Computer Design (ICCD) - Asheville, NC, USA (2013.10.6-2013.10.9)] 2013 IEEE 31st International Conference on Computer Design (ICCD) - Equivalence checking for compiler transformations in behavioral synthesis
Yang, Zhenkun, Hao, Kecheng, Cong, Kai, Ray, Sandip, Xie, FeiYear:
2013
Language:
english
DOI:
10.1109/iccd.2013.6657090
File:
PDF, 140 KB
english, 2013