Searched refs:Mio_GateReadForm (Results 1 – 5 of 5) sorted by relevance
171 char * Mio_GateReadForm ( Mio_Gate_t * pGate ) { return pGate->pForm; … in Mio_GateReadForm() function
143 extern char * Mio_GateReadForm ( Mio_Gate_t * pGate );
1341 printf( "%48s : ", Mio_GateReadForm( ppGates[i] ) ); in Nf_ManPrepareLibrary()
136 pPin->func_text = Abc_UtilStrsav( Mio_GateReadForm( pGate ) ); in Abc_SclReadLibraryGenlib()
1388 Mio_GateReadForm(ppGates[i]) ); in Abc_NtkPrintGates()