摘要 |
PROBLEM TO BE SOLVED: To provide a verification device capable of easily checking a relation between a software state and a hardware state at each time of a digital system. SOLUTION: The verification device has a function which checks whether a constraint designated by an operator is satisfied, defining whether to be composed of an operating state of some blocks and a performed state of some functions on the basis of data 42 showing an operating state at each time of each block in the digital system in a state where a program is performed and function trace data 43 showing a period when each function included in the program is performed, and outputs a check result 45. COPYRIGHT: (C)2011,JPO&INPIT
|