To reduce duplicate description to link to creation of a plurality of new efficient vectors.SOLUTION: A vector rationalization device comprises: log collecting means 11 for inputting a plurality of vectors for causing a digital verification device for verifying operation of a state machine to perform verification operation and obtain a log corresponding to the plurality of the vectors; overlapped sequence detection means 12 for inspecting the log corresponding to the plurality of the vectors to detect an overlapped sequence; and warning display processing means 13 for displaying an alarm indicating presence of the overlapped sequence when the overlapped sequence is detected by the overlapped sequence detection means 12.SELECTED DRAWING: Figure 1
展开▼