github.com/YosysHQ.yosys
1
0
Fork 0
mirror of synced 2026-02-21 23:17:29 +00:00
Code Issues Releases Wiki Activity

Merge pull request #5620 from YosysHQ/lofty/abc9-verify

Browse Source 
abc9: verify post-mapping equivalence by default
This commit is contained in:
Miodrag Milanović
2026-02-20 13:41:11 +01:00
committed by GitHub
parent 094481739f 5a9d73369a
commit 0ed7c5ad53
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
passes/techmap/abc9_exe.cc
View File

@@ -248,7 +248,7 @@ 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);
if (design->scratchpad_get_bool("abc9.verify")) {
if (design->scratchpad_get_bool("abc9.verify", true)) {
if (dff_mode)
abc9_script += "; &verify -s";
else