-
slang Public
Forked from MikePopoloski/slangSystemVerilog compiler and language services
C++ MIT License UpdatedJul 1, 2025 -
sensitivity_attack Public
Sensitivity-Based Attack on Strip-Locking Circuits
-
-
-
-
-
verilog2dimacs Public
Coverts a generic Verilog netlist into the DIMACS format compatible with many SAT solvers
-
verilog_benchmark_circuits Public
EPFL and ISCAS85 combinational benchmark circuits in generic gate verilog
-
obfuscation Public
A set of FIRRTL transforms for obfuscating circuits
-
-
-
{{ message }}