HY 436: Control and Verification of Digital Circuits.