Claims
- 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.
- 2. A method according to claim 1, wherein, when a first identification code stored in said first memory is not found in said second memory, storing in said second memory first, second and third identification codes in said second memory for the function block identified by said not found first information code.
- 3. A method according to claim 1, wherein, when one or more second identification codes stored in said first memory are not found in said second memory for the logic elements of a function block replacing the second identification codes for that function block in said second memory in accordance with said first memory.
- 4. A method according to claim 1, wherein, when a third identification code in said first memory is not found in said second memory for an output signal of a function block, replacing the third identification code for that output signal in said second memory in accordance with said first memory.
- 5. A method according to claim 1, further comprising the step of:
- (i) determining whether any first identification code in said second memory is not found in said first memory; and
- (j) deleting from said second memory the first, second and third identification codes related to the function block indicated by the first identification code not found in step (i).
Priority Claims (1)
Number |
Date |
Country |
Kind |
58-247651 |
Dec 1983 |
JPX |
|
Parent Case Info
This application is a continuation of application Ser. No. 687,907, filed Dec. 31, 1984, now abandoned.
US Referenced Citations (10)
Continuations (1)
|
Number |
Date |
Country |
Parent |
687907 |
Dec 1984 |
|