Patent ID: 8191031

Claim:
An apparatus for giving assistance in analyzing deficiency in a RTL-input program, 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 with said partial RTL description data created to create an execution log to be analyzed in order to create 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 on a number of logic description sentence contained in said input RTL description 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, wherein said partial RTL creator comprises: 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.