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