Zaslat SMS: A formalism for VLSI artwork verification /