To provide a logic module which can be generalized to match the circuitry of a verification subject logic easily, and can sharply reduce the man-hours and the cost required for programming the verification subject logic to a plurality of programmable logic elements. 論理モジュールを汎用化し、検証対象論理の回路構成に容易に合わせることができ、検証対象論理をプログラム可能な複数の論理素子にプログラムする工数と作成費用を大幅に低減することができる論理モジュールを提供する。 - 特許庁