ICBench
Popular repositories Loading
-
OpenROAD-flow-scripts
OpenROAD-flow-scripts PublicForked from The-OpenROAD-Project/OpenROAD-flow-scripts
Verilog 3
-
-
yosys
yosys PublicForked from The-OpenROAD-Project/yosys
Logic synthesis and ABC based optimization
C++ 6
-
abc
abc PublicForked from berkeley-abc/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
C 3
-
-
objectives-and-key-results
objectives-and-key-results PublicForked from joelparkerhenderson/objectives-and-key-results
Objectives and Key Results (OKR) examples for goals, tasks, plans, projects, and strategy.
Repositories
- cloud-desktop Public
ICBench/cloud-desktop’s past year of commit activity - abc Public Forked from berkeley-abc/abc
ABC: System for Sequential Logic Synthesis and Formal Verification
ICBench/abc’s past year of commit activity - MaxHS Public Forked from fbacchus/MaxHS
MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
ICBench/MaxHS’s past year of commit activity - objectives-and-key-results Public Forked from joelparkerhenderson/objectives-and-key-results
Objectives and Key Results (OKR) examples for goals, tasks, plans, projects, and strategy.
ICBench/objectives-and-key-results’s past year of commit activity
People
This organization has no public members. You must be a member to see who’s a part of this organization.
Top languages
Loading…
Most used topics
Loading…