Rui Li's repositories
CNN-Accelerator-VLSI
Convolutional accelerator kernel, target ASIC & FPGA
utopia-hls
Utopia: a High-Level Synthesis framework
ac_dsp
Algorithmic C Digital Signal Processing (DSP) Library
ac_math
Algorithmic C Math Library
bdd_equivalence
This bdd is to check the equivalence between two circuits
buddy-mlir
An MLIR-Based Ideas Landing Project
cryptominisat
An advanced SAT solver
dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
dynamatic_mlir
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
EDA-wiki
EDA wiki
HLS-lab1
Utilities for HLS-lab1
LightningSim
A fast, accurate trace-based simulator for High-Level Synthesis.
mlir-tutorial
MLIR For Beginners tutorial
muir-lib
µIR Chisel library
multgen
Integer Multiplier Generator for Verilog
opentitan
OpenTitan: Open source silicon root of trust
PL-Compiler-Resource
程序语言与编译技术相关资料（持续更新中）
ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
RefSCAT-2
Benchmark
Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
Tai-e-assignments
Tai-e assignments for static program analysis
The-C-20-Masterclass-Source-Code
Source code for the C++ 20 Masterclass on udemy
wb2axip
Bus bridges and other odds and ends