CS5740 - Computer-Aided Design of Digital Circuits