Список тем кейсов по автоматизации систем проектирования больших интегральных схем (бис)