From 5e280a3b591d3d8b556992b0708fcaaf6a6a3e0d Mon Sep 17 00:00:00 2001 From: Eddie Hung Date: Thu, 9 Jan 2020 14:04:10 -0800 Subject: [PATCH] abc9_exe: -box to not require -lut --- passes/techmap/abc9_exe.cc | 13 ++++--------- 1 file changed, 4 insertions(+), 9 deletions(-) diff --git a/passes/techmap/abc9_exe.cc b/passes/techmap/abc9_exe.cc index f7dafda96..b3afaebe6 100644 --- a/passes/techmap/abc9_exe.cc +++ b/passes/techmap/abc9_exe.cc @@ -188,20 +188,15 @@ void abc9_module(RTLIL::Design *design, std::string script_file, std::string exe std::string abc9_script; - if (!lut_costs.empty()) { + if (!lut_costs.empty()) abc9_script += stringf("read_lut %s/lutdefs.txt; ", tempdir_name.c_str()); - if (!box_file.empty()) - abc9_script += stringf("read_box %s; ", box_file.c_str()); - } else - if (!lut_file.empty()) { + if (!lut_file.empty()) abc9_script += stringf("read_lut %s; ", lut_file.c_str()); - if (!box_file.empty()) - abc9_script += stringf("read_box %s; ", box_file.c_str()); - } else log_abort(); + abc9_script += stringf("read_box %s; ", box_file.c_str()); abc9_script += stringf("&read %s/input.xaig; &ps; ", tempdir_name.c_str()); if (!script_file.empty()) { @@ -355,7 +350,7 @@ struct Abc9ExePass : public Pass { log(" command output is identical across runs.\n"); log("\n"); log(" -box \n"); - log(" pass this file with box library to ABC. Use with -lut.\n"); + log(" pass this file with box library to ABC.\n"); log("\n"); log(" -cwd \n"); log(" use this as the current working directory, inside which the 'input.xaig'\n"); -- 2.30.2