An efficient data structure and algorithm for VLSI artwork verification