scholarly journals Separation Logic-Assisted Code Transformations for Efficient High-Level Synthesis

2014 ◽  
Author(s):  
Felix Winterstein ◽  
Samuel Bayliss ◽  
George A. Constantinides
Keyword(s):  
Separation Logic ◽  
High Level Synthesis ◽  
Code Transformations ◽  
High Level

Separation Logic for High-Level Synthesis

2016 ◽  
Vol 9 (2) ◽  
pp. 1-23 ◽  
Author(s):  
Felix J. Winterstein ◽  
Samuel R. Bayliss ◽  
George A. Constantinides
Keyword(s):  
Separation Logic ◽  
High Level Synthesis ◽  
High Level

scholarly journals Opportunistic IP Birthmarking using Side Effects of Code Transformations on High-Level Synthesis

2021 ◽  
Author(s):  
Hannah Badier ◽  
Christian Pilato ◽  
Jean-Christophe Le Lann ◽  
Philippe Coussy ◽  
Guy Gogniat
Keyword(s):  
Side Effects ◽  
High Level Synthesis ◽  
Code Transformations ◽  
High Level

Floorplan-Aware High-Level Synthesis for Generalized Distributed-Register Architectures

2009 ◽  
Vol E92-A (12) ◽  
pp. 3169-3179 ◽  
Author(s):  
Akira OHCHI ◽  
Nozomu TOGAWA ◽  
Masao YANAGISAWA ◽  
Tatsuo OHTSUKI
Keyword(s):  
High Level Synthesis ◽  
High Level
Sign in / Sign up

Export Citation Format

Share Document