[IEEE Comput. Soc. Press [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers - Santa Clara, CA, USA (7-10 Nov. 1988)] [1988] IEEE International Conference on Computer-Aided Design (ICCAD-89) Digest of Technical Papers - The use of inverse layout trees for hierarchical design verification