Searched refs:vInvs (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/scl/ |
| H A D | sclBuffer.c | 201 Vec_Int_t * vInvs; in Abc_SclBufferPhase() local
206 vInvs = Vec_IntStart( Abc_NtkObjNumMax(pNtk) ); in Abc_SclBufferPhase()
216 …if ( Vec_IntEntry(vInvs, Abc_ObjId(pFanin)) == 0 || Abc_ObjIsCi(pFanin) ) // allow PIs to have hig… in Abc_SclBufferPhase()
219 Vec_IntWriteEntry( vInvs, Abc_ObjId(pFanin), Abc_ObjId(pFaninNew) ); in Abc_SclBufferPhase()
222 pFaninNew = Abc_NtkObj( pNtk, Vec_IntEntry(vInvs, Abc_ObjId(pFanin)) ); in Abc_SclBufferPhase()
230 Vec_IntFree( vInvs ); in Abc_SclBufferPhase()
233 vInvs = pNtk->vPhases; in Abc_SclBufferPhase()
236 pNtk->vPhases = vInvs; in Abc_SclBufferPhase()
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaMan.c | 1275 Vec_Bit_t * vInvs, * vUsed; in Gia_ManDumpVerilog() local
1291 vInvs = Gia_ManGenUsed( p, 0 ); in Gia_ManDumpVerilog()
1324 if ( Vec_BitCount(vInvs) ) in Gia_ManDumpVerilog()
1327 Gia_ManWriteNames( pFile, 'i', Gia_ManObjNum(p), NULL, 7, 4, vInvs ); in Gia_ManDumpVerilog()
1353 if ( Vec_BitEntry(vInvs, Gia_ObjId(p, pObj)) ) in Gia_ManDumpVerilog()
1379 if ( Vec_BitEntry(vInvs, i) ) in Gia_ManDumpVerilog()
1408 Vec_BitFree( vInvs ); in Gia_ManDumpVerilog()
|
| /dports/math/singular/Singular-Release-4-2-1/Singular/dyn_modules/cohomo/ |
| H A D | cohomo.cc | 251 int vInvs(std::vector<int> vec, std::vector<std::vector<int> > vecs) in vInvs() function
|