Apparatus for giving assistance in analyzing deficiency in RTL-input program and method of doing the same

A method of giving assistance in analyzing deficiency in a RTL-input program, comprising the steps:

• (a) creating partial RTL description data containing logic description identical with logic description extracted from successive portions of input RTL description data, and having correspondence in signals identical with the same in said input RTL description data;
• (b) executing a RTL-input program with said partial RTL description data being received as input data to create error-judgment data indicative of whether said RTL-input program contains deficiency;
• (c) controlling a volume of logic description contained in partial RTL description data to be next created, based on said error-judgment data;
• and
• (d) outputting partial RTL description data causing the same deficiency as deficiency of said input RTL description data, and having a minimum volume of logic description.

A program for causing a computer to act as an apparatus for giving assistance in analyzing deficiency in a RTL-input program, said apparatus comprising:

• a partial RTL creator which creates partial RTL description data containing logic description identical with logic description extracted from successive portions of input RTL description data, and having correspondence in signals identical with the same in said input RTL description data;
• an estimator which receives said partial RTL description data to execute a RTL-input program, and creates error-judgment data indicative of whether said RTL-input program contains deficiency;
• and
• an execution controller which controls a volume of logic description contained in partial RTL description data to be next created by said partial RTL creator, based on said error-judgment data, and outputs partial RTL description data causing the same deficiency as deficiency of said input RTL description data, and having a minimum volume of logic description.

A program for causing a computer to carry out a method of giving assistance in analyzing deficiency in a RTL-input program, wherein steps executed by said computer in accordance with said program include:

• (a) creating partial RTL description data containing logic description identical with logic description extracted from successive portions of input RTL description data, and having correspondence in signals identical with the same in said input RTL description data;
• (b) executing a RTL-input program with said partial RTL description data being received as input data to create error-judgment data indicative of whether said RTL-input program contains deficiency;
• (c) controlling a volume of logic description contained in partial RTL description data to be next created, based on said error-judgment data;
• and
• (d) outputting partial RTL description data causing the same deficiency as deficiency of said input RTL description data, and having a minimum volume of logic description.

An apparatus for creating partial RTL description data, comprising:

• a data reader which stores external-terminal data into a signal-data table, said external-terminal data including a name of a signal of an external terminal of said input RTL description data, and a direction of said signal;
• an internal logic-description extractor which creates intermediate RTL description data including logic description extracted from successive portions of said input RTL description data;
• a signal-data table creator which creates definition/reference data and stores said definition/reference data into said signal-data table, said definition/reference data being indicative of whether each of signals in said intermediate RTL description data is defined and referred to either in said intermediate RTL description data or outside said intermediate RTL description data;
• an external-terminal data creator which judges a category of each of signals in said intermediate RTL description data is an output terminal, an input terminal or an internal signal in said intermediate RTL description data, based on said external-terminal data and said definition/reference data both stored in said signal-data table, and stores the judgment results into said signal-data table as category data;
• and
• a RTL creator which creates data relating to an external terminal, based on said category data stored in said signal-data table, and adds said external-terminal data to said intermediate RTL description data to create partial RTL description data having possibility of causing the same deficiency as that of said input RTL description data.

A method of creating partial RTL description data, comprising:

• storing external-terminal data into a signal-data table, said external-terminal data including a name of a signal of an external terminal of said input RTL description data, and a direction of said signal;
• creating intermediate RTL description data including logic description extracted from successive portions of said input RTL description data;
• creating definition/reference data and storing said definition/reference data into said signal-data table, said definition/reference data being indicative of whether each of signals in said intermediate RTL description data is defined and referred to either in said intermediate RTL description data or outside said intermediate RTL description data;
• judging a category of each of signals in said intermediate RTL description data is an output terminal, an input terminal or an internal signal in said intermediate RTL description data, based on said external-terminal data and said definition/reference data both stored in said signal-data table;
• storing the judgment results into said signal-data table as category data;
• creating data relating to an external terminal, based on said category data stored in said signal-data table;
• and
• adding said external-terminal data to said intermediate RTL description data to create partial RTL description data.

A program for causing a computer to act as an apparatus for creating partial RTL description data, said apparatus comprising:

• a data reader which stores external-terminal data into a signal-data table, said external-terminal data including a name of a signal of an external terminal of said input RTL description data, and a direction of said signal;
• an internal logic-description extractor which creates intermediate RTL description data including logic description extracted from successive portions of said input RTL description data;
• a signal-data table creator which creates definition/reference data and stores said definition/reference data into said signal-data table, said definition/reference data being indicative of whether each of signals in said intermediate RTL description data is defined and referred to either in said intermediate RTL description data or outside said intermediate RTL description data;
• an external-terminal data creator which judges a category of each of signals in said intermediate RTL description data is an output terminal, an input terminal or an internal signal in said intermediate RTL description data, based on said external-terminal data and said definition/reference data both stored in said signal-data table, and stores the judgment results into said signal-data table as category data;
• and
• a RTL creator which creates data relating to an external terminal, based on said category data stored in said signal-data table, and adds said external-terminal data to said intermediate RTL description data to create partial RTL description data having possibility of causing the same deficiency as that of said input RTL description data.

A program for causing a computer to carry out a method of creating partial RTL description data, wherein steps executed by said computer in accordance with said program include:

• storing external-terminal data into a signal-data table, said external-terminal data including a name of a signal of an external terminal of said input RTL description data, and a direction of said signal;
• creating intermediate RTL description data including logic description extracted from successive portions of said input RTL description data;
• creating definition/reference data and storing said definition/reference data into said signal-data table, said definition/reference data being indicative of whether each of signals in said intermediate RTL description data is defined and referred to either in said intermediate RTL description data or outside said intermediate RTL description data;
• judging a category of each of signals in said intermediate RTL description data is an output terminal, an input terminal or an internal signal in said intermediate RTL description data, based on said external-terminal data and said definition/reference data both stored in said signal-data table;
• storing the judgment results into said signal-data table as category data;
• creating data relating to an external terminal, based on said category data stored in said signal-data table;
• and
• adding said external-terminal data to said intermediate RTL description data to create partial RTL description data.