假设我们有两个，例如32 位输入寄存器和一个同样宽的输出寄存器，并通过布尔函数链接这些寄存器的各个位。有没有一种方法可以用将寄存器视为 32 位值的函数来表达这些按位连接？
我考虑了不同众所周知的结构（如加法器、乘法器等）的模板识别以及 Z3 解算器。
也许有人有更好的主意？
您提到的模板方法（即某些结构（如加法器/乘法器）的“模式识别”）是最好的方法，使用 z3 来确保您的“猜测”是正确的。
请注意，这通常是一个非常困难的问题。不仅“词对等”没有唯一定义，而且问题最终与图同构/派系识别非常相似；因此计算成本很高。 （请注意，“检查”您的猜测是否正确通常要容易得多。）