Searched refs:pNodeDsd (Results 1 – 3 of 3) sorted by relevance
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/ |
| H A D | abcDsd.c | 172 Dsd_Node_t * pNodeDsd; in Abc_NtkDsdConstruct() local
181 pNodeDsd = Dsd_ManagerReadInput( pManDsd, i ); in Abc_NtkDsdConstruct()
199 pNodeDsd = Dsd_ManagerReadRoot( pManDsd, i ); in Abc_NtkDsdConstruct()
230 Type = Dsd_NodeReadType( pNodeDsd ); in Abc_NtkDsdConstructNode()
231 nDecs = Dsd_NodeReadDecsNum( pNodeDsd ); in Abc_NtkDsdConstructNode()
235 pFaninDsd = Dsd_NodeReadDec( pNodeDsd, i ); in Abc_NtkDsdConstructNode()
255 pFaninDsd = Dsd_NodeReadDec( pNodeDsd, i ); in Abc_NtkDsdConstructNode()
301 Dsd_NodeSetMark( pNodeDsd, (int)(ABC_PTRINT_T)pNodeNew ); in Abc_NtkDsdConstructNode()
404 Dsd_Node_t ** ppNodesDsd, * pNodeDsd, * pFaninDsd; in Abc_NodeDecompDsdAndMux() local
409 fCompl = Dsd_IsComplement( pNodeDsd ); in Abc_NodeDecompDsdAndMux()
[all …]
|
| H A D | abcRestruct.c | 328 Dsd_Node_t * pNodeDsd; in Abc_NodeRestructureCut() local
371 pNodeDsd = Dsd_DecomposeOne( p->pManDsd, bFunc ); in Abc_NodeRestructureCut()
375 Dsd_TreeNodeGetInfoOne( pNodeDsd, NULL, &nMaxSize ); in Abc_NodeRestructureCut()
433 pGraph = Abc_NodeEvaluateDsd( p, pNodeDsd, pRoot, Required, nNodesSaved, &nNodesAdded ); in Abc_NodeRestructureCut()
601 fCompl = Dsd_IsComplement( pNodeDsd ); in Abc_NodeEvaluateDsd_rec()
602 pNodeDsd = Dsd_Regular( pNodeDsd ); in Abc_NodeEvaluateDsd_rec()
605 DecType = Dsd_NodeReadType( pNodeDsd ); in Abc_NodeEvaluateDsd_rec()
608 Index = Dsd_NodeReadFunc(pNodeDsd)->index; in Abc_NodeEvaluateDsd_rec()
616 vEdges = Vec_IntAlloc( Dsd_NodeReadDecsNum(pNodeDsd) ); in Abc_NodeEvaluateDsd_rec()
617 Dsd_NodeForEachChild( pNodeDsd, i, pChildDsd ) in Abc_NodeEvaluateDsd_rec()
[all …]
|
| /dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/aig/gia/ |
| H A D | giaClp.c | 157 Type = Dsd_NodeReadType( pNodeDsd ); in Gia_ManRebuildNode()
158 nDecs = Dsd_NodeReadDecsNum( pNodeDsd ); in Gia_ManRebuildNode()
163 pFaninDsd = Dsd_NodeReadDec( pNodeDsd, i ); in Gia_ManRebuildNode()
194 bLocal = Dsd_TreeGetPrimeFunction( ddDsd, pNodeDsd ); Cudd_Ref( bLocal ); in Gia_ManRebuildNode()
208 Dsd_NodeSetMark( pNodeDsd, iLit ); in Gia_ManRebuildNode()
215 Dsd_Node_t * pNodeDsd; in Gia_ManRebuild() local
233 pNodeDsd = Dsd_ManagerReadInput( pManDsd, i ); in Gia_ManRebuild()
234 Dsd_NodeSetMark( pNodeDsd, Gia_ManAppendCi( pNew ) ); in Gia_ManRebuild()
258 pNodeDsd = Dsd_ManagerReadRoot( pManDsd, i ); in Gia_ManRebuild()
259 iLit = Dsd_NodeReadMark( Dsd_Regular(pNodeDsd) ); in Gia_ManRebuild()
[all …]
|