摘要 |
<p>PROBLEM TO BE SOLVED: To provide a design verification device capable of efficiently verifying equivalence of description using a prescribed language before and after a design change.SOLUTION: The device includes: difference extraction means for comparing first description described in a prescribed language with second description which is partially different from the first description, and extracting first difference description and second difference description which are parts of the first description that are different from the second description as well as third difference description which is a part of the second description that is different from the first description; dependence extraction means for extracting first dependence description which affects the first difference description and the second difference description, from the first description; comparison description generation means for generating first comparison description which includes the first difference description, the second difference description and the first dependence description as well as second comparison description which includes the third difference description; and equivalence verification means for verifying equivalence between the first comparison description and the second comparison description.</p> |