jianyicheng Goto Github PK

circt

Circuit IR Compilers and Tools

dss

DASS HLS Compiler

dynamatic

easy

Efficient Arbiter SYnthesis (EASY) - a plugin to the LegUp High Level Synthesis tool that simplifies the memory arbitration with the help of formal verifications.

fpt2022-artifact

Artifact of FPT 2022

hls

Vitis HLS LLVM source code and examples

hls-benchmarks

Benchmarks for High-Level Synthesis

iiprover

An LLVM pass to prove that an II works for the given loop for Vitis HLS

kernels

Compute kernels with C description, DFGs, DSP-aware DFGs, FU-aware DFGs and netlist

latte20

Languages, Tools, and Techniques for Accelerator Design

lily58

6×4+4keys column-staggered split keyboard.

llvm

The LLVM Project is a collection of modular and reusable compiler and toolchain technologies. Note: the repository does not accept github pull requests at this moment. Please submit your patches at http://reviews.llvm.org.

machsuite

Benchmarks for Accelerator Design and Customized Architectures

mase

Machine-Learning Accelerator System Exploration Tools

mase-aie-playground

Interface for passing MASE AIE design files to HACC

mase-docker

Dockerfile for the MASE container

mlir-air

polybenchc

PolyBench/C benchmark suite (version 4.2.1 beta) from http://web.cse.ohio-state.edu/~pouchet/software/polybench/

polymer

Bridging polyhedral analysis tools to the MLIR framework

prism

The main development version of the PRISM model checker.

rosetta

Rosetta: A Realistic High-level Synthesis Benchmark Suite for Software Programmable FPGAs

simtight

CHERI-enabled GPGPU

svm_hls_on_zynq

Supporting Vector Machine Classsfications Using High-Level Synthesis