• Separation Logic-Assisted Code...

Treffer: Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis

Title:
Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis
Authors:
Winterstein, Felix, Bayliss, Samuel, Constantinides, George A.
Source:
2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines Field-Programmable Custom Computing Machines (FCCM), 2014 IEEE 22nd Annual International Symposium on. :1-8 May, 2014
Relation:
2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines (FCCM)
Database:
IEEE Xplore Digital Library