PURPOSE: To attain a high speed processing by avoiding duplicated verification by obtaining information necessary for the verification of the connection rule of a hierarchical block on the high-order side of a hierarchical block and storing it at the time of verifying the connection rule of the hierarchical block.

CONSTITUTION: This method executes the step of verifying the connection rule with regard to a net closing inside of the hierarchical block successively from the hierarchical block on a lower side toward that on a higher side and the step of obtaining information necessary for the verification of the connection rule of the hierarchical block on the high-order side with regard to a net connected to the hierarchical block on the high-order side of the hierarchical block and storing it. Namely, this logical circuit connection rule verification method verifies the connection rule successively from the hierarchical block on the low-order side toward that on the high-order side and at the time of verifying the connection rule of a hierarchical block, the method obtains information necessary for the verification of the connection rule of the hierarchical block on the high-order side of the hierarchical block and stores it.