Home
last modified time | relevance | path

Searched refs:pDelayTable (Results 1 – 4 of 4) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/tim/
H A DtimDump.c51 float * pDelayTable; in Tim_ManSave() local
81 Tim_ManForEachTable( p, pDelayTable, i ) in Tim_ManSave()
83 assert( (int)pDelayTable[0] == i ); in Tim_ManSave()
85 Vec_StrPutI_ne( vStr, (int)pDelayTable[0] ); in Tim_ManSave()
86 Vec_StrPutI_ne( vStr, (int)pDelayTable[1] ); in Tim_ManSave()
89 TableSize = (int)pDelayTable[1] * (int)pDelayTable[2]; in Tim_ManSave()
91 Vec_StrPutF( vStr, pDelayTable[k+3] ); in Tim_ManSave()
121 float * pDelayTable; in Tim_ManLoad() local
174 pDelayTable[0] = TableId; in Tim_ManLoad()
175 pDelayTable[1] = TableX; in Tim_ManLoad()
[all …]
H A DtimMan.c91 float * pDelayTable, * pDelayTableNew; in Tim_ManDup() local
121 if ( pDelayTable == NULL ) in Tim_ManDup()
124 nInputs = (int)pDelayTable[1]; in Tim_ManDup()
125 nOutputs = (int)pDelayTable[2]; in Tim_ManDup()
171 float * pDelayTable, * pDelayTableNew; in Tim_ManTrim() local
206 if ( pDelayTable == NULL ) in Tim_ManTrim()
209 nInputs = (int)pDelayTable[1]; in Tim_ManTrim()
210 nOutputs = (int)pDelayTable[2]; in Tim_ManTrim()
259 float * pDelayTable, * pDelayTableNew; in Tim_ManReduce() local
294 if ( pDelayTable == NULL ) in Tim_ManReduce()
[all …]
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaTim.c504 float * pDelayTable = Tim_ManBoxDelayTable( pManTime, i ); in Gia_ManLevelWithBoxes() local
524 assert( nBoxInputs == (int)pDelayTable[1] ); in Gia_ManLevelWithBoxes()
526 if ( (int)pDelayTable[3+k*nBoxInputs+j] != -ABC_INFINITY ) in Gia_ManLevelWithBoxes()
527 …LevelMax = Abc_MaxInt( LevelMax, Gia_ObjLevel(p, pObjIn) + ((int)pDelayTable[3+k*nBoxInputs+j] / n… in Gia_ManLevelWithBoxes()
609 float * pDelayTable = Tim_ManBoxDelayTable( pManTime, i ); in Gia_ManLutLevelWithBoxes() local
629 assert( nBoxInputs == (int)pDelayTable[1] ); in Gia_ManLutLevelWithBoxes()
631 if ( (int)pDelayTable[3+k*nBoxInputs+j] != -ABC_INFINITY ) in Gia_ManLutLevelWithBoxes()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecFadds.c658 float * pDelayTable = ABC_ALLOC( float, Total + 3 ); in Gia_ManGenerateDelayTableFloat() local
659 pDelayTable[0] = 0; in Gia_ManGenerateDelayTableFloat()
660 pDelayTable[1] = nIns; in Gia_ManGenerateDelayTableFloat()
661 pDelayTable[2] = nOuts; in Gia_ManGenerateDelayTableFloat()
663 pDelayTable[i+3] = 1; in Gia_ManGenerateDelayTableFloat()
664 pDelayTable[i+3 - nIns] = -ABC_INFINITY; in Gia_ManGenerateDelayTableFloat()
665 return pDelayTable; in Gia_ManGenerateDelayTableFloat()