Verification And Debug Techniques For Integrated Circuit Designs