Logic Synthesis - University of Virginia