Attacking the Verification Challenges: Applying Next Generation Verification IP to Bus Protocol-based Designs By February 28, 2003