[BOOK][B] Higher-level hardware synthesis

R Sharp - 2004 - books.google.com
… the hardware community) to be compiled directly to hardware. … higher-level tools for hardware
description and synthesis will … is scope for higher-level Hardware Description Languages …

Higher-level techniques for hardware description and synthesis

A Mycroft, R Sharp - International Journal on Software Tools for …, 2003 - Springer
higher-levelhigher-level tools for hardware description and synthesis will remain an
important research area. The FLaSH project (Functional Languages for Synthesising Hardware) …

Are we there yet? A study on the state of high-level synthesis

S Lahti, P Sjövall, J Vanne… - IEEE Transactions on …, 2018 - ieeexplore.ieee.org
… Introduction of bugs in the code is also less likely on a higher level of abstraction. 2) … The
HLS tools contain various directives that can guide the hardware synthesis to generate more …

A higher-level language for hardware synthesis

R Sharp, A Mycroft - Correct Hardware Design and Verification Methods …, 2001 - Springer
… A Higher-Level Language for Hardware Synthesis 229 We present a language designed
for hardware synthesis which, we argue, is higher level than existing behavioural synthesis

New advances of high-level synthesis for efficient and reliable hardware design

K Campbell, W Zuo, D Chen - Integration, 2017 - Elsevier
… From a hardware engineer's point of view, HLS is a tool for improving productivity with
higher-level hardware abstractions. The challenge in this domain is to achieve QoR that is …

A survey and evaluation of FPGA high-level synthesis tools

R Nane, VM Sima, C Pilato, J Choi… - … on Computer-Aided …, 2015 - ieeexplore.ieee.org
… HLS allows designers to work at a higher-level of abstraction … For hardware synthesis, most
of the C language is supported… automatically synthesized into parallel-operating hardware. …

Higher-level hardware synthesis of the KASUMI algorithm

IW Damaj - Journal of Computer Science and Technology, 2007 - Springer
… of abstraction in programming reconfigurable hardware. With these … higher-level correct
synthesis of massively parallel algorithms and to map (compile) them to reconfigurable hardware

Deterministic hardware synthesis for compiling high-level descriptions to heterogeneous reconfigurable architectures

C Sullivan, A Wilson, S Chappell - Proceedings of the 38th …, 2005 - ieeexplore.ieee.org
… formal executable specifications can be synthesized to reconfigurable architectures using
higher-level languages and deterministic hardware compilation, or ‘C-synthesis’. For context …

High-level synthesis: an essential ingredient for designing complex ASICs

RS Nikhil, DL Rosenband, N Dave - IEEE/ACM International …, 2004 - ieeexplore.ieee.org
… It is common wisdom that synthesizing hardware from higher-level descriptions than Vedog
will … If the higher-level language has suitable semantics, it is possible to synthesize hardware

[BOOK][B] High-level VLSI synthesis

R Camposano, W Wolf - 2012 - books.google.com
synthesis to a complete hardware implementation. As a result, it was very difficult to measure
the effectiveness of highlevel synthesis … all make higher-level design automation inevitable. …