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