摘要 |
PROBLEM TO BE SOLVED: To provide an equivalence verification device capable of performing equivalence verification having high reliability, a data processing method thereof, and a program. SOLUTION: The equivalence verification device 100 includes: an acquisition part 102 for acquiring an operation description 31 and an RTL description 32, correspondence information 34 representing a correspondence relation of variables or signals of each description, and bitwidth information 36 representing effective bitwidth of the variables or signals having the correspondence relation; a specifying part 104 for specifying the variables or signals having the correspondence relation on the basis of the acquired information; a signal value function extracting part 106 for extracting a signal value function 38 of the variables or a signals with the effective bitwidth on the basis of bitwidth information 36; a signal value function comparing part 110 for comparing the variables or signals having the correspondence relation while assuming signal values are equal about the effective bitwidth and assuming that signal values are not equal about bitwidth other than the effective bitwidth; and a verification result determining part 112 for determining equivalence on the basis of the comparison result of logical equivalence by the signal value function comparing part 110. COPYRIGHT: (C)2011,JPO&INPIT
|