Pinned Repositories
dynamatic
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
circt
Circuit IR Compilers and Tools
dot2smv
A formal verification model generator for dataflow circuits based on nuXmv
dotfiles
My Linux Configs
dotfiles-centos
My Dotfiles for CentOS 7
dynamatic
NOTE: this repository is obsolete, please checkout https://github.com/EPFL-LAP/dynamatic. A fork of the Dynamatic HLS compiler from https://github.com/lana555/dynamatic
dynamatic-mlir
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
dynamatic-scripts
dynamatic-scripts-centos
Some useful scripts for setting up dynamatic on CentOS systems
legacy-dynamatic
Jiahui17's Repositories
Jiahui17/dynamatic
NOTE: this repository is obsolete, please checkout https://github.com/EPFL-LAP/dynamatic. A fork of the Dynamatic HLS compiler from https://github.com/lana555/dynamatic
Jiahui17/dot2smv
A formal verification model generator for dataflow circuits based on nuXmv
Jiahui17/dotfiles
My Linux Configs
Jiahui17/circt
Circuit IR Compilers and Tools
Jiahui17/dotfiles-centos
My Dotfiles for CentOS 7
Jiahui17/dynamatic-mlir
DHLS (Dynamic High-Level Synthesis) compiler based on MLIR
Jiahui17/dynamatic-scripts
Jiahui17/dynamatic-scripts-centos
Some useful scripts for setting up dynamatic on CentOS systems
Jiahui17/dynamatic-utils
Jiahui17/Jiahui17.github.io
Jiahui17/legacy-dynamatic
Jiahui17/not-Jiahui17.github.io
Github Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
Jiahui17/ranger
A VIM-inspired filemanager for the console
Jiahui17/stx_cookbook
Altera Advanced Synthesis Cookbook 11.0
Jiahui17/tapa
TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerators.
Jiahui17/tapa-utils
My scratchpad experimenting with the TAPA framework (https://github.com/UCLA-VAST/tapa/tree/release)