high-level-synthesis topic

PandA-bambu public repository

ferrandi

XLS: Accelerated HW Synthesis

google

A formally verified high-level synthesis tool based on CompCert and written in Coq.

ymherklotz

Polyphony is Python based High-Level Synthesis compiler.

polyphony-dev

Time-sensitive affine types for predictable hardware generation

cucapra

A Vivado HLS Command Line Helper Tool

benjmarshall

:dart: soap - Structural Optimisation of Arithmetic Programs

admk

Monte Carlo Methods applied to the Black-Scholes financial market model

max2ma

max2ma

FPGA acceleration of arbitrary precision floating point computations.

spcl