Про нас Електронний депозитарій LIBO Зведений каталог України
Авторизація
Прізвище
Пароль
 

Бази даних


Електронний каталог ЖОУНБ ім. О. Ольжича- результати пошуку

Вид пошуку

Зона пошуку
Формат представлення знайдених документів:
повний інформаційнийкороткий
Пошуковий запит: <.>K=алгоритмические способы синтеза тестов<.>
Загальна кількість знайдених документів : 1
1.

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

 
© Міжнародна Асоціація користувачів і розробників електронних бібліотек і нових інформаційних технологій
(Асоціація ЕБНІТ)