HIMALAYAS - a hierarchical compaction system with a minimized constraint setJin-Fuw LeeD.T. Tang1992ICCAD 1992