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