In another aspect, the simply testable condition is preferably that a circuit in the block has an n-fold line-up structure in which signal paths between an arbitrary register and an arbitrary external output or pseudo-external output have n sorts or less of sequential depths, wherein n is a positive integer.