-
spydrnet Public
Forked from byuccl/spydrnetA flexible framework for analyzing and transforming FPGA netlists. Official repository.
Python BSD 3-Clause "New" or "Revised" License UpdatedOct 10, 2023 -
IpcOpenSTA Public
OpenSTA with access through shared memory
C++ GNU General Public License v3.0 UpdatedAug 2, 2022 -
-
OpenSTA Public
Forked from The-OpenROAD-Project/OpenSTAOpenSTA engine
C++ GNU General Public License v3.0 UpdatedJun 17, 2022 -
-
-
minisat Public
Forked from niklasso/minisatA minimalistic and high-performance SAT solver
C++ Other UpdatedAug 23, 2021