mirrors/yosys
3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-24 01:25:33 +00:00
Code Activity

Merge branch 'xaig' of github.com:YosysHQ/yosys into xaig

Browse source
This commit is contained in:
Eddie Hung 2019-06-14 10:29:16 -07:00
commit 751e640c1d
8 changed files with 188 additions and 66 deletions
Download patch file Download diff file Expand all files Collapse all files

3
backends/aiger/xaiger.cc
View file

@ -826,8 +826,7 @@ struct XAigerWriter
Pass::call(holes_module->design, "flatten -wb");
// TODO: Should techmap all lib_whitebox-es once
//Pass::call(holes_module->design, "techmap");
Pass::call(holes_module->design, "techmap");
Pass::call(holes_module->design, "aigmap");
Pass::call(holes_module->design, "clean -purge");