Skip to content

A
abc
Commit 3b694a70 by Alan Mishchenko
Options

Adding AIG rehashing after LUT mapping in Gia.

parent 26ec3868
Showing with 0 additions and 3 deletions
src/base/abci/abc.c
......@@ -27682,10 +27682,7 @@ int Abc_CommandAbc9Strash( Abc_Frame_t * pAbc, int argc, char ** argv )
return 1;
}
if ( Gia_ManHasMapping(pAbc->pGia) && fRehashMap )
{
extern Gia_Man_t * Gia_ManDupHashMapping( Gia_Man_t * p );
pTemp = Gia_ManDupHashMapping( pAbc->pGia );
}
else if ( Gia_ManHasMapping(pAbc->pGia) && pAbc->pGia->vConfigs )
pTemp = (Gia_Man_t *)If_ManDeriveGiaFromCells( pAbc->pGia );
else if ( Gia_ManHasMapping(pAbc->pGia) )
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment