GeminiII: a second generation layout validation program | IEEE Conference Publication | IEEE Xplore