Searched refs:Abc_TtReadHexNumber (Results 1 – 3 of 3) sorted by relevance
608 nDigits = Abc_TtReadHexNumber( (word *)Vec_IntArray(vFanins), pHex ); in Smt_PrsBuildConstant()650 nDigits = Abc_TtReadHexNumber( (word *)Vec_IntArray(vFanins), pStr+2 ); in Smt_PrsBuildConstant()
620 nDigits = Abc_TtReadHexNumber( (word *)Vec_IntArray(vFanins), pStr+2 ); in Wlc_PrsReadConstant()1001 Abc_TtReadHexNumber( (word *)&Value, pStart+2 ); in Wlc_PrsDerive()
1184 static inline int Abc_TtReadHexNumber( word * pTruth, char * pString ) in Abc_TtReadHexNumber() function