US6883134B2 - Method and Program Product for Detecting Bus Conflict and Floating Bus Conditions in Circuit Designs