3
0
Fork 0
mirror of https://github.com/YosysHQ/yosys synced 2025-04-27 02:45:52 +00:00

Merge branch 'xaig' into xc7mux

This commit is contained in:
Eddie Hung 2019-04-16 13:15:53 -07:00
commit fc5fda595d
2 changed files with 1 additions and 3 deletions

View file

@ -414,8 +414,7 @@ void abc9_module(RTLIL::Design *design, RTLIL::Module *current_module, std::stri
RTLIL::Selection& sel = design->selection_stack.back();
sel.select(module);
// Adopt same behaviour as abc
// TODO: How to specify don't-care to abc9?
// Behave as for "abc" where BLIF writer implicitly outputs all undef as zero
Pass::call(design, "setundef -zero");
Pass::call(design, "aigmap");