On Modeling CMOS Library Cells for Cell Internal Fault Test Pattern Generation | IEEE Conference Publication | IEEE Xplore