ICBench

Pinned Repositories

abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 1 03
cloud-desktop
Language:Go0 2 21
kissat
Language:C0 0 01
MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Language:C++0 0 01
objectives-and-key-results
Objectives and Key Results (OKR) examples for goals, tasks, plans, projects, and strategy.
0 0 00
OpenROAD
Language:Verilog03
OpenROAD-flow-scripts
Language:Verilog03
OpenSTA
OpenSTA engine
Language:C++03
pulpino-up-sha256
Language:C00
yosys
Logic synthesis and ABC based optimization
Language:C++0 2 16

ICBench's Repositories

ICBench/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
Language:C0 1 03
ICBench/cloud-desktop
Language:Go0 2 21
ICBench/kissat
Language:C0 0 01
ICBench/MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Language:C++0 0 01
ICBench/objectives-and-key-results
Objectives and Key Results (OKR) examples for goals, tasks, plans, projects, and strategy.
0 0 00
ICBench/OpenROAD
Language:Verilog03
ICBench/OpenROAD-flow-scripts
Language:Verilog03
ICBench/OpenSTA
OpenSTA engine
Language:C++03
ICBench/pulpino-up-sha256
Language:C00
ICBench/yosys
Logic synthesis and ABC based optimization
Language:C++0 2 16