ATPG for Crosstalk using Hybrid Structural SAT,

X.Bai, S.Dey, A.Krstic, "ATPG for Crosstalk using Hybrid Structural SAT," in Intl. Test Conference, pp.112-121, Charlotter, Oct. 2003.