Crosstalk noise verification in digital designs with interconnect process variations | IEEE Conference Publication | IEEE Xplore