Jiahui17
Follow
-
-
ranger Public
Forked from ranger/rangerA VIM-inspired filemanager for the console
Python GNU General Public License v3.0 UpdatedMar 11, 2025 -
-
logic-synthesis Public
Forked from JackHack96/logic-synthesisLogic synthesis system from UC Berkeley
C Other UpdatedFeb 25, 2025 -
dot2smv Public
A formal verification model generator for dataflow circuits based on nuXmv
-
xls Public
Forked from google/xlsXLS: Accelerated HW Synthesis
C++ Apache License 2.0 UpdatedFeb 21, 2025 -
-
dynamatic Public
Forked from EPFL-LAP/dynamaticDHLS (Dynamic High-Level Synthesis) compiler based on MLIR
C++ Other UpdatedFeb 13, 2025 -
abc Public
Forked from berkeley-abc/abcABC: System for Sequential Logic Synthesis and Formal Verification
C Other UpdatedJan 23, 2025 -
xls-float-ip Public
Generating Floating Point Units for Dynamatic Using Google-XLS
Logos UpdatedJan 17, 2025 -
-
-
tapa-utils Public
My scratchpad experimenting with the TAPA framework (https://github.com/UCLA-VAST/tapa/tree/release)
Shell UpdatedMar 10, 2024 -
tapa Public
Forked from rapidstream-org/rapidstream-tapaTAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerators.
C++ MIT License UpdatedMar 3, 2024 -
legacy-dynamatic Public
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-scripts-centos Public
Some useful scripts for setting up dynamatic on CentOS systems
Shell UpdatedNov 28, 2023 -
circt Public
Forked from EPFL-LAP/circtCircuit IR Compilers and Tools
C++ Other UpdatedNov 5, 2023 -
not-Jiahui17.github.io Public
Forked from academicpages/academicpages.github.ioGithub Pages template for academic personal websites, forked from mmistakes/minimal-mistakes
JavaScript MIT License UpdatedOct 30, 2023 -
-
stx_cookbook Public
Forked from thomasrussellmurphy/stx_cookbookAltera Advanced Synthesis Cookbook 11.0
Verilog UpdatedApr 7, 2023