Title: Advances in Hardware Design and Verification