btor backend: add option to not include internal names
[yosys.git] / techlibs / xilinx / xcu_dsp_map.v
1 module \$__MUL27X18 (input [26:0] A, input [17:0] B, output [44:0] Y);
2 parameter A_SIGNED = 0;
3 parameter B_SIGNED = 0;
4 parameter A_WIDTH = 0;
5 parameter B_WIDTH = 0;
6 parameter Y_WIDTH = 0;
7
8 wire [47:0] P_48;
9 DSP48E2 #(
10 // Disable all registers
11 .ACASCREG(0),
12 .ADREG(0),
13 .A_INPUT("DIRECT"),
14 .ALUMODEREG(0),
15 .AREG(0),
16 .BCASCREG(0),
17 .B_INPUT("DIRECT"),
18 .BREG(0),
19 .CARRYINREG(0),
20 .CARRYINSELREG(0),
21 .CREG(0),
22 .DREG(0),
23 .INMODEREG(0),
24 .MREG(0),
25 .OPMODEREG(0),
26 .PREG(0),
27 .USE_MULT("MULTIPLY"),
28 .USE_SIMD("ONE48"),
29 .AMULTSEL("A"),
30 .BMULTSEL("B")
31 ) _TECHMAP_REPLACE_ (
32 //Data path
33 .A({{3{A[26]}}, A}),
34 .B(B),
35 .C(48'b0),
36 .D(27'b0),
37 .P(P_48),
38
39 .INMODE(5'b00000),
40 .ALUMODE(4'b0000),
41 .OPMODE(9'b00000101),
42 .CARRYINSEL(3'b000),
43
44 .ACIN(30'b0),
45 .BCIN(18'b0),
46 .PCIN(48'b0),
47 .CARRYIN(1'b0)
48 );
49 assign Y = P_48;
50 endmodule
51