שליחה במסרון: Методы анализа логических корреляций для САПР цифровых КМОП СБИС