В книге систематически изложены основные результаты, полученные авторами в следующих областях: - временной анализ цифровых КМОП-схем с учетом логических ограничений; - статистический временной анализ; - логический и логико-временной анализ помехоустойчивости цифровых КМОП-схем; - алгоритмы характеризации элементов КМОП СБИС. Основой большинства предлагаемых здесь методов является анализ логики работы цифровой КМОП-схемы и использование ее в сочетании с методами статического временного анализа....