Title: Current Trends in Hardware Verification and Automated Theorem Proving