FROSTY: a fast hierarchy extractor for industrial CMOS circuits