Hyac: a hybrid structural sat based atpg for crosstalk | IEEE Conference Publication | IEEE Xplore