PURPOSE: To improve the efficiency of a logical verification by providing a time series variation retrieving means, and mechanizing a confirmation of a time series variation of a state value.

CONSTITUTION: The device is constituted so as to contain a time series variation retrieving means 5 for retrieving successively plural data varied in a time series, and extracting and reporting the data varied in accordance with a designated condition. That is, the time series variation retrieving means 3 fetches saved state value information (b) from a simulation result saving means 2 in accordance with a retrieval condition (c) with a time series inputted from an operators and also, outputs retrieval result information (d) as a retrieval result list 4, in the case a fetched state value satisfies the condition. In such a way, a confirmation of a sequence variation of the state value is mechanized. Accordingly, the efficiency of a logical verification can be improved.