Patent ID: 7543257

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 the partial RTL description data and created to create an execution log to be analyzed, and 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 sentences contained in the 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 execution controller: fixates a first limit of a range in which logic description is to be extracted from said input RTL description data, at one of first and final logic description sentences of said input RTL description data, and sets a second limit of said range variable, determines partial RTL description data which includes logic description sentences starting from a logic description sentence disposed at said fixated first limit in said input RTL description data, causes the same deficiency as deficiency of said input RTL description data, and has a minimum volume of logic description, fixates said second limit at a logic description sentence disposed at a limit of the thus determined partial RTL description data, and sets said fixated first limit variable, and determines partial RTL description data which includes logic description sentences starting from a logic description sentence disposed at said fixated limit of said determined partial RTL description data, causes the same deficiency as deficiency of said input RTL description data, and has a minimum volume of logic description.