Home
last modified time | relevance | path

Searched refs:uPatCol (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sim/
H A DsimSymSim.c145 p->uPatCol[w] = pSupport[w] & pPat[w] & pSimInfo[w]; in Sim_SymmsDeriveInfo()
150 if ( Sim_HasBit( p->uPatCol, i ) ) in Sim_SymmsDeriveInfo()
155 Extra_BitMatrixOr( pMat, i, p->uPatCol ); in Sim_SymmsDeriveInfo()
159 p->uPatCol[w] = pSupport[w] & ~pPat[w] & pSimInfo[w]; in Sim_SymmsDeriveInfo()
164 if ( Sim_HasBit( p->uPatCol, i ) ) in Sim_SymmsDeriveInfo()
169 Extra_BitMatrixOr( pMat, i, p->uPatCol ); in Sim_SymmsDeriveInfo()
H A DsimMan.c73 p->uPatCol = ABC_ALLOC( unsigned, p->nSimWords ); in Sym_ManStart()
119 ABC_FREE( p->uPatCol ); in Sym_ManStop()
H A Dsim.h70 unsigned * uPatCol; member