[发明专利]逻辑值决定方法及逻辑值决定程序

摘要

本发明提供一种能够指定不会降低测试的检出能力的未定值位、并在短时间内决定该未定值位的逻辑值的逻辑值决定方法及逻辑值决定程序。对组合电路(11)的相对应的外部输入线与外部输出线之间的相异逻辑值的总数进行调整的未定值位的逻辑值决定方法，包括第一逻辑值决定作业、第二逻辑值决定作业和第三逻辑值决定作业，所述第一逻辑值决定作业，在外部输出线为逻辑值而外部输入线为未定值的情况下，将未定值位的逻辑值设定为外部输出线的逻辑值；所述第二逻辑值决定作业，在外部输出线为未定值而外部输入线为逻辑值的情况下，通过合理化操作得到未定值位的逻辑值；所述第三逻辑值决定作业，在外部输入线及外部输出线为未定值的情况下，计算外部输出线取逻辑值0的概率和取逻辑值1的概率，基于其概率差来决定外部输入线的未定值位的逻辑值；所述逻辑值决定方法重复第三逻辑值决定作业，直到相异逻辑值的总数达到目标值。

主权项

一种逻辑值决定方法，其针对施加于进行了扫描设计的时序电路内的组合电路或单独的组合电路的、由0、1的逻辑值位及未定值位构成的向量中的该未定值位，根据在所述组合电路的一部或全部的外部输入线与该组合电路的一部或全部的外部输出线之间所确定的1对1的对应关系，决定应该给予所述未定值位的目标逻辑值，以使得相对应的所述外部输入线与所述外部输出线之间的相异逻辑值的总数增加或减少，其特征在于，包括：第一逻辑值决定作业，在所述外部输出线具有逻辑值而与该外部输出线对应的所述外部输入线具有未定值的情况下，将与该外部输入线对应的所述向量的未定值位的目标逻辑值设定为与该外部输出线的逻辑值相同的逻辑值；第二逻辑值决定作业，在所述外部输出线具有未定值而与该外部输出线对应的所述外部输入线具有逻辑值的情况下，通过合理化操作得到所述向量的未定值位的目标逻辑值，使得在该外部输出线出现该外部输入线的逻辑值；和第三逻辑值决定作业，在所述外部输入线及与该外部输入线对应的所述外部输出线都具有未定值的情况下，计算该外部输出线取逻辑值0的概率和取逻辑值1的概率，基于其概率差来决定与该外部输入线对应的所述向量的未定值位的目标逻辑值，所述逻辑值决定方法重复所述第三逻辑值决定作业，直到所述相异逻辑值的总数达到目标值。