Similar repositories to oldgalileo/satsolver:
oldgalileo/satsolver
github
similar
Licheng-Guo/AutoBridge
github
similar
magic3007/Awesome-Design-Automation
github
similar
cespare/diff
github
similar
UCLA-VAST/GNN-DSE
github
similar
lblopes/unixprogramming
github
similar
zihaoli-cn/compiler-paper-reading
github
similar
wincle626/HLS_Legup
github
similar
circt-hls/circt-hls
github
similar
noocene/vessels
github
similar
zackthoutt/sudoku-ai
github
similar
chenkie/next-prisma
github
similar
daitoto/EDA-wiki
github
similar
sifive/chisel-circt
github
similar
DFiantHDL/DFiant
github
similar
zslwyuan/Light-HLS
github
similar
pkuzjx/EDA-wiki
github
similar
chipsalliance/fpga-tool-perf
github
similar
kumasento/polymer
github
similar
The-OpenROAD-Project/OpenDB
github
similar
oldgalileo/shakti
github
similar
UCLA-VAST/tapa
github
similar
spcl/pymlir
github
similar
UCLA-VAST/AutoBridge
github
similar
Xilinx/mlir-aie
github
similar
gmathi/NovelLibrary
github
similar
wsmoses/Polygeist
github
similar
hanchenye/scalehls
github
similar
dillonhuff/ahaHLS
github
similar
chipsalliance/UHDM
github
similar
KnowingNothing/compiler-and-arch
github
similar
ucb-bar/hammer
github
similar
apache/tvm-vta
github
similar
aevum/libgdx-cpp
github
similar
UCSBarchlab/PyRTL
github
similar
phanrahan/magma
github
similar
fabianschuiki/moore
github
similar
cucapra/calyx
github
similar
tensorflow/mlir-hlo
github
similar
Xilinx/RapidWright
github
similar