Logic 逻辑等效信号子信号的逻辑等效
我有两个逻辑输出，我知道它们在逻辑上是等价的（使用SAT解算器验证）。现在我从两个信号中选择相同的位。我可以说，既然完整的信号是等效的，那么子信号也将是等效的吗 N位信号——信号1和信号2——两者在逻辑上是等效的。 现在我从信号1中提取0:1，从信号2中提取0:1，现在我想知道这两个新信号的等价性。我可以肯定地说，这些将相当于Logic 逻辑等效信号子信号的逻辑等效,logic,solver,sat-solvers,Logic,Solver,Sat Solvers,我有两个逻辑输出，我知道它们在逻辑上是等价的（使用SAT解算器验证）。现在我从两个信号中选择相同的位。我可以说，既然完整的信号是等效的，那么子信号也将是等效的吗 N位信号——信号1和信号2——两者在逻辑上是等效的。 现在我从信号1中提取0:1，从信号2中提取0:1，现在我想知道这两个新信号的等价性。我可以肯定地说，这些将相当于 我认为它们是等效的，如果我遗漏了什么，请告诉我，或者在任何情况下都可能不同。想想相反的情况。如果sig1[1:0]不等同于sig2[1:0]您的解算器会说sig1==si
我认为它们是等效的，如果我遗漏了什么，请告诉我，或者在任何情况下都可能不同。想想相反的情况。如果
sig1[1:0]sig2[1:0]sig1==sig2