Hierarchical verification of VLSI artwork