ASIC verification software automates partitioning - Maliniak, David (Electronic Design)