logic - 逻辑等效信号的子信号的逻辑等效

Question

我有两个逻辑输出，我知道它们在逻辑上是等效的（使用 SAT 求解器证明）。现在我从两个信号中选择相同的位。我可以说既然完整的信号是等效的，那么子信号也将是等效的吗？

例如。N 位信号 - Signal-1 和 Signal-2 这两者在逻辑上是等效的。现在我从 Signal-1 中提取 0:1，从 Signal-2 中提取 0:1，现在我想知道这两个新信号的等价性。我可以肯定地说这些将是等效的吗？

我认为它们是等效的，如果我遗漏了什么，请告诉我，或者在任何情况下都可能有所不同。

标签： logicsolversat-solvers

Answer 1

想想对立面。如果sig1[1:0]不等于您的求解器会说吗？sig2[1:0]sig1 == sig2

通过这个论点，以及对多位信号等价的“标准”解释，我想说等价如下。这是假设您有一个两级逻辑公式（即只有 0-1），而不是有时在电路的形式等效检查中发现的 3 或 4 值逻辑。但即使在这些情况下，您也应该能够提出上述相反的论点。