摘要 |
PURPOSE:To reduce the scale of a searching tree by comparing the value obtained by tracing different buses at the start point of convergence with the convergence information of a circuit, and discontinuing the searching with those discordant values. CONSTITUTION:A searching route selection part 24 produces a searching tree which traces a circuit back to the input side from the output side and selects successively the routes to be searched next. When an end point is decided by a convergence end point deciding part 25, a start point contancy checking part 26 is started to check the value related to a different bus going back to the start point. If the value related to a different bus has conflict, a searching cut-off part 27 is called out. The part 27 cuts branches of the searching tree to discontinue the searching action and proceeds to the next new search. Otherwise, the present searching is advanced by a searching advancing part 28. |