Slide 1 1 ECE 667 Synthesis & Verification - ABC system ECE 667 Synthesis and Verification of Digital Systems ABC System Combinational Logic Synthesis Slides adapted…
Outline ABC System And-Inverter Graph (AIG) AIG construction AIG optimization Rewriting Substitution Redundancy removal Technology mapping Boolean matching Cut-based mapping…