Skip to content

synth_gatemate: add -noconstmult option #5272

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Open
wants to merge 1 commit into
base: main
Choose a base branch
from
Open

synth_gatemate: add -noconstmult option #5272

Show file tree
Hide file tree
Changes from all commits
Commits
Show all changes
1 commit
Select commit
File filter

Filter by extension

Filter by extension
Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
8 changes: 8 additions & 0 deletions techlibs/gatemate/mul_map.v
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -26,6 +26,9 @@ module \$__MULMXN (A, B, Y);
parameter B_WIDTH = 1;
parameter Y_WIDTH = 1;

parameter [A_WIDTH-1:0] _TECHMAP_CONSTMSK_A_ = {A_WIDTH{1'b0}};
parameter [A_WIDTH-1:0] _TECHMAP_CONSTMSK_B_ = {B_WIDTH{1'b0}};

(* force_downto *)
input [A_WIDTH-1:0] A;
(* force_downto *)
Expand All @@ -37,6 +40,11 @@ module \$__MULMXN (A, B, Y);
localparam B_ADJWIDTH = B_WIDTH + (B_SIGNED ? 0 : 1);

generate
`ifdef NO_CONST_MULT
if (|_TECHMAP_CONSTMSK_A_ != 0 || |_TECHMAP_CONSTMSK_B_ != 0) begin
wire _TECHMAP_FAIL_ = 1'b1;
end
`endif
if (A_SIGNED) begin: blkA
wire signed [A_ADJWIDTH-1:0] Aext = $signed(A);
end
Expand Down
26 changes: 19 additions & 7 deletions techlibs/gatemate/synth_gatemate.cc
View file
Open in desktop
Original file line number Diff line number Diff line change
Expand Up @@ -41,12 +41,12 @@ struct SynthGateMatePass : public ScriptPass
log(" use the specified module as top module.\n");
log("\n");
log(" -vlog <file>\n");
log(" write the design to the specified verilog file. Writing of an output\n");
log(" file is omitted if this parameter is not specified.\n");
log(" write the design to the specified verilog file. Writing of an\n");
log(" output file is omitted if this parameter is not specified.\n");
log("\n");
log(" -json <file>\n");
log(" write the design to the specified JSON file. Writing of an output file\n");
log(" is omitted if this parameter is not specified.\n");
log(" write the design to the specified JSON file. Writing of an output\n");
log(" file is omitted if this parameter is not specified.\n");
log("\n");
log(" -run <from_label>:<to_label>\n");
log(" only run the commands between the labels (see below). An empty\n");
Expand All @@ -65,11 +65,15 @@ struct SynthGateMatePass : public ScriptPass
log(" -nomult\n");
log(" do not use CC_MULT multiplier cells in output netlist.\n");
log("\n");
log(" -noconstmult\n");
log(" do not use CC_MULT multiplier cells to multiply with a constants\n");
log(" in output netlist.\n");
log("\n");
log(" -nomx8, -nomx4\n");
log(" do not use CC_MX{8,4} multiplexer cells in output netlist.\n");
log("\n");
log(" -luttree\n");
log(" use new LUT tree mapping approach (EXPERIMENTAL).\n");
log(" use new LUT tree mapping approach (for nextpnr output).\n");
log("\n");
log(" -dff\n");
log(" run 'abc' with -dff option\n");
Expand All @@ -90,7 +94,7 @@ struct SynthGateMatePass : public ScriptPass
}

string top_opt, vlog_file, json_file;
bool noflatten, nobram, noaddf, nomult, nomx4, nomx8, luttree, dff, retime, noiopad, noclkbuf;
bool noflatten, nobram, noaddf, nomult, noconstmult, nomx4, nomx8, luttree, dff, retime, noiopad, noclkbuf;

void clear_flags() override
{
Expand All @@ -101,6 +105,7 @@ struct SynthGateMatePass : public ScriptPass
nobram = false;
noaddf = false;
nomult = false;
noconstmult = false;
nomx4 = false;
nomx8 = false;
luttree = false;
Expand Down Expand Up @@ -154,6 +159,10 @@ struct SynthGateMatePass : public ScriptPass
nomult = true;
continue;
}
if (args[argidx] == "-noconstmult") {
noconstmult = true;
continue;
}
if (args[argidx] == "-nomx4") {
nomx4 = true;
continue;
Expand Down Expand Up @@ -232,7 +241,10 @@ struct SynthGateMatePass : public ScriptPass

if (check_label("map_mult", "(skip if '-nomult')") && !nomult)
{
run("techmap -map +/gatemate/mul_map.v");
if (help_mode)
run("techmap -map +/gatemate/mul_map.v [-D NO_CONST_MULT]", "(-D NO_CONST_MULT if -noconstmult)");
else
run(stringf("techmap -map +/gatemate/mul_map.v %s", noconstmult ? "-D NO_CONST_MULT" : ""));
}

if (check_label("coarse"))
Expand Down
Loading