Методы логического и логико-временного анализа цифровых КМОП СБИС

В книге систематически изложены основные результаты, полученные авторами в следующих областях:

- временной анализ цифровых КМОП-схем с учетом логических ограничений;

- статистический временной анализ;

- логический и логико-временной анализ помехоустойчивости цифровых КМОП-схем;

- алгоритмы характеризации элементов КМОП СБИС.

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

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