Монографии

Системная среда САПР СБИС

В книге проанализирована эволюция САПР в России и за рубежом, рассмотрен процесс становления проблемы создания системной среды (framework) САПР, появления framework и их развития. Дано понятие современной framework и рассмотрены основные задачи ее создания. В качестве примера дан анализ наиболее известных современных framework: PowerFrame фирмы DEC и Design Framework II фирмы Cadence. Подробно рассмотрена предложенная авторами концепция "гибкой интеграции" для организации перспективной framework. Описан прототип отечественной системной среды, названной CADS. В заключение освещены вопросы стандартизации framework на основе анализа деятельности международной организации CFI.

Актуальные проблемы моделирования в системах автоматизации схемотехнического проектирования

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

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

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

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

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

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