-
sst-sat Public
Forked from sstsimulator/sst-external-elementSST External Element for SAT solvers
C++ Other UpdatedOct 31, 2025 -
FPGA25_SAT_Accel Public
Forked from milo168/FPGA25_SAT_AccelFPGA 2025 SAT Accel: A modern SAT Solver on FPGA Repository
C++ Apache License 2.0 UpdatedAug 21, 2025 -
-
TAPA is a dataflow HLS framework that features fast compilation, expressive programming model and generates high-frequency FPGA accelerators.
C++ MIT License UpdatedSep 11, 2024 -
haoda Public
Forked from Blaok/haodaHardware-Aware Optimization and Design Automation
Python MIT License UpdatedJul 9, 2024 -
tapa-fast-cosim Public
Forked from UCLA-VAST/tapa-fast-cosimUse a customized RTL testbench for cosim, avoid generating .xclbin
VHDL UpdatedMay 22, 2024 -
AutoBridge Public
Forked from UCLA-VAST/AutoBridge[FPGA 2021, Best Paper Award] An automated floorplanning and pipelining tool for Vivado HLS.
C++ MIT License UpdatedMar 12, 2024 -
-
doc Public
Forked from StanfordAHA/docPapers, Posters, Presentations, Documentation...
UpdatedApr 11, 2022 -
opentitan Public
Forked from lowRISC/opentitanOpenTitan: Open source silicon root of trust
-
libtock-rs Public
Forked from tock/libtock-rsRust userland library for Tock
Rust Apache License 2.0 UpdatedDec 28, 2020
{{ message }}