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