Documents 1 ECE 667 Synthesis & Verification - ABC system ECE 667 Synthesis and Verification of Digital...

Slide 1 1 ECE 667 Synthesis & Verification - ABC system ECE 667 Synthesis and Verification of Digital Systems ABC System Combinational Logic Synthesis Slides adapted…

Documents ECE 667 Spring 2013 Synthesis and Verification of Digital Systems

Outline ABC System And-Inverter Graph (AIG) AIG construction AIG optimization Rewriting Substitution Redundancy removal Technology mapping Boolean matching Cut-based mapping…