Wire cells

yosys> help $concat

Concatenation of inputs into a single output ( Y = {B, A} ).

Properties:

is_evaluable

Simulation model (verilog)
Listing 246 simlib.v
1625module \$concat (A, B, Y);
1626
1627    parameter A_WIDTH = 0;
1628    parameter B_WIDTH = 0;
1629
1630    input [A_WIDTH-1:0] A;
1631    input [B_WIDTH-1:0] B;
1632    output [A_WIDTH+B_WIDTH-1:0] Y;
1633
1634    assign Y = {B, A};
1635
1636endmodule
yosys> help $connect
Simulation model (verilog)
Listing 247 simlib.v
3232module \$connect (A, B);
3233
3234    parameter WIDTH = 0;
3235
3236    inout [WIDTH-1:0] A;
3237    inout [WIDTH-1:0] B;
3238
3239    tran connect[WIDTH-1:0] (A, B);
3240
3241endmodule
yosys> help $input_port
Simulation model (verilog)
Listing 248 simlib.v
3246module \$input_port (Y);
3247
3248    parameter WIDTH = 0;
3249
3250    inout [WIDTH-1:0] Y;
3251
3252endmodule
yosys> help $slice
Properties:

is_evaluable

Simulation model (verilog)
Listing 249 simlib.v
1604module \$slice (A, Y);
1605
1606    parameter OFFSET = 0;
1607    parameter A_WIDTH = 0;
1608    parameter Y_WIDTH = 0;
1609
1610    input [A_WIDTH-1:0] A;
1611    output [Y_WIDTH-1:0] Y;
1612
1613    assign Y = A >> OFFSET;
1614
1615endmodule