Bug fix in 'aig', for the case of non-min-base SOPs.

9ef44765 · Alan Mishchenko · df34a262 · 9ef44765
Commit 9ef44765 authored Jan 20, 2016 by Alan Mishchenko
Hide whitespace changes
Inline Side-by-side

Showing with 1 additions and 0 deletions

src/base/abc/abcFunc.c
+1 -0

No files found.
--- a/src/base/abc/abcFunc.c
+++ b/src/base/abc/abcFunc.c
@@ -819,6 +819,7 @@ int Abc_NtkSopToAig( Abc_Ntk_t * pNtk )

    // start the functionality manager
    pMan = Hop_ManStart();
+    Hop_IthVar( pMan, Abc_NtkGetFaninMax(pNtk)-1 );

    // convert each node from SOP to BDD
    Abc_NtkForEachNode( pNtk, pNode, i )