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

В книге представлены базовые понятия теории переходной схемотехники, необходимые для разработки новой элементной базы суперкомпьютеров различных типов. Теорию переходной схемотехники, необходимые для разработки новой элементной базы суперкомпьютеров различных типов. Теорию переходной схемотехники отличает новая компонентная концепция синтеза наноструктур, в которой минимальным компонентом для синтеза схем является не транзистор, а материал и переход (связь) между материалами. Приводятся данные экспериментального 2D и 3D моделирования физических и электрических процессов в кремниевых переходных наноструктурах с минимальным топологическим размеров 10-20 нм и сравнительный анализ 4-х типов схемотехник. Книга может быть рекомендована научным работникам, аспирантам и инженерам, специализирующимся в области разработки элементной базы суперкомпьютеров и альтернативных вычислительных систем, а также бакалаврам и магистрам, обучающимся по специальностям "Нанотехнология и микросистемная техника", "Электроника и наноэлектроника", "Вычислительные системы, комплексы и сети".

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

Справочник содержит материалы, необходимые для оформления машиностроительных чертежей и схем в соответствии со стандартами ВСКД. Приведены классификационные стандарты на метод автоматизированного проектирования, даны таблицы по допускам и посадкам, резьбам, крепежным изделиям, показаны условные обозначения на чертежах. Во втором издании (1-изд. 1986 г.) учтены изменения и дополнения в государственных стандартах на 01.01.92. Справочник предназначен для инженерно-технических работников всех отраслей промышленности.