1. A method for checking a logic circuit made up of one or more function blocks each capable of performing a logic operation on one or more input signals to produce one or more output signals, each function block being formed of one or more logic elements, comprising the steps of: (a) storing respective first identification codes for each of said function blocks in a first memory of an information processing system; (b) storing said respective first identification codes in a second memory of said information processing system in correspondence to each of the logic elements which form the respective function blocks; (c) storing second identification codes for each of the input signals and output signals for each function block in said first memory in correspondence to said first identification codes and in said second memory in correspondence to said logic elements which form the respective function blocks; (d) storing third identification codes for each of the logic operations performed by said function blocks in said first memory and said second memory in correspondence to the second identification codes representing output signals therein; (e) modifying the identification codes stored in said first memory in response to modification of said logic circuit to add, delete and/or replace a function block and/or the input and/or output signals associated therewith; (f) determining whether each of the first identification codes stored in said first memory is contained in said second memory; (g) determining whether the second identification codes in said first memory, for those function blocks for which the first identification codes have been found in both said first memory and said second memory in step (f), are stored in said second memory for the logic elements of those function blocks; and (h) determining whether the third identification codes in said first memory, for those function blocks for which the same second identification codes are stored in said first memory and said second memory as determined in step (g) are stored in said second memory for the second identification codes therein representing output signals.