Home
last modified time | relevance | path

Searched refs:Abc_NtkHasBlifMv (Results 1 – 7 of 7) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abc/
H A DabcBlifMv.c395 assert( Abc_NtkHasBlifMv(pNtk) ); in Abc_NtkStrashBlifMv()
735 assert( Abc_NtkHasBlifMv(pNtk) ); in Abc_NtkSkeletonBlifMv()
878 if ( Abc_NtkHasBlifMv(pNtk) && Abc_NtkMvVar(pNtk) ) in Abc_NtkSkeletonBlifMv()
918 assert( Abc_NtkHasBlifMv(pNtkBase) ); in Abc_NtkInsertBlifMv()
923 assert( Abc_NtkHasBlifMv(pNtkLogic) ); in Abc_NtkInsertBlifMv()
H A DabcObj.c378 else if ( Abc_NtkHasSop(pNtkNew) || Abc_NtkHasBlifMv(pNtkNew) ) in Abc_NtkDupObj()
616 if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkCreateNodeConst0()
647 if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkCreateNodeConst1()
H A DabcCheck.c107 …asBdd(pNtk) && !Abc_NtkHasAig(pNtk) && !Abc_NtkHasMapping(pNtk) && !Abc_NtkHasBlifMv(pNtk) && !Abc… in Abc_NtkDoCheck()
558 else if ( !Abc_NtkHasMapping(pNtk) && !Abc_NtkHasBlifMv(pNtk) && !Abc_NtkHasAig(pNtk) ) in Abc_NtkCheckNode()
H A DabcHie.c165 if ( Abc_NtkHasBlifMv(pNtk) && Abc_NtkMvVar(pNtk) ) in Abc_NtkFlattenLogicHierarchy2_rec()
395 if ( Abc_NtkHasBlifMv(pNtk) && Abc_NtkMvVar(pNtk) ) in Abc_NtkFlattenLogicHierarchy_rec()
H A DabcNtk.c79 else if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkAlloc()
1364 else if ( Abc_NtkHasSop(pNtk) || Abc_NtkHasBlifMv(pNtk) ) in Abc_NtkDelete()
H A Dabc.h258 static inline int Abc_NtkHasBlifMv( Abc_Ntk_t * pNtk ) { return pNtk->ntkFunc == ABC_… in Abc_NtkHasBlifMv() function
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/io/
H A DioWriteBlifMv.c64 assert( Abc_NtkHasBlifMv(pNtk) ); in Io_WriteBlifMv()