Zaslat SMS: Методы анализа логических корреляций для САПР цифровых КМОП СБИС