![](/img/cover-not-exists.png)
[IEEE 2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM) - Boston, MA, USA (2014.5.11-2014.5.13)] 2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines - Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis
Winterstein, Felix, Bayliss, Samuel, Constantinides, George A.Year:
2014
Language:
english
DOI:
10.1109/FCCM.2014.11
File:
PDF, 333 KB
english, 2014