diff options
| author | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-08 20:19:56 -0700 |
|---|---|---|
| committer | Alan Mishchenko <alanmi@berkeley.edu> | 2015-03-08 20:19:56 -0700 |
| commit | 193c46e3c639d8cd0fc2f661648c091371a7717d (patch) | |
| tree | 6b672f8c7946dc36639c8372729ad3f2e77902c2 /src/map/if/ifTune.c | |
| parent | 56f783157abf00a7d3d9744a75fa1503ea698262 (diff) | |
| download | abc-193c46e3c639d8cd0fc2f661648c091371a7717d.tar.gz abc-193c46e3c639d8cd0fc2f661648c091371a7717d.tar.bz2 abc-193c46e3c639d8cd0fc2f661648c091371a7717d.zip | |
Support for representing programmable cell configuration data.
Diffstat (limited to 'src/map/if/ifTune.c')
| -rw-r--r-- | src/map/if/ifTune.c | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/src/map/if/ifTune.c b/src/map/if/ifTune.c index a0e95eaa..57b935e2 100644 --- a/src/map/if/ifTune.c +++ b/src/map/if/ifTune.c @@ -738,8 +738,9 @@ int Ifn_ManSatFindCofigBitsTest( Ifn_Ntk_t * p, word * pTruth, int nVars, word P SeeAlso [] ***********************************************************************/ -int If_ManSatDeriveGiaFromBits( Gia_Man_t * pNew, Ifn_Ntk_t * p, word * pConfigData, Vec_Int_t * vLeaves, Vec_Int_t * vCover ) +int If_ManSatDeriveGiaFromBits( void * pGia, Ifn_Ntk_t * p, word * pConfigData, Vec_Int_t * vLeaves, Vec_Int_t * vCover ) { + Gia_Man_t * pNew = (Gia_Man_t *)pGia; int i, k, iLit, iVar = 0, nVarsNew, pVarMap[1000]; int nTtBits = p->nParsVIni - p->nObjs; int nPermBits = Abc_Base2Log(p->nInps + 1) + 1; |