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

Особое внимание уделено анализу современного состояния процессов, основанных на использовании давления, практическом применении давления при отработке новых технологий производства качественных литых заготовок для деталей газотехнического назначения, автомобильных колес, корпусных изделий специального назначения. Для приобретения новых знаний о поведении расплавов под давлением разработан комплекс, оснащенный компьютерной системой управления и информационной поддержки. Одна из глав посвящена автоматизированному проектированию технологической оснастки и специального оборудования. Представляет интерес для широкого круга специалистов в области металловедения и металлообработки, может быть также полезна студентам и аспирантам вузов, обучающимся по специальностям 120100 - технология машиностроения, 110400 - литейное производство черных и цветных металлов, 210200 - автоматизация технологических процессов и производств (по отраслям).