mirror of
https://github.com/YosysHQ/yosys.git
synced 2026-09-06 20:12:09 +02:00
20 lines
217 B
Plaintext
20 lines
217 B
Plaintext
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
|