VERIFYING SYSTEM FOR PSEUDO ERROR REDUCING CROSSTALK

摘要

PURPOSE: To verify only a genuine error caused by crosstalk by verifying no pseudo error caused by crosstalk. ;CONSTITUTION: A model correcting means 3 supplies the verification-free polarity information stored in a verification-free polarity information storing mean 1, supplies the model information on a crosstalk verifying logic circuit stored in a model storing means 2, adds the verification-free polarity to the model information to acquire the corrected model information, and stores this corrected information in a corrected model storing means 4. A crosstalk verifying means 5 supplies the corrected model information on the logic circuit stored in the means 4, refers to the verification-free polarity to neglect one of rise and fall signals which are put on the corresponding signal line and free from the verification of crosstalk, and verifies the crosstalk if a part that is set in parallel between signal lines is confirmed in a prescribed space or less and in a prescribed length or more.;COPYRIGHT: (C)1995,JPO