Монографии

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

А.Л. Стемпковский, В.А. Шепелев, В.А. Власов. Системная среда САПР СБИС // М.: Наука, 1994.-251с. - ISBN 5-02-007028-9

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

Ссылки:
http://www.twirpx.com/file/199272/
http://elib.mexmat.ru/books/85759

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

А.Л. Глебов, М.М. Гурарий, М.М. Жаров, Ю.Б.Егоров, С.Г. Русаков, А.Л.Стемпковский, С.Л. Ульянов. Актуальные проблемы моделирования в системах автоматизации схемотехнического проектирования // М.: Наука, 2003.-430с. - ISBN 5-02-002818-5

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

Ссылки:
http://www.books.ru/books/aktualnye-problemy-modelirovaniya-v-sistemakh-avtomatizatsii-skhemotekhnicheskogo-proektirovaniya-664547
http://www.chtivo.ru/book/387148/

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

А.Л.Стемпковский, С.В. Гаврилов, А.Л. Глебов. Методы логического и логико-временного анализа цифровых КМОП СБИС // М.: Наука, 2007.-220с. - ISBN 978-5-02-036119-5

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

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

Ссылки:
http://www.mirknig.com/knigi/apparatura/1181371687-metody-logicheskogo-i-logiko-vremennogo-analiza-cifrovyh-kmop-sbis.html
http://www.cwer.ru/node/205644/

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

С. Гаврилов. Методы анализа логических корреляций для САПР цифровых КМОП СБИС // М.: Техносфера, 2011.-136с. - ISBN 978-5-94836-280-9

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

Ссылки:
http://www.bookvoed.ru/one_picture.php?tovar=815288&tip=1
http://www.sprinter.ru/books/1591793.html
http://www.bookvoed.ru/item815288.html
http://www.bpressa.ru/products/364127/