mirror of https://github.com/YosysHQ/yosys.git
42 lines
884 B
Plaintext
42 lines
884 B
Plaintext
verific -sv -lib +/quicklogic/qlf_k6n10f/dsp_sim.v
|
|
|
|
verific -sv <<EOF
|
|
module top (
|
|
input wire [19:0] a,
|
|
input wire [17:0] b,
|
|
output wire [37:0] z,
|
|
input wire clk,
|
|
input wire reset,
|
|
input wire unsigned_a,
|
|
input wire unsigned_b,
|
|
input wire f_mode,
|
|
input wire [2:0] output_select,
|
|
input wire register_inputs
|
|
);
|
|
|
|
// module instantiation
|
|
QL_DSP2_MULT_REGIN_REGOUT #(
|
|
.MODE_BITS(80'h1232324)
|
|
) u1 (
|
|
.a (a),
|
|
.b (b),
|
|
.z (z),
|
|
.clk (clk),
|
|
.reset (reset),
|
|
|
|
.unsigned_a (unsigned_a),
|
|
.unsigned_b (unsigned_b),
|
|
|
|
.f_mode (f_mode),
|
|
.output_select (output_select),
|
|
.register_inputs (register_inputs)
|
|
);
|
|
endmodule
|
|
|
|
EOF
|
|
|
|
verific -import top
|
|
hierarchy -top top
|
|
synth_quicklogic -family qlf_k6n10f
|
|
select -assert-count 1 t:QL_DSP2_MULT_REGIN_REGOUT a:MODE_BITS=80'h1232324
|