Jianyi Cheng (jianyicheng)

jianyicheng

Geek Repo

Company:University of Cambridge

Location:London, UK

Home Page:https://jianyicheng.github.io

Github PK Tool:Github PK Tool


Organizations
llvm

Jianyi Cheng's repositories

DSS

DASS HLS Compiler

Language:VHDLLicense:BSD-3-ClauseStargazers:26Issues:2Issues:1

iiProver

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

Language:C++License:MITStargazers:11Issues:3Issues:0

HLS-benchmarks

Benchmarks for High-Level Synthesis

Language:C++License:GPL-3.0Stargazers:9Issues:3Issues:0

svm_hls_on_zynq

Supporting Vector Machine Classsfications Using High-Level Synthesis

Language:C++License:MITStargazers:2Issues:1Issues:0

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.

Language:C++Stargazers:2Issues:1Issues:0

fpt2022-artifact

Artifact of FPT 2022

Language:C++License:MITStargazers:1Issues:1Issues:0

mase-aie-playground

Interface for passing MASE AIE design files to HACC

circt

Circuit IR Compilers and Tools

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

HLS

Vitis HLS LLVM source code and examples

Language:C++License:NOASSERTIONStargazers:0Issues:0Issues:0

kernels

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

Language:CStargazers:0Issues:0Issues:0

latte20

Languages, Tools, and Techniques for Accelerator Design

Language:CSSStargazers:0Issues:0Issues:0

Lily58

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

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

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.

License:NOASSERTIONStargazers:0Issues:0Issues:0

MachSuite

Benchmarks for Accelerator Design and Customized Architectures

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mase

Machine-Learning Accelerator System Exploration Tools

Language:PythonLicense:NOASSERTIONStargazers:0Issues:0Issues:0

mase-docker

Dockerfile for the MASE container

Language:ShellLicense:MITStargazers:0Issues:1Issues:0
Language:C++License:MITStargazers:0Issues:0Issues:0

PolyBenchC

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

Language:CLicense:NOASSERTIONStargazers:0Issues:0Issues:0

polymer

Bridging polyhedral analysis tools to the MLIR framework

Language:C++Stargazers:0Issues:0Issues:0

prism

The main development version of the PRISM model checker.

Language:JavaLicense:GPL-2.0Stargazers:0Issues:0Issues:0

rosetta

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

Language:Objective-CLicense:BSD-3-ClauseStargazers:0Issues:0Issues:0

SIMTight

CHERI-enabled GPGPU

Language:AssemblyStargazers:0Issues:1Issues:0