New Advances in Verification and Debugging of Hardware Systems