diff options
author | Clifford Wolf <clifford@clifford.at> | 2019-04-20 11:23:24 +0200 |
---|---|---|
committer | Clifford Wolf <clifford@clifford.at> | 2019-04-20 11:23:24 +0200 |
commit | f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24 (patch) | |
tree | ba6aed72aa5e38b799f35aed25a540bdce180fc8 /passes/techmap | |
parent | b7445ef3871b38360440d5c83dbac45c96b67277 (diff) | |
download | yosys-f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24.tar.gz yosys-f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24.tar.bz2 yosys-f3ad8d680a3195ab9525b0a8b3f8dbff9d5e6e24.zip |
Add "techmap -wb", use in formal flows
Signed-off-by: Clifford Wolf <clifford@clifford.at>
Diffstat (limited to 'passes/techmap')
-rw-r--r-- | passes/techmap/techmap.cc | 9 |
1 files changed, 8 insertions, 1 deletions
diff --git a/passes/techmap/techmap.cc b/passes/techmap/techmap.cc index 416bf4f1c..ee319b6e6 100644 --- a/passes/techmap/techmap.cc +++ b/passes/techmap/techmap.cc @@ -385,7 +385,7 @@ struct TechmapWorker { std::string mapmsg_prefix = in_recursion ? "Recursively mapping" : "Mapping"; - if (!design->selected(module) || module->get_blackbox_attribute()) + if (!design->selected(module) || module->get_blackbox_attribute(ignore_wb)) return false; bool log_continue = false; @@ -927,6 +927,9 @@ struct TechmapPass : public Pass { log(" -autoproc\n"); log(" Automatically call \"proc\" on implementations that contain processes.\n"); log("\n"); + log(" -wb\n"); + log(" Ignore the 'whitebox' attribute on cell implementations.\n"); + log("\n"); log(" -assert\n"); log(" this option will cause techmap to exit with an error if it can't map\n"); log(" a selected cell. only cell types that end on an underscore are accepted\n"); @@ -1070,6 +1073,10 @@ struct TechmapPass : public Pass { worker.autoproc_mode = true; continue; } + if (args[argidx] == "-wb") { + worker.ignore_wb = true; + continue; + } break; } extra_args(args, argidx, design); |