Методы анализа логических корреляций для САПР цифровых КМОП СБИС / С. В. Гаврилов. — М.: Техносфера, 2011. — 135 с.: ил.; 22 см. — (Мир цифровой обработки). — Библиогр.: с. 132-135. — ISBN 978-5-94836-280-9: 275.00.
В книге рассматриваются методы и алгоритмы анализа логических корреляций в цифровых КМОП-схемах. Показаны возможности использования логических корреляций для повышения качества результатов проектирования в анализе помехоустойчивости и быстродействия схем. Книга основана на результатах, полученных в Учреждении Российской академии наук Институте проблем проектирования в микроэлектронике РАН(ИППМРАН). Материал, изложенный в книге, является основой лекционного курса для магистров факультета ЭКТ Московского института электронной техники, обучающихся по направлению «Электроника и микроэлектроника», а также предназначен для научных работников и инженеров, специализирующихся в области методов математического моделирования САПР СБИС.