Advanced Verification Techniques: A SystemC Based Approach f