摘要 |
PROBLEM TO BE SOLVED: To provide a means generating deactivation specification description including a function complying with an inactive code in verification of a logic system for facilitating analysis on a code coverage result. SOLUTION: This logic verification device is provided with a means detecting an inactive code inside the logic system, a means extracting a logic function block including the detected inactive code in the logic system, a means deriving a logic function reaching the inactive code in the logic function block, a means specifying a function of the logic function block including the inactive code, and an output means outputting the derived logic function and contents of the specified function. COPYRIGHT: (C)2006,JPO&NCIPI
|