Home
last modified time | relevance | path

Searched refs:pNtkOff (Results 1 – 3 of 3) sorted by relevance

/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/abci/
H A DabcDar.c3801 if ( Abc_NtkCoNum(pNtkOn) != 1 || Abc_NtkCoNum(pNtkOff) != 1 ) in Abc_NtkInterOne()
3806 if ( Abc_NtkCiNum(pNtkOn) != Abc_NtkCiNum(pNtkOff) ) in Abc_NtkInterOne()
3815 pManOff = Abc_NtkToDar( pNtkOff, 0, 0 ); in Abc_NtkInterOne()
3831 pObj = Abc_NtkCreatePi( pNtkOff ); in Abc_NtkInterOne()
3835 pNtkAig = Abc_NtkFromDar( pNtkOff, pManAig ); in Abc_NtkInterOne()
3844 assert( Gia_ManCiNum(pNtkOn) == Gia_ManCiNum(pNtkOff) ); in Gia_ManInterOne()
3846 assert( Gia_ManCoNum(pNtkOff) == 1 ); in Gia_ManInterOne()
3851 pManOff = Gia_ManToAigSimple( pNtkOff ); in Gia_ManInterOne()
3888 pManOff = Abc_NtkToDar( pNtkOff, 0, 0 ); in Abc_NtkInterFast()
3916 if ( Abc_NtkCoNum(pNtkOn) != Abc_NtkCoNum(pNtkOff) ) in Abc_NtkInter()
[all …]
H A Dabc.c13237 …extern Abc_Ntk_t * Abc_NtkInter( Abc_Ntk_t * pNtkOn, Abc_Ntk_t * pNtkOff, int fRelation, int fVerb… in Abc_CommandInter()
/dports/cad/abc/abc-a4518e6f833885c905964f1233d11e5b941ec24c/src/base/acb/
H A DacbFunc.c2262 extern Gia_Man_t * Gia_ManInterOne( Gia_Man_t * pNtkOn, Gia_Man_t * pNtkOff, int fVerbose ); in Gia_ManInterOneInt()