Pinned Repositories
A-convolution-kernel-implemented-by-Vivado-HLS
This project implements a convolution kernel based on vivado HLS on zcu104
A-multi-functions-digital-clock-based-on-8051
A multi-functions digital clock based on 8051, the corresponding proteus simulation circuit is also provided.
CNN-Accelerator-VLSI
Convolutional accelerator kernel, target ASIC & FPGA
Cool-compiler
Solution to Cool compiler assignment
CS231n-solution
My solution to CS231n
EE113_PROCESSOR
The reference design of EE113's final project (Digital integrated Circuit design Fall 2020) at ShanghaiTech University
openhls
PyTorch model to RTL flow for low latency inference
Pintos-OS
Solution for Pintos assignment
RefSCAT
RefSCAT: Paper's Result and Benchmark
utopia-hls
Utopia: a High-Level Synthesis framework
lirui-shanghaitech's Repositories
lirui-shanghaitech/CNN-Accelerator-VLSI
Convolutional accelerator kernel, target ASIC & FPGA
lirui-shanghaitech/openhls
PyTorch model to RTL flow for low latency inference
lirui-shanghaitech/RefSCAT
RefSCAT: Paper's Result and Benchmark
lirui-shanghaitech/utopia-hls
Utopia: a High-Level Synthesis framework
lirui-shanghaitech/ac_dsp
Algorithmic C Digital Signal Processing (DSP) Library
lirui-shanghaitech/ac_math
Algorithmic C Math Library
lirui-shanghaitech/bdd_equivalence
This bdd is to check the equivalence between two circuits
lirui-shanghaitech/buddy-mlir
An MLIR-Based Ideas Landing Project
lirui-shanghaitech/C2RTL
lirui-shanghaitech/cryptominisat
An advanced SAT solver
lirui-shanghaitech/dg
[LLVM Static Slicer] Various program analyses, construction of dependence graphs and program slicing of LLVM bitcode.
lirui-shanghaitech/dynamatic_mlir
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
lirui-shanghaitech/EDA-wiki
EDA wiki
lirui-shanghaitech/hector_template
lirui-shanghaitech/HLS-lab1
Utilities for HLS-lab1
lirui-shanghaitech/iob-lib
lirui-shanghaitech/LightningSim
A fast, accurate trace-based simulator for High-Level Synthesis.
lirui-shanghaitech/lirui-shanghaitech
Config files for my GitHub profile.
lirui-shanghaitech/mlir-tutorial
MLIR For Beginners tutorial
lirui-shanghaitech/muir-lib
µIR Chisel library
lirui-shanghaitech/multgen
Integer Multiplier Generator for Verilog
lirui-shanghaitech/MyBooksCollection
lirui-shanghaitech/opentitan
OpenTitan: Open source silicon root of trust
lirui-shanghaitech/PL-Compiler-Resource
程序语言与编译技术相关资料（持续更新中）
lirui-shanghaitech/ProGraML
A Graph-based Program Representation for Data Flow Analysis and Compiler Optimizations
lirui-shanghaitech/soda-opt
lirui-shanghaitech/Static-Program-Analysis-Book
Getting started with static program analysis. 静态程序分析入门教程。
lirui-shanghaitech/Tai-e-assignments
Tai-e assignments for static program analysis
lirui-shanghaitech/The-C-20-Masterclass-Source-Code
Source code for the C++ 20 Masterclass on udemy
lirui-shanghaitech/wb2axip
Bus bridges and other odds and ends