mirror of
https://github.com/YosysHQ/yosys
synced 2026-06-26 18:48:51 +00:00
19 lines
217 B
Text
19 lines
217 B
Text
read_verilog <<EOT
|
|
|
|
module top(...);
|
|
|
|
input [3:0] A;
|
|
input S;
|
|
output [1:0] Y;
|
|
|
|
wire [3:0] A1 = A + 1;
|
|
wire [3:0] A2 = A + 2;
|
|
assign Y = S ? A1[3:2] : A2[3:2];
|
|
|
|
endmodule
|
|
|
|
EOT
|
|
|
|
proc
|
|
alumacc
|
|
equiv_opt -assert opt_share
|