Home
last modified time | relevance | path

Searched defs:vFanins (Results 1 – 25 of 87) sorted by relevance

1234

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcMinBase.c78 Vec_Ptr_t * vFanins; in Abc_NodeMinimumBase() local
299 int Abc_NodeCollapseSuppSize( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins ) in Abc_NodeCollapseSuppSize()
323 int Abc_ObjFaninNumberNew( Vec_Ptr_t * vFanins, Abc_Obj_t * pFanin ) in Abc_ObjFaninNumberNew()
344 int Abc_NodeCollapsePermMap( Abc_Obj_t * pNode, Abc_Obj_t * pSkip, Vec_Ptr_t * vFanins, int * pPerm… in Abc_NodeCollapsePermMap()
374 DdNode * Abc_NodeCollapseFunc( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, int * … in Abc_NodeCollapseFunc()
409 int Abc_NodeCollapse( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, int * pPermFani… in Abc_NodeCollapse()
437 Vec_Ptr_t * vFanouts, * vFanins, * vNodes; in Abc_NtkEliminate() local
539 Hop_Obj_t * Abc_NodeCollapseFunc1( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, in… in Abc_NodeCollapseFunc1()
564 int Abc_NodeCollapse1( Abc_Obj_t * pFanin, Abc_Obj_t * pFanout, Vec_Ptr_t * vFanins, int * pPermFan… in Abc_NodeCollapse1()
604 Vec_Ptr_t * vFanouts, * vFanins, * vNodes; in Abc_NtkEliminate1One() local
[all …]
H A DabcObj.c737 Abc_Obj_t * Abc_NtkCreateNodeAnd( Abc_Ntk_t * pNtk, Vec_Ptr_t * vFanins ) in Abc_NtkCreateNodeAnd()
769 Abc_Obj_t * Abc_NtkCreateNodeOr( Abc_Ntk_t * pNtk, Vec_Ptr_t * vFanins ) in Abc_NtkCreateNodeOr()
801 Abc_Obj_t * Abc_NtkCreateNodeExor( Abc_Ntk_t * pNtk, Vec_Ptr_t * vFanins ) in Abc_NtkCreateNodeExor()
H A DabcFanOrder.c146 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsBySortingColumns() local
235 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsByLitCount() local
310 Vec_Int_t * vFanins; in Abc_NtkOrderFaninsByLitCountAndCubeCount() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/abs/
H A DabsRefSelect.c72 Vec_Int_t * vFanins; in Ga2_StructAnalize() local
129 Vec_Int_t * vNewPPis, * vFanins; in Rnm_ManFilterSelected() local
211 Vec_Int_t * vNewPPis, * vFanins, * vFanins2; in Rnm_ManFilterSelectedNew() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/bac/
H A DbacWriteBlif.c47 static void Psr_ManWriteBlifArray( FILE * pFile, Psr_Ntk_t * p, Vec_Int_t * vFanins ) in Psr_ManWriteBlifArray()
131 void Bac_ManWriteBlifGate( FILE * pFile, Bac_Ntk_t * p, Mio_Gate_t * pGate, Vec_Int_t * vFanins, in… in Bac_ManWriteBlifGate()
139 void Bac_ManWriteBlifArray( FILE * pFile, Bac_Ntk_t * p, Vec_Int_t * vFanins, int iObj ) in Bac_ManWriteBlifArray()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/sfm/
H A DsfmNtk.c45 void Sfm_CheckConsistency( Vec_Wec_t * vFanins, int nPis, int nPos, Vec_Str_t * vFixed ) in Sfm_CheckConsistency()
76 void Sfm_CreateFanout( Vec_Wec_t * vFanins, Vec_Wec_t * vFanouts ) in Sfm_CreateFanout()
118 void Sfm_CreateLevel( Vec_Wec_t * vFanins, Vec_Int_t * vLevels, Vec_Str_t * vEmpty ) in Sfm_CreateLevel()
167 Sfm_Ntk_t * Sfm_NtkConstruct( Vec_Wec_t * vFanins, int nPis, int nPos, Vec_Str_t * vFixed, Vec_Str_… in Sfm_NtkConstruct()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wlc/
H A DwlcNtk.c218 int Wlc_ObjCreate( Wlc_Ntk_t * p, int Type, int Signed, int End, int Beg, Vec_Int_t * vFanins ) in Wlc_ObjCreate()
239 void Wlc_ObjAddFanins( Wlc_Ntk_t * p, Wlc_Obj_t * pObj, Vec_Int_t * vFanins ) in Wlc_ObjAddFanins()
903 void Wlc_ObjCollectCopyFanins( Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_ObjCollectCopyFanins()
929 int Wlc_ObjDup( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_ObjDup()
940 void Wlc_NtkDupDfs_rec( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_NtkDupDfs_rec()
960 Vec_Int_t * vFanins; in Wlc_NtkDupDfsSimple() local
989 Vec_Int_t * vFanins; in Wlc_NtkDupDfs() local
1058 Vec_Int_t * vFanins; in Wlc_NtkDupDfsAbs() local
1234 Vec_Int_t * vFanins; in Wlc_NtkDupSingleNodes() local
H A DwlcMem.c47 void Wlc_NtkMemBlast_rec( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, int iObj, Vec_Int_t * vFanins ) in Wlc_NtkMemBlast_rec()
138 Vec_Int_t * vFanins; in Wlc_NtkMemBlast() local
295 …DupOneObject( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Wlc_Obj_t * pObj, int TypeNew, Vec_Int_t * vFanins ) in Wlc_NtkDupOneObject()
313 …er( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Wlc_Obj_t * pObj, int iFanin, Vec_Int_t * vFanins, int fIsFi ) in Wlc_NtkDupOneBuffer()
329 …CreateFlopOutputs( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Vec_Int_t * vNodeFrames, Vec_Int_t * vFanins ) in Wlc_NtkAbsCreateFlopOutputs()
359 …pInputs( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Vec_Int_t * vNodeFrames, Vec_Int_t * vFanins, Vec_Int_t … in Wlc_NtkAbsCreateFlopInputs()
408 …teLogic( Wlc_Ntk_t * pNew, Wlc_Ntk_t * p, Vec_Int_t * vNodeFrames, Vec_Int_t * vFanins, Vec_Int_t … in Wlc_NtkAbsCreateLogic()
521 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkAbstractMemory() local
1293 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wlc_NtkCreateMemoryConstr() local
1390 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkAbstractMem() local
H A DwlcNdr.c198 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wlc_NtkToNdr() local
299 void Ndr_ObjReadConstant( Vec_Int_t * vFanins, char * pStr ) in Ndr_ObjReadConstant()
369 Wlc_Obj_t * pObj; Vec_Int_t * vName2Obj, * vFanins = Vec_IntAlloc( 100 ); in Wlc_NtkFromNdr() local
H A DwlcReadVer.c41 Vec_Int_t * vFanins; member
578 static inline char * Wlc_PrsReadConstant( Wlc_Prs_t * p, char * pStr, Vec_Int_t * vFanins, int * pR… in Wlc_PrsReadConstant()
632 static inline char * Wlc_PrsReadName( Wlc_Prs_t * p, char * pStr, Vec_Int_t * vFanins ) in Wlc_PrsReadName()
640 Vec_Int_t * vFanins = Vec_IntAlloc(0); in Wlc_PrsReadName() local
672 static inline int Wlc_PrsFindDefinition( Wlc_Prs_t * p, char * pStr, Vec_Int_t * vFanins, int * pXV… in Wlc_PrsFindDefinition()
1287 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Wlc_PrsDerive() local
H A DwlcReadSmt.c276 …CreateNodeOld( Wlc_Ntk_t * pNtk, int Type, int fSigned, int Range, Vec_Int_t * vFanins, char * pNa… in Smt_PrsCreateNodeOld()
307 …PrsCreateNode( Wlc_Ntk_t * pNtk, int Type, int fSigned, int Range, Vec_Int_t * vFanins, char * pNa… in Smt_PrsCreateNode()
587 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Smt_PrsBuildConstant() local
711 Vec_Int_t * vFanins = Vec_IntAlloc( 2 ); in Smt_PrsBuildNode() local
729 Vec_Int_t * vFanins = Vec_IntAlloc( 100 ); in Smt_PrsBuildNode() local
1195 Vec_Int_t * vFanins; in Smt_PrsBuild2_rec() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/
H A DgiaClp.c92 int Gia_ManRebuildIsop( DdManager * dd, DdNode * bLocal, Gia_Man_t * pNew, Vec_Int_t * vFanins, Vec… in Gia_ManRebuildIsop()
148 …anDsd, Dsd_Node_t * pNodeDsd, Gia_Man_t * pNew, DdManager * ddNew, Vec_Int_t * vFanins, Vec_Str_t … in Gia_ManRebuildNode()
218 Vec_Int_t * vFanins; in Gia_ManRebuild() local
H A DgiaSatLut.c307 int Sbl_ManComputeDelay( Sbl_Man_t * p, int iLut, Vec_Int_t * vFanins ) in Sbl_ManComputeDelay()
316 Vec_Int_t * vFanins; in Sbl_ManCreateTiming() local
458 int Sbl_ManCriticalFanin( Sbl_Man_t * p, int iLut, Vec_Int_t * vFanins ) in Sbl_ManCriticalFanin()
469 Vec_Int_t * vFanins; in Sbl_ManEvaluateMapping() local
736 Gia_Obj_t * pObj; Vec_Int_t * vFanins; in Sbl_ManComputeCuts() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/res/
H A DresSat.c52 void * Res_SatProveUnsat( Abc_Ntk_t * pAig, Vec_Ptr_t * vFanins ) in Res_SatProveUnsat()
144 Vec_Ptr_t * vFanins; in Res_SatSimulateConstr() local
H A DresCore.c185 void Res_UpdateNetwork( Abc_Obj_t * pObj, Vec_Ptr_t * vFanins, Hop_Obj_t * pFunc, Vec_Vec_t * vLeve… in Res_UpdateNetwork()
220 Vec_Ptr_t * vFanins; in Abc_NtkResynthesize() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/opt/fxu/
H A DfxuCreate.c58 Vec_Int_t * vFanins; in Fxu_CreateMatrix() local
245 …eMatrixAddCube( Fxu_Matrix * p, Fxu_Cube * pCube, char * pSopCube, Vec_Int_t * vFanins, int * pOrd… in Fxu_CreateMatrixAddCube()
H A Dfxu.h62 Vec_Ptr_t * vFanins; // the fanins of each node in the network member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/map/amap/
H A DamapPerm.c46 void Amap_LibCollectFanins_rec( Amap_Lib_t * pLib, Amap_Nod_t * pNod, Vec_Int_t * vFanins ) in Amap_LibCollectFanins_rec()
79 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Amap_LibCollectFanins() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/bool/rsb/
H A DrsbInt.h60 Vec_Int_t * vFanins; // the result of decomposition member
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcMffc.c544 Vec_Ptr_t * vRoots, * vFanins, * vFanouts, * vNodes, * vLeaves; in Abc_NktMffcTestSuper() local
894 Vec_Ptr_t * vRoots, * vFanins, * vFanouts, * vVolumes, * vNodes, * vLeaves; in Abc_NktMffcDerive() local
954 void Abc_NktMffcFree( Vec_Ptr_t * vRoots, Vec_Ptr_t * vFanins, Vec_Ptr_t * vFanouts, Vec_Ptr_t * vV… in Abc_NktMffcFree()
1002 Vec_Int_t * Abc_NktMffcSupport( Vec_Ptr_t * vThis, Vec_Ptr_t * vFanins ) in Abc_NktMffcSupport()
1028 …cFindBest( Abc_Ntk_t * pNtk, Vec_Int_t * vMarks, Vec_Int_t * vIns, Vec_Ptr_t * vFanins, Vec_Ptr_t … in Abc_NktMffcFindBest()
1133 Vec_Ptr_t * vPivots, * vFanins, * vFanouts, * vVolumes; in Abc_NktMffcServer() local
H A DabcFxu.c236 Vec_Int_t * vFanins; in Abc_NtkFxuReconstruct() local
H A DabcPlace.c103 float Abc_PlaceEvaluateCut( Abc_Obj_t * pRoot, Vec_Ptr_t * vFanins ) in Abc_PlaceEvaluateCut()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/wln/
H A DwlnNdr.c47 Vec_Int_t * vFanins; in Wln_NtkToNdr() local
185 Vec_Int_t * vName2Obj, * vFanins = Vec_IntAlloc( 100 ); in Wln_NtkFromNdr() local
H A DwlnWlc.c76 Vec_Int_t * vFanins = Vec_IntAlloc( 10 ); in Wln_NtkFromWlc() local
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/proof/fra/
H A DfraCnf.c240 Vec_Ptr_t * vFrontier, * vFanins; in Fra_CnfNodeAddToSolver() local

1234