Rui Li's repositories
CNN-Accelerator-VLSI
Convolutional accelerator kernel, target ASIC & FPGA
ac_dsp
Algorithmic C Digital Signal Processing (DSP) Library
ac_math
Algorithmic C Math Library
ac_types
Algorithmic C Datatypes
awesome-hardware-tools
List of awesome open source hardware tools
bdd_equivalence
This bdd is to check the equivalence between two circuits
buddy-mlir
An MLIR-Based Ideas Landing Project
Cpp-Design-Patterns
C++设计模式
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.
lirui-shanghaitech
Config files for my GitHub profile.
muir-lib
µIR Chisel library
multgen
Integer Multiplier Generator for Verilog
openhls
PyTorch model to RTL flow for low latency inference
opentitan
OpenTitan: Open source silicon root of trust
PL-Compiler-Resource
程序语言与编译技术相关资料(持续更新中)
ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
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