Упростите комбинационную логику с помощью yosys

Question

Мне интересно, можно ли использовать 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", но это не уменьшило уравнение.