Control and Verification of Digital Circuits Lectures