Searched refs:nDigitsOut (Results 1 – 1 of 1) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcGen.c | 604 int i, k, Counter, nDigitsIn, nDigitsOut; in Abc_GenOneHot() local
614 nDigitsOut = Abc_Base10Log( nVars * (nVars - 1) / 2 ); in Abc_GenOneHot()
616 fprintf( pFile, " o%0*d", nDigitsOut, i ); in Abc_GenOneHot()
622 … fprintf( pFile, ".names i%0*d i%0*d o%0*d\n", nDigitsIn, i, nDigitsIn, k, nDigitsOut, Counter ); in Abc_GenOneHot()
646 int i, j, k, iReg1, iReg2, Counter, Counter2, nDigitsIn, nDigitsOut; in Abc_GenOneHotIntervals() local
664 nDigitsOut = Abc_Base10Log( Counter ); in Abc_GenOneHotIntervals()
666 fprintf( pFile, " o%0*d", nDigitsOut, i ); in Abc_GenOneHotIntervals()
674 ….names i%0*d i%0*d o%0*d\n", nDigitsIn, nPis+iReg1, nDigitsIn, nPis+iReg2, nDigitsOut, Counter2 ); in Abc_GenOneHotIntervals()
|