CS5745 - Testing and Verification of Digital Circuits