Home
last modified time | relevance | path

Searched refs:vDelayTables (Results 1 – 6 of 6) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/misc/tim/
H A DtimMan.c118 pNew->vDelayTables = Vec_PtrStart( Vec_PtrSize(p->vDelayTables) ); in Tim_ManDup()
136 assert( Vec_PtrEntry(pNew->vDelayTables, i) == NULL ); in Tim_ManDup()
203 pNew->vDelayTables = Vec_PtrStart( Vec_PtrSize(p->vDelayTables) ); in Tim_ManTrim()
291 pNew->vDelayTables = Vec_PtrStart( Vec_PtrSize(p->vDelayTables) ); in Tim_ManReduce()
380 Vec_PtrFreeFree( p->vDelayTables ); in Tim_ManStop()
414 assert( p->vDelayTables == NULL ); in Tim_ManCreate()
429 pBox->iDelayTable = Vec_PtrSize(p->vDelayTables); in Tim_ManCreate()
430 Vec_PtrPush( p->vDelayTables, pTable ); in Tim_ManCreate()
749 return p->vDelayTables ? Vec_PtrSize(p->vDelayTables) : 0; in Tim_ManDelayTableNum()
765 assert( p->vDelayTables == NULL ); in Tim_ManSetDelayTables()
[all …]
H A DtimDump.c160 assert( pMan->vDelayTables == NULL ); in Tim_ManLoad()
162 pMan->vDelayTables = Vec_PtrAlloc( nTables ); in Tim_ManLoad()
180 assert( Vec_PtrSize(pMan->vDelayTables) == TableId ); in Tim_ManLoad()
181 Vec_PtrPush( pMan->vDelayTables, pDelayTable ); in Tim_ManLoad()
H A DtimInt.h55 Vec_Ptr_t * vDelayTables; // pointers to the delay tables member
126 Vec_PtrForEachEntry( float *, p->vDelayTables, pTable, i )
H A Dtim.h152 extern void Tim_ManSetDelayTables( Tim_Man_t * p, Vec_Ptr_t * vDelayTables );
H A DtimBox.c241 pTable = (float *)Vec_PtrEntry( p->vDelayTables, pBox->iDelayTable ); in Tim_ManBoxDelayTable()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/acec/
H A DacecFadds.c671 Vec_Ptr_t * vDelayTables = Vec_PtrAlloc( 1 ); in Gia_ManGenerateTim() local
672 Vec_PtrPush( vDelayTables, Gia_ManGenerateDelayTableFloat(nIns, nOuts) ); in Gia_ManGenerateTim()
674 Tim_ManSetDelayTables( pMan, vDelayTables ); in Gia_ManGenerateTim()