首页>
外国专利>
VECTOR RATIONALIZATION DEVICE AND VECTOR RATIONALIZATION PROGRAM
VECTOR RATIONALIZATION DEVICE AND VECTOR RATIONALIZATION PROGRAM
展开▼
机译:矢量合理化设备和矢量合理化计划
展开▼
页面导航
摘要
著录项
相似文献
摘要
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
展开▼