abc9_exe: verify -> &verify -s

This commit is contained in:
Eddie Hung 2020-04-14 07:54:11 -07:00
parent 843201ec96
commit 3a27906ac6
1 changed files with 2 additions and 2 deletions

View File

@ -222,9 +222,9 @@ void abc9_module(RTLIL::Design *design, std::string script_file, std::string exe
abc9_script += stringf("; &ps -l; &write -n %s/output.aig", tempdir_name.c_str());
if (design->scratchpad_get_bool("abc9.verify")) {
if (dff_mode)
abc9_script += "; verify -s";
abc9_script += "; &verify -s";
else
abc9_script += "; verify";
abc9_script += "; &verify";
}
abc9_script += "; time";
abc9_script = add_echos_to_abc9_cmd(abc9_script);