GLOVE: a graph-based layout verifier | IEEE Conference Publication | IEEE Xplore