foggy-slt

Pinned Repositories

algos
for post graduates
Language:Python00
also
A logic synthesis tool
Language:C++00
benchmarks
EPFL logic synthesis benchmarks
Language:Verilog00
LSOracle
IDEA project source files
Language:Verilog00
LSOracle-Plugin
Yosys Plugin for LSOracle
Language:C++00
OpenFPGA
An Open-source FPGA IP Generator
Language:C00
phySAT
Semi-Tonser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
Language:C++00
testgit1
00
OpenFPGA
An Open-source FPGA IP Generator
Language:Verilog825 43 442162
algos
for post graduates
Language:Python9 6 510

foggy-slt's Repositories

foggy-slt/algos
for post graduates
Language:Python00
foggy-slt/also
A logic synthesis tool
Language:C++00
foggy-slt/benchmarks
EPFL logic synthesis benchmarks
Language:Verilog00
foggy-slt/LSOracle
IDEA project source files
Language:Verilog00
foggy-slt/LSOracle-Plugin
Yosys Plugin for LSOracle
Language:C++00
foggy-slt/OpenFPGA
An Open-source FPGA IP Generator
Language:C00
foggy-slt/phySAT
Semi-Tonser Product based SAT and AllSAT solver, where it can solve CNF and circuit input.
Language:C++00
foggy-slt/testgit1
00
foggy-slt/skywater-pdk-libs-sky130_fd_sc_hd
"High density" digital standard cells for SKY130 provided by SkyWater.
foggy-slt/yosys
Yosys Open SYnthesis Suite