COEN 6551/AA (Summer 2024): FORMAL HARDWARE VERIFICATION