diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-15 22:04:05 +0300 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2011-10-15 22:04:05 +0300 |
| commit | 6f0b87dd5c5c7f4f5dec04e9c146d60188acf3c2 (patch) | |
| tree | 7cf4aae5a053ccfc02cfb93aea949fc76d83e3c8 /src/base | |
| parent | e4bd4d54408a6677927062ad86d2537dcce42f9d (diff) | |
| download | abc-6f0b87dd5c5c7f4f5dec04e9c146d60188acf3c2.tar.gz abc-6f0b87dd5c5c7f4f5dec04e9c146d60188acf3c2.tar.bz2 abc-6f0b87dd5c5c7f4f5dec04e9c146d60188acf3c2.zip | |
New abstraction code.
Diffstat (limited to 'src/base')
| -rw-r--r-- | src/base/abci/abc.c | 23 |
1 files changed, 12 insertions, 11 deletions
diff --git a/src/base/abci/abc.c b/src/base/abci/abc.c index a8bd177f..f07a5c5c 100644 --- a/src/base/abci/abc.c +++ b/src/base/abci/abc.c @@ -28858,12 +28858,12 @@ int Abc_CommandAbc9GlaDerive( Abc_Frame_t * pAbc, int argc, char ** argv ) */ if ( pAbc->pGia->vGateClasses == NULL ) { - Abc_Print( -1, "Abstraction flop map is missing.\n" ); + Abc_Print( -1, "Abstraction gate map is missing.\n" ); return 0; } -// pTemp = Gia_ManDupAbsGates( pAbc->pGia, pAbc->pGia->vGateClasses ); -// Abc_CommandUpdate9( pAbc, pTemp ); - printf( "This command is currently not enabled.\n" ); + pTemp = Gia_ManDupAbsGates( pAbc->pGia, pAbc->pGia->vGateClasses ); + Abc_CommandUpdate9( pAbc, pTemp ); +// printf( "This command is currently not enabled.\n" ); return 0; usage: @@ -28890,8 +28890,9 @@ int Abc_CommandAbc9GlaCba( Abc_Frame_t * pAbc, int argc, char ** argv ) Saig_ParBmc_t Pars, * pPars = &Pars; int c; Saig_ParBmcSetDefaultParams( pPars ); - pPars->nStart = 0;//(pAbc->nFrames >= 0) ? pAbc->nFrames : 0; - pPars->nFramesMax = pPars->nStart + 10; + pPars->nStart = 0; //(pAbc->nFrames >= 0) ? pAbc->nFrames : 0; + pPars->nFramesMax = 50; //pPars->nStart + 10; + pPars->nConfLimit = 5000; Extra_UtilGetoptReset(); while ( ( c = Extra_UtilGetopt( argc, argv, "SFCMTvh" ) ) != EOF ) { @@ -28971,11 +28972,11 @@ int Abc_CommandAbc9GlaCba( Abc_Frame_t * pAbc, int argc, char ** argv ) Abc_Print( -1, "The network is combinational.\n" ); return 0; } -// pAbc->Status = Gia_ManCbaPerform( pAbc->pGia, pPars ); -// if ( pPars->nStart == 0 ) -// pAbc->nFrames = pPars->iFrame; -// Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexSeq ); - printf( "This command is currently not enabled.\n" ); + pAbc->Status = Gia_ManGlaCbaPerform( pAbc->pGia, pPars ); + if ( pPars->nStart == 0 ) + pAbc->nFrames = pPars->iFrame; + Abc_FrameReplaceCex( pAbc, &pAbc->pGia->pCexSeq ); +// printf( "This command is currently not enabled.\n" ); return 0; usage: |