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

权利要求书

1.一种逻辑值决定方法，其针对施加于进行了扫描设计的时序电路内的组合电路或单独的组合电路的、由0、1的逻辑值位及未定值位构成的向量中的该未定值位，根据在所述组合电路的一部或全部的外部输入线与该组合电路的一部或全部的外部输出线之间所确定的1对1的对应关系，决定应该给予所述未定值位的目标逻辑值，以使得相对应的所述外部输入线与所述外部输出线之间的相异逻辑值的总数增加或减少，其特征在于，包括：

第一逻辑值决定作业，在所述外部输出线具有逻辑值而与该外部输出线对应的所述外部输入线具有未定值的情况下，将与该外部输入线对应的所述向量的未定值位的目标逻辑值设定为与该外部输出线的逻辑值相同的逻辑值；

第二逻辑值决定作业，在所述外部输出线具有未定值而与该外部输出线对应的所述外部输入线具有逻辑值的情况下，通过合理化操作得到所述向量的未定值位的目标逻辑值，使得在该外部输出线出现该外部输入线的逻辑值；和

第三逻辑值决定作业，在所述外部输入线及与该外部输入线对应的所述外部输出线都具有未定值的情况下，计算该外部输出线取逻辑值0的概率和取逻辑值1的概率，基于其概率差来决定与该外部输入线对应的所述向量的未定值位的目标逻辑值，

所述逻辑值决定方法重复所述第三逻辑值决定作业，直到所述相异逻辑值的总数达到目标值。

2.根据权利要求1所述的逻辑值决定方法，其特征在于，

在为减少所述相异逻辑值的总数的情况下，当在所述第三逻辑值决定作业中所述概率差超过预设基准值时，将概率大的一方的所述外部输出线的逻辑值设为与所述外部输入线对应的所述向量的未定值位的目标逻辑值。

3.根据权利要求1所述的逻辑值决定方法，其特征在于，

在为增加所述相异逻辑值的总数的情况下，当在所述第三逻辑值决定作业中所述概率差超过预设基准值时，将概率小的一方的所述外部输出线的逻辑值设为与所述外部输入线对应的所述向量的未定值位的目标逻辑值。

4.一种逻辑值决定程序，其针对施加于进行了扫描设计的时序电路内的组合电路或单独的组合电路的、由0、1的逻辑值位及未定值位构成的向量中的该未定值位，根据在所述组合电路的一部或全部的外部输入线与该组合电路的一部或全部的外部输出线之间所确定的1对1的对应关系，决定应该给予所述未定值位的目标逻辑值，以使得相对应的所述外部输入线与所述外部输出线之间的相异逻辑值的总数增加或减少，其特征在于，包括：

第一逻辑值决定步骤，在所述外部输出线具有逻辑值而与该外部输出线对应的所述外部输入线具有未定值的情况下，将与该外部输入线对应的所述向量的未定值位的目标逻辑值设定为与该外部输出线的逻辑值相同的逻辑值；

第二逻辑值决定步骤，在所述外部输出线具有未定值而与该外部输出线对应的所述外部输入线具有逻辑值的情况下，通过合理化操作得到所述向量的未定值位的目标逻辑值，使得在该外部输出线出现该外部输入线的逻辑值；

第三逻辑值决定步骤，在所述外部输入线及与该外部输入线对应的所述外部输出线都具有未定值的情况下，计算该外部输出线取逻辑值0的概率和取逻辑值1的概率，基于其概率差来决定与该外部输入线对应的所述向量的未定值位的目标逻辑值；和

相异逻辑值总数判定步骤，重复所述第三逻辑值决定步骤，直到所述相异逻辑值的总数达到目标值。

5.根据权利要求4所述的逻辑值决定程序，其特征在于，

在为减少所述相异逻辑值的总数的情况下，当在所述第三逻辑值决定步骤中所述概率差超过预设基准值时，将概率大的一方的所述外部输出线的逻辑值设为与所述外部输入线对应的所述向量的未定值位的目标逻辑值。

6.根据权利要求4所述的逻辑值决定程序，其特征在于，

在为增加所述相异逻辑值的总数的情况下，当在所述第三逻辑值决定步骤中所述概率差超过预设基准值时，将概率小的一方的所述外部输出线的逻辑值设为与所述外部输入线对应的所述向量的未定值位的目标逻辑值。