18、单元库的符号功率分析

单元库的符号功率分析

1. 向量转换系统的顺序独立性

在向量转换系统中，顺序独立性是一个重要的概念。对于无死锁且具有不动点性质的基于向量的转换系统 (T = (S, I, →))，若要判断其是否具有顺序独立性，只需分析输入对，而非完整的输入序列。
- 定理 3 ：设 (T = (S, I, →)) 是一个具有 (m) 个输入且具有不动点性质的无死锁向量转换系统。那么 (T) 是顺序独立的，当且仅当对于所有 (1 ≤ j < k ≤ m)，有 (j ⋄ k)。
- 无死锁性质 ：对于每个当前状态和每个可能的输入转换，都能计算出下一个状态。在晶体管网表的语义中，对于任何输入向量，总能计算出下一个状态，满足此性质。
- 不动点性质 ：达到的状态是稳定的，即两次应用相同的输入向量不会导致与仅应用一次输入向量不同的状态。由晶体管网表使用特定算法构建的向量转换系统总是具有此性质。
- 一步可达交换菱形关系 (⋄) ：该关系用于关联两个输入位置 (1 ≤ j ≠ k ≤ m)。对于每个一步可达状态 (s_0;\vec{i} 0 ∈ S × I)，若 (s_0;\vec{i}_0 \stackrel{j}{\longrightarrow}◦ \stackrel{k}{\longrightarrow} s {12};\vec{i} {12}) 当且仅当 (s_0;\vec{i}_0 \stackrel{k}{\longrightarrow}◦ \stackrel{j}{\longrightarrow} s </