Describir: ASIC verification software automates partitioning