Separation Logic for High-Level Synthesis

ACM Transactions on Reconfigurable Technology and Systems ◽

10.1145/2836169 ◽

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 ◽

Download Full-text

Separation Logic for High-level Synthesis

10.1007/978-3-319-53222-6 ◽

2017 ◽

Author(s):

Felix Winterstein

Keyword(s):

Separation Logic ◽

High Level Synthesis ◽

Download Full-text

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

2014 IEEE 22nd Annual International Symposium on Field-Programmable Custom Computing Machines ◽

10.1109/fccm.2014.11 ◽

2014 ◽

Author(s):

Felix Winterstein ◽

Samuel Bayliss ◽

George A. Constantinides

Keyword(s):

Separation Logic ◽

High Level Synthesis ◽

Code Transformations ◽

Download Full-text

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

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e92.a.3169 ◽

2009 ◽

Vol E92-A (12) ◽

pp. 3169-3179 ◽

Author(s):

Akira OHCHI ◽

Nozomu TOGAWA ◽

Masao YANAGISAWA ◽

Tatsuo OHTSUKI

Keyword(s):

High Level Synthesis ◽

Download Full-text

A Floorplan Aware High-Level Synthesis Algorithm with Body Biasing for Delay Variation Compensation

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e100.a.1439 ◽

2017 ◽

Vol E100.A (7) ◽

pp. 1439-1451

Author(s):

Koki IGAWA ◽

Masao YANAGISAWA ◽

Nozomu TOGAWA

Keyword(s):

High Level Synthesis ◽

Synthesis Algorithm ◽

Body Biasing ◽

Delay Variation

Download Full-text

Nested Loop Parallelization Using Polyhedral Optimization in High-Level Synthesis

IEICE Transactions on Fundamentals of Electronics Communications and Computer Sciences ◽

10.1587/transfun.e97.a.2498 ◽

2014 ◽

Vol E97.A (12) ◽

pp. 2498-2506

Author(s):

Akihiro SUDA ◽

Hideki TAKASE ◽

Kazuyoshi TAKAGI ◽

Naofumi TAKAGI

Keyword(s):

High Level Synthesis ◽

Loop Parallelization ◽

Polyhedral Optimization ◽

Download Full-text

A parallel ant colony optimization to globally optimize area in high-level synthesis. (c2011)

10.26756/th.2011.36 ◽

2011 ◽

Author(s):

David Elias Kozhaya

Keyword(s):

Ant Colony Optimization ◽

High Level Synthesis ◽

Download Full-text

Language requirements for high-level synthesis

10.3403/00837025 ◽

1996 ◽

Keyword(s):

High Level Synthesis ◽

Download Full-text

Exact and Practical Modulo Scheduling for High-Level Synthesis

ACM Transactions on Reconfigurable Technology and Systems ◽

10.1145/3317670 ◽

2019 ◽

Vol 12 (2) ◽

pp. 1-26 ◽

Author(s):

Julian Oppermann ◽

Melanie Reuter-Oppermann ◽

Lukas Sommer ◽

Andreas Koch ◽

Oliver Sinnen

Keyword(s):

High Level Synthesis ◽

Modulo Scheduling ◽

Download Full-text

Implementation of Convolutional Neural Network with Co-design of High-Level Synthesis and Verilog HDL

2020 IEEE 15th International Conference on Solid-State & Integrated Circuit Technology (ICSICT) ◽

10.1109/icsict49897.2020.9278149 ◽

2020 ◽

Author(s):

Hejie Yu ◽

Jun Cheng ◽

Xiangnan Zhang ◽

Yuzhe Gao ◽

Kuizhi Mei

Keyword(s):

Neural Network ◽

Convolutional Neural Network ◽

High Level Synthesis ◽

Verilog Hdl ◽

Download Full-text

Secure High-Level Synthesis: Challenges and Solutions

2021 22nd International Symposium on Quality Electronic Design (ISQED) ◽

10.1109/isqed51717.2021.9424365 ◽

2021 ◽

Author(s):

Nitin Pundir ◽

Farimah Farahmandi ◽

Mark Tehranipoor

Keyword(s):

High Level Synthesis ◽

Download Full-text