关于unate/non-unate的概念

有的时候DC或者PT，会报non-unate的Warning信息，通常这种警告会出现的clock信号上。那么什么是non-unate呢？unate有什么什么意思呢？

Synopsys的技术文档里是这样描述的：

A function is said to be unate if a rising (or falling) change on a positive (or negative) unate input variable causes the output function variable to rise (or fall) or not change. For a non-unate variable, further state information is required to determine the effects of a particular state transition.

大意就是，一个函数的某个输入变量的变化（rising or falling）导致输出变量有确定的变化（rising or falling）或者输出保持不变，就被称为unate的；反之如果输出变量不能有此输入信号唯一确定，则被称为non-unate的。

最典型的unate cell是INV/AND: INV (negative), AND(positive)；最典型的non-unate cell是XOR。