CEG790 Dr. Travis Doom Wright State University Computer Science and Engineering Synthesis and Optimization of Digital Circuits.