24、基于ILP的IVC翻转最大化方法及比较器与运算放大器开关电容滤波器对比

基于ILP的IVC翻转最大化方法及比较器与运算放大器开关电容滤波器对比

基于ILP的IVC翻转最大化方法

在组合电路中，我们可以定义两个连续的主输入向量，使电路网络间的翻转达到最大。组合电路可以表示为零一整数线性规划（也称为二进制整数线性规划），其中包含输入 - 输出约束、线性化约束和翻转约束。

1. 输入 - 输出约束（I/O Constraints）

   • 门的输入和输出关系通过一组约束进行编码。以二进制整数线性规划（BIP）对非门（NOT）、与非门（NAND）和或非门（NOR）进行建模。
   • 对于 n 输入门，设输入为 (x_1, x_2, \cdots, x_n)，输出为 (y)，则输入 - 输出关系如下：
     • 非门：(y = 1 - x_1)
     • 与非门：(y = 1 - \prod_{i} x_i)
     • 或非门：(y = 1 - \sum_{i} x_i + \sum_{i,j} x_i \cdot x_j + \cdots + (-1)^n \prod_{i} x_i)，其中 (y, x_i \in [0, 1])。
   • 为简化，仅使用二输入与非门、二输入或非门和反相器进行 RTL 综合，二输入门的约束如下：
     • 非门：(y = 1 - x_1)
     • 与非门：(y = 1 - x_1 \cdot x_2)
     • 或非门：(y = 1 - (