diff options
author | Eddie Hung <eddie@fpgeh.com> | 2020-03-06 10:09:01 -0800 |
---|---|---|
committer | Eddie Hung <eddie@fpgeh.com> | 2020-03-06 10:09:01 -0800 |
commit | 2335c59e5bdd40c16ced821a27de7df00016963a (patch) | |
tree | fbb8cbc3b680f05085f4b8859808f3fea4fa64ee /passes | |
parent | 8b074cc473676288eb9cb04b09fb37ba6d11461a (diff) | |
download | yosys-2335c59e5bdd40c16ced821a27de7df00016963a.tar.gz yosys-2335c59e5bdd40c16ced821a27de7df00016963a.tar.bz2 yosys-2335c59e5bdd40c16ced821a27de7df00016963a.zip |
abc: add abc.debug scratchpad option
Diffstat (limited to 'passes')
-rw-r--r-- | passes/techmap/abc.cc | 5 |
1 files changed, 5 insertions, 0 deletions
diff --git a/passes/techmap/abc.cc b/passes/techmap/abc.cc index 581652a41..e6c189c3e 100644 --- a/passes/techmap/abc.cc +++ b/passes/techmap/abc.cc @@ -1553,6 +1553,11 @@ struct AbcPass : public Pass { show_tempdir = design->scratchpad_get_bool("abc.showtmp", show_tempdir); markgroups = design->scratchpad_get_bool("abc.markgroups", markgroups); + if (design->scratchpad_get_bool("abc.debug")) { + cleanup = false; + show_tempdir = true; + } + size_t argidx, g_argidx; bool g_arg_from_cmd = false; char pwd [PATH_MAX]; |