摘要 |
An apparatus for giving assistance in analyzing deficiency in a RTL-input program, includes 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 the input RTL description data, an estimator which receives the partial RTL description data to execute a RTL-input program, and creates error-judgment data indicative of whether the 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 the partial RTL creator, based on the error-judgment data, and outputs partial RTL description data causing the same deficiency as deficiency of the input RTL description data, and having a minimum volume of logic description.
|