ABC

anchor

Findings

• IC-260DeepGate2 achieves an average NDCG@3 of 0.334 and top-10% commonality of 0.226 on QOR prediction across 10 circuit designs [eval]
• IC-261DeepGate2 achieves an average F1-score of 0.424 and AUC of 0.804 on logic equivalence identification across 10 circuit designs [eval]
• IC-262DeepGate3 achieves an average F1-score of 0.390 and AUC of 0.834 on logic equivalence identification for small circuit designs [eval]
• 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 [eval]