diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-08-28 20:58:55 -0700 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-08-28 20:58:55 -0700 |
| commit | c4e53108230c246ecf1b014b11c240b71ed39a8a (patch) | |
| tree | 3c1c9e59f7868df3364019d15789ce1a32fc1043 /passes/techmap/abc9.cc | |
| parent | e8e38308689a760b69bd2910a36701b19f64656d (diff) | |
| download | yosys-c4e53108230c246ecf1b014b11c240b71ed39a8a.tar.gz yosys-c4e53108230c246ecf1b014b11c240b71ed39a8a.tar.bz2 yosys-c4e53108230c246ecf1b014b11c240b71ed39a8a.zip | |
Use a dummy box file if none specified
Diffstat (limited to 'passes/techmap/abc9.cc')
| -rw-r--r-- | passes/techmap/abc9.cc | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 968c68b70..11fe9c4a5 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -1027,9 +1027,6 @@ struct Abc9Pass : public Pass { } if (arg == "-box" && argidx+1 < args.size()) { box_file = args[++argidx]; - rewrite_filename(box_file); - if (!box_file.empty() && !is_absolute_path(box_file)) - box_file = std::string(pwd) + "/" + box_file; continue; } if (arg == "-W" && argidx+1 < args.size()) { @@ -1040,6 +1037,14 @@ struct Abc9Pass : public Pass { } extra_args(args, argidx, design); + // ABC expects a box file for XAIG + if (box_file.empty()) + box_file = "+/dummy.box"; + + rewrite_filename(box_file); + if (!box_file.empty() && !is_absolute_path(box_file)) + box_file = std::string(pwd) + "/" + box_file; + dict<int,IdString> box_lookup; for (auto m : design->modules()) { auto it = m->attributes.find(ID(abc_box_id)); |