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