main
yosys
Repository badge with B rating
View on GitHub
Grade
Name
Complexity
Churn
Issues
A
passes\proc\proc.cc
16 1 -
A
passes\proc\proc_arst.cc
98 1 3
A
passes\proc\proc_clean.cc
68 1 1
A
passes\proc\proc_dff.cc
80 1 1
A
passes\proc\proc_dlatch.cc
108 2 2
A
passes\proc\proc_init.cc
19 1 -
A
passes\proc\proc_memwr.cc
22 1 -
A
passes\proc\proc_mux.cc
99 1 1
A
passes\proc\proc_prune.cc
33 1 -
A
passes\proc\proc_rmdead.cc
38 1 -
A
passes\proc\proc_rom.cc
52 3 1
A
passes\sat\assertpmux.cc
45 1 1
A
passes\sat\async2sync.cc
72 2 1
A
passes\sat\clk2fflogic.cc
27 3 1
A
passes\sat\cutpoint.cc
41 1 1
A
passes\sat\eval.cc
146 2 6
A
passes\sat\expose.cc
170 1 3
A
passes\sat\fmcombine.cc
72 1 2
A
passes\sat\fminit.cc
40 1 1
A
passes\sat\formalff.cc
201 2 6