19 lines
464 B
Coq
19 lines
464 B
Coq
|
//-------------------------------------------------------
|
||
|
|
// Functionality: A 8-bit multiply circuit using macro
|
||
|
|
// Author: Tarachand Pagarani
|
||
|
|
//-------------------------------------------------------
|
||
|
|
|
||
|
|
module mult16(a, b, out);
|
||
|
|
parameter DATA_WIDTH = 16; /* declare a parameter. default required */
|
||
|
|
input [DATA_WIDTH - 1 : 0] a, b;
|
||
|
|
output [2*DATA_WIDTH - 1 : 0] out;
|
||
|
|
|
||
|
|
(* keep *)
|
||
|
|
mult_16 #(.MODE(1'b0)) DSP (
|
||
|
|
.A(a),
|
||
|
|
.B(b),
|
||
|
|
.Y(out),
|
||
|
|
);
|
||
|
|
|
||
|
|
endmodule
|