luke
/
abc
mirror of https://github.com/YosysHQ/abc.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Sweeper internal dumping.

This commit is contained in:
Alan Mishchenko 2013-11-01 18:59:51 -04:00
parent e2af27f160
commit a0529ec5c8
1 changed files with 5 additions and 7 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
src/aig/gia/giaSweeper.c
View File

@ -427,22 +427,20 @@ Gia_Man_t * Gia_SweeperExtractUserLogic( Gia_Man_t * p, Vec_Int_t * vProbeIds, V
***********************************************************************/
void Gia_SweeperLogicDump( Gia_Man_t * p, Vec_Int_t * vProbeIds, int fDumpConds, char * pFileName )
{
Gia_Man_t * pGiaOuts;
pGiaOuts = Gia_SweeperExtractUserLogic( p, vProbeIds, NULL, NULL );
if ( fDumpConds )
Gia_Man_t * pGiaOuts = Gia_SweeperExtractUserLogic( p, vProbeIds, NULL, NULL );
Vec_Int_t * vProbeConds = Gia_SweeperCondVector( p );
printf( "Dumping logic cones" );
if ( fDumpConds && Vec_IntSize(vProbeConds) > 0 )
{
Vec_Int_t * vProbeConds = Gia_SweeperCondVector( p );
Gia_Man_t * pGiaCond = Gia_SweeperExtractUserLogic( p, vProbeConds, NULL, NULL );
Gia_ManDupAppendShare( pGiaOuts, pGiaCond );
pGiaOuts->nConstrs = Gia_ManPoNum(pGiaCond);
Gia_ManHashStop( pGiaOuts );
Gia_ManStop( pGiaCond );
printf( " and conditions" );
}
Gia_AigerWrite( pGiaOuts, pFileName, 0, 0 );
Gia_ManStop( pGiaOuts );
printf( "Dumped logic cones" );
if ( fDumpConds )
printf( " and conditions" );
printf( " into file \"%s\".\n", pFileName );
}