"Методы логического и логико-временного анализа цифровых КМОП СБИС " - читать интересную книгу автора (Стемпковский А.Л.)