DeepGate3

anchor

Findings

• IC-262DeepGate3 achieves an average F1-score of 0.390 and AUC of 0.834 on logic equivalence identification for small circuit designs
• IC-262DeepGate3 achieves an average F1-score of 0.390 and AUC of 0.834 on logic equivalence identification for small circuit designs [compared-to]
• IC-263DeepGate2 and DeepGate3 achieve average SAT solving runtime reductions of 18.24% and 21.31% respectively when used to constrain boolean fence search space
• IC-263DeepGate2 and DeepGate3 achieve average SAT solving runtime reductions of 18.24% and 21.31% respectively when used to constrain boolean fence search space [compared-to]