Advances in Hardware Design and Verification