Searched refs:Vec_BitCount (Results 1 – 4 of 4) sorted by relevance
591 static inline int Vec_BitCount( Vec_Bit_t * p ) in Vec_BitCount() function
1317 if ( Vec_BitCount(vUsed) ) in Gia_ManDumpVerilog()1324 if ( Vec_BitCount(vInvs) ) in Gia_ManDumpVerilog()
508 nUseful = Vec_BitCount( vMarks ); in Tab_ManCollectDist1()
711 …roofReduce: remove %d out of %d white boxes.", Vec_IntSize(vWhites) - Vec_BitCount(vChoiceMark), V… in Wlc_NtkProofReduce()1366 RetValue = Vec_IntSize( vWhites ) != Vec_BitCount( vCoreMarks ); in Wla_ManShrinkAbs()