The use of inverse layout trees for hierarchical design verification.

Nils Hedenstierna, Kjell O. Jeppson

Browse the full ICCAD paper archive.