Patent ID: 7277840

Claim:
A method of detecting a bus contention on a bus from register transfer level (RTL) description of a device, wherein said bus is controlled by combinational logic having a plurality of inputs, and said combinational logic controlling a plurality of drivers driving said bus, the method comprises the steps of: a) selecting a single driver from said plurality of drivers; b) finding cone-inputs that control said single driver; c) computing all logic combinations for said cone-inputs; d) assigning an undefined value to all inputs that are not said cone-inputs; e) assigning one of said logic combinations not assigned before to said cone-inputs; f) determining the value of each enable signal of said drivers; g) checking for a bus error condition on said bus; h) checking whether there are more said logic combinations to be assigned and if so continuing with step e); and i) generating a bus contention error report.