diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-16 00:11:33 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2014-03-16 00:11:33 -0700 |
| commit | 7a3e57a4cb174325f7d78cedecb75da6f2b87fc5 (patch) | |
| tree | b6950049f19506c87c8cd4ccd26cdd767170a51e /src/opt/cgt/cgt.h | |
| parent | 8826ed6d4f2403c2ff71596cb5a16a8be0c60104 (diff) | |
| download | abc-7a3e57a4cb174325f7d78cedecb75da6f2b87fc5.tar.gz abc-7a3e57a4cb174325f7d78cedecb75da6f2b87fc5.tar.bz2 abc-7a3e57a4cb174325f7d78cedecb75da6f2b87fc5.zip | |
Synchronizing with the recent version.
Diffstat (limited to 'src/opt/cgt/cgt.h')
| -rw-r--r-- | src/opt/cgt/cgt.h | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/opt/cgt/cgt.h b/src/opt/cgt/cgt.h index 73edbfc3..e92f4e31 100644 --- a/src/opt/cgt/cgt.h +++ b/src/opt/cgt/cgt.h @@ -69,7 +69,8 @@ struct Cgt_Par_t_ /*=== cgtCore.c ==========================================================*/ extern void Cgt_SetDefaultParams( Cgt_Par_t * p ); -extern Vec_Vec_t * Cgt_ClockGatingCandidates( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars ); +extern Vec_Vec_t * Cgt_ClockGatingCandidates( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_Int_t * vUseful ); +extern Vec_Vec_t * Cgt_ClockGatingInt( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars, Vec_Int_t * vUseful ); extern Aig_Man_t * Cgt_ClockGating( Aig_Man_t * pAig, Aig_Man_t * pCare, Cgt_Par_t * pPars ); |