Modelpedia
Work in progress
About
Findings
Models
Concepts
Methods
Datasets
Sources
Light
Dark
Circuit Representation Learning with Masked Gate Modeling and Verilog-AIG Alignment
2025-01-22
· ICLR 2025 Poster ·
anchor
Findings
IC-260
DeepGate2 achieves an average NDCG@3 of 0.334 and top-10% commonality of 0.226 on QOR prediction across 10 circuit designs
IC-261
DeepGate2 achieves an average F1-score of 0.424 and AUC of 0.804 on logic equivalence identification across 10 circuit designs
IC-262
DeepGate3 achieves an average F1-score of 0.390 and AUC of 0.834 on logic equivalence identification for small circuit designs
IC-263
DeepGate2 and DeepGate3 achieve average SAT solving runtime reductions of 18.24% and 21.31% respectively when used to constrain boolean fence search space