From 9ef447658e8e8b3bde9562493f83ffb86c3bd90f Mon Sep 17 00:00:00 2001 From: Alan Mishchenko Date: Wed, 20 Jan 2016 15:01:53 -0800 Subject: Bug fix in 'aig', for the case of non-min-base SOPs. --- src/base/abc/abcFunc.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/base/abc/abcFunc.c b/src/base/abc/abcFunc.c index 6b73bdc5..c1fcfce2 100644 --- 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 ) -- cgit v1.2.3