luke/abc
1
0
Fork 0
mirror of https://github.com/YosysHQ/abc.git synced 2026-09-07 11:11:19 +02:00
Code Issues Packages Projects Releases Wiki Activity

Fixing the problem with 'phase -c'.

Browse Source
This commit is contained in:
Alan Mishchenko
2014-05-29 10:39:55 -07:00
parent bfa48cef2a
commit ccaa96549f
5 changed files with 64 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files
src/misc/extra/extraUtilSupp.c
+1 -1
View File
@@ -648,7 +648,7 @@ void Abc_SuppReadMinTest( char * pFileName )
{
int fVerbose = 0;
abctime clk = Abc_Clock();
word Matrix[64];
// word Matrix[64];
int nVars, nVarsMin;
Vec_Wrd_t * vPairs, * vCubes;
vCubes = Abc_SuppReadMin( pFileName, &nVars );
src/misc/util/utilCex.c
+3 -3
View File
@@ -396,9 +396,9 @@ Abc_Cex_t * Abc_CexTransformPhase( Abc_Cex_t * p, int nPisOld, int nPosOld, int
assert( p->iPo < nPosNew );
pCex = Abc_CexDup( p, nRegsOld );
pCex->nPis = nPisOld;
pCex->iPo = p->iPo % nPosOld;
pCex->iFrame = p->iFrame * nFrames + p->iPo / nPosOld;
pCex->nBits = pCex->nRegs + pCex->nPis * (pCex->iFrame + 1);
pCex->iPo = -1;
pCex->iFrame = (p->iFrame + 1) * nFrames - 1;
pCex->nBits = p->nBits;
return pCex;
}