Separation Logic for High-Level Synthesis
Winterstein, Felix J., Bayliss, Samuel R., Constantinides, George A.Volume:
9
Language:
english
Journal:
ACM Transactions on Reconfigurable Technology and Systems
DOI:
10.1145/2836169
Date:
December, 2015
File:
PDF, 591 KB
english, 2015