Text this: A formalism for VLSI artwork verification /