diff options
| author | Eddie Hung <eddie@fpgeh.com> | 2019-12-06 16:35:57 -0800 |
|---|---|---|
| committer | Eddie Hung <eddie@fpgeh.com> | 2019-12-06 16:35:57 -0800 |
| commit | ab667d3d47ceb07a41b571517b4effb0f4a4bf0b (patch) | |
| tree | 61bc383e77c9a3bff694f94310e4c9e11cf4ad05 /passes | |
| parent | c767525441ebc6a21b29bf0c1208049cd38adc8e (diff) | |
| download | yosys-ab667d3d47ceb07a41b571517b4effb0f4a4bf0b.tar.gz yosys-ab667d3d47ceb07a41b571517b4effb0f4a4bf0b.tar.bz2 yosys-ab667d3d47ceb07a41b571517b4effb0f4a4bf0b.zip | |
Call abc9 with "&write -n", and parse_xaiger() to cope
Diffstat (limited to 'passes')
| -rw-r--r-- | passes/techmap/abc9.cc | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/passes/techmap/abc9.cc b/passes/techmap/abc9.cc index 2d1ce318a..6b8936958 100644 --- a/passes/techmap/abc9.cc +++ b/passes/techmap/abc9.cc @@ -30,7 +30,7 @@ "&st; &if -g -K 6; &synch2; &if {W} -v; &save; &load; "\ "&mfs; &ps -l" #else -#define ABC_COMMAND_LUT "&st; &scorr; &sweep; &dc2; &st; &dch -f; &ps; &if {W} {D} -v; &mfs; &ps -l" +#define ABC_COMMAND_LUT "&st; &scorr; &sweep; &dc2; &st; &dch -f; &ps; &if {W} {D} -v; &mfs; &ps -l; &verify -s" #endif @@ -311,7 +311,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *module, std::string scrip for (size_t pos = abc9_script.find("&mfs"); pos != std::string::npos; pos = abc9_script.find("&mfs", pos)) abc9_script = abc9_script.erase(pos, strlen("&mfs")); - abc9_script += stringf("; &write %s/output.aig", tempdir_name.c_str()); + abc9_script += stringf("; &write -n %s/output.aig", tempdir_name.c_str()); abc9_script = add_echos_to_abc9_cmd(abc9_script); for (size_t i = 0; i+1 < abc9_script.size(); i++) |