使用yosys简化组合逻辑

我想知道是否有可能使用Yosys来简化逻辑方程。

例如:

module top
(
    output [31:0] cipher,
    input  [31:0] plain,
    input  [63:0] key
);

    wire tmp = key[31:0];
    wire tmp2 = key[63:32] & 0;

    assign cipher = (tmp & plain) | tmp2;

endmodule

当我使用命令"show“时,它会绘制电路:

?

我尝试使用"opt“和"freduce”命令,但它并没有减少等式。

转载请注明出处:http://www.intsu.net/article/20230526/2524713.html