mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-10-31 03:32:29 +00:00
Code Activity

add min_ce_use and min_srst_use parameters

Browse source
This commit is contained in:
Miodrag Milanovic 2024-08-15 09:42:27 +02:00
parent 14e43139cb
commit 54d237ff82
2 changed files with 22 additions and 2 deletions
Download patch file Download diff file Expand all files Collapse all files

21
techlibs/nanoxplore/synth_nanoxplore.cc
View file

@ -76,6 +76,14 @@ struct SynthNanoXplorePass : public ScriptPass
log(" -nodffe\n"); log(" -nodffe\n");
log(" do not use flipflops with L in output netlist\n"); log(" do not use flipflops with L in output netlist\n");
log("\n"); log("\n");
log(" -min_ce_use <min_ce_use>\n");
log(" do not use flip-flops with load signal if the resulting count is less\n");
log(" than min_ce_use in output netlist\n");
log("\n");
log(" -min_srst_use <min_srst_use>\n");
log(" do not use flip-flops with async reset signal if the resulting count is less\n");
log(" than min_srst_use in output netlist\n");
log("\n");
log(" -norfram\n"); log(" -norfram\n");
log(" do not use Register File RAM cells in output netlist\n"); log(" do not use Register File RAM cells in output netlist\n");
log("\n"); log("\n");
@ -102,6 +110,7 @@ struct SynthNanoXplorePass : public ScriptPass
string top_opt, json_file, family; string top_opt, json_file, family;
bool flatten, abc9, nocy, nodffe, norfram, nobram, nodsp, noiopad, no_rw_check; bool flatten, abc9, nocy, nodffe, norfram, nobram, nodsp, noiopad, no_rw_check;
std::string postfix; std::string postfix;
int min_ce_use, min_srst_use;
void clear_flags() override void clear_flags() override
{ {
@ -118,6 +127,8 @@ struct SynthNanoXplorePass : public ScriptPass
noiopad = false; noiopad = false;
no_rw_check = false; no_rw_check = false;
postfix = ""; postfix = "";
min_ce_use = 8;
min_srst_use = 8;
} }
void execute(std::vector<std::string> args, RTLIL::Design *design) override void execute(std::vector<std::string> args, RTLIL::Design *design) override
@ -168,6 +179,14 @@ struct SynthNanoXplorePass : public ScriptPass
nodffe = true; nodffe = true;
continue; continue;
} }
if (args[argidx] == "-min_ce_use" && argidx+1 < args.size()) {
min_ce_use = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-min_srst_use" && argidx+1 < args.size()) {
min_srst_use = atoi(args[++argidx].c_str());
continue;
}
if (args[argidx] == "-norfram") { if (args[argidx] == "-norfram") {
norfram = true; norfram = true;
continue; continue;
@ -312,7 +331,7 @@ struct SynthNanoXplorePass : public ScriptPass
} else if (!nodffe) { } else if (!nodffe) {
dfflegalize_args += " -cell $_DFFE_?P_ 01 -cell $_DFFE_?P?P_ r -cell $_SDFFE_?P?P_ r"; dfflegalize_args += " -cell $_DFFE_?P_ 01 -cell $_DFFE_?P?P_ r -cell $_SDFFE_?P?P_ r";
} }
dfflegalize_args += " -cell $_DLATCH_?_ x -mince 8 -minsrst 8"; dfflegalize_args += stringf(" -cell $_DLATCH_?_ x -mince %d -minsrst %d", min_ce_use, min_srst_use);
run("dfflegalize" + dfflegalize_args,"($_*DFFE_* only if not -nodffe)"); run("dfflegalize" + dfflegalize_args,"($_*DFFE_* only if not -nodffe)");
run("opt_merge"); run("opt_merge");
run("techmap -map +/nanoxplore/latches_map.v"); run("techmap -map +/nanoxplore/latches_map.v");

3
tests/arch/nanoxplore/dffs.ys
View file

@ -13,9 +13,10 @@ select -assert-none t:NX_DFF %% t:* %D
design -load read design -load read
hierarchy -top dffe hierarchy -top dffe
proc proc
equiv_opt -assert -async2sync -map +/nanoxplore/cells_sim.v synth_nanoxplore -noiopad # equivalency check equiv_opt -assert -async2sync -map +/nanoxplore/cells_sim.v synth_nanoxplore -noiopad -min_ce_use 0 # equivalency check
design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design) design -load postopt # load the post-opt design (otherwise equiv_opt loads the pre-opt design)
cd dffe # Constrain all select calls below inside the top module cd dffe # Constrain all select calls below inside the top module
stat
select -assert-count 1 t:NX_DFF select -assert-count 1 t:NX_DFF
select -assert-none t:NX_DFF %% t:* %D select -assert-none t:NX_DFF %% t:* %D