621.3.049.77(075.8) А22         Автоматизация конструирования больших интегральных микросхем [] / А. И. Петренко [и др.]. - К. : Вища школа, 1983. - 311 с. : рис., табл. - Лит.: с. 305-307. - Предм. указ.: с. 308. - 1.00 р. УДК 621.3.049.77(075.8) ББК 32.844.1-02 Рубрики: Інтегральні мікросхеми--Навчальні видання для вищої школи     фывфывфыв: автоматизированные системы проектирования -- автоматизовані системи проектування -- задачи проектирования -- задачі проектування -- логические элементы -- логічні елементи -- подсистема функционального проектирования -- підсистема функціонального проектування -- топология интегральных микросхем -- топологія інтегральних мікросхем -- кодирующие устройства -- кодуючі пристрої -- кольцевая иерархаическая структура данных -- кільцева ієрархічна структура даних -- метод ближайшей точки -- метод найближчої точки -- метод зон -- метод последовательного включения -- метод послідовного включення -- метод назначений -- метод назначень -- метод фрагментации -- метод фрагментації -- конструкторско-технологические ограничения -- конструктивно-технологічні обмеження -- проектирование топологии -- проектування топології -- планиризация модели -- планірізація моделі -- расчет конструктивных параметров -- розрахунок конструктивних параметрів -- алгоритмы деформации эскиза -- алгоритми деформації ескіза Аннотация: Автоматизированное проектирование больших (БИС) и сверхбольших (СБИС) интегральных микросхем (ИС). Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Петренко, Анатолий Иванович; Сыпчук, Петр Павлович; Тетельбаум, Александр Яковлевич; Иванников , Александр Дмитриевич; Саватьев, Владимир Аполлонович Экземпляры всего: 3 ВВ (2), АБ (1) Свободны: ВВ (2), АБ (1)

32.844.1 К41     Киносита, Кодзо.     Логическое проектирование СБИС [] / К. Киносита, К. Асада, О. Карацу ; пер. с яп. : Д. А. Ковтунова, Л. В. Поспелова ; под ред. Л. В. Поспелова. - Москва : Мир, 1988. - 309 с. : рис., табл. - Предм. указ.: с. 306-308. - ISBN 5-03-000393-3 : 1.70 р.ББК 32.844.1 Рубрики: Мікроелектроніка--Автоматичні системи проектування--Моделювання--Практичні посібники     фывфывфыв: микроэлектроника -- автоматизированные системы проектирования -- моделирование -- булева алгебра -- логическое проектирование -- логічне проектування -- языки структурного описания -- мови структурного опису -- языки функционального описания -- мови функціонального опису -- языки графического описания -- мови графічного опису -- логическое моделирование -- логічне моделювання -- алгоритмические способы синтеза тестов -- алгоритмічні способи синтезу тестів -- моделирование неисправностей -- моделювання несправностей -- тестовые последовательности -- тестові послідовності -- модели неисправностей -- моделі несправностей -- проектирование легкотестируемых схем -- проектування легкотестованих схем Аннотация: Математическая теория логического проектирования, проблемы упрощения логических функций и языки описания, которые используются для автоматизации процессов проектирования и моделирования. Держатели документа: ЖОУНБ ім. О. Ольжича Доп.точки доступа: Асада, Кунихиро; Карацу, Осаму; Ковтунов, Д. А. \пер.\; Поспелов, Л. В. \пер.\; Поспелов, Л. В. \ред.\ Экземпляры всего: 1 ВВ (1) Свободны: ВВ (1)