Простий пошук
Розширений пошук
Алфавітні покажчики

Бази даних

Реферативна база даних - результати пошуку

Віртуальна довідка
Тематичний інтернет-навігатор
Наукова електронна бібліотека
Автореферати дисертацій
Реферативна база даних
Книжкові видання та компакт-диски
Журнали та продовжувані видання
Mozilla Firefox Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер
"Mozilla Firefox"
Вид пошуку
Сортувати знайдені документи за:
авторомназвоюроком видання
Формат представлення знайдених документів:
повнийстислий
Пошуковий запит: (<.>A=Люлькин А$<.>)
Загальна кількість знайдених документів : 4
Представлено документи з 1 до 4
      
Категорія:    
1.

Люлькин А. Е. 
Моделирование неисправностей в функционально-переключательных КМОП-структурах / А. Е. Люлькин // Электрон. моделирование. - 1998. - 20, № 5. - С. 49-59. - Библиогр.: 7 назв. - рус.

Розглянуто задачу моделювання пошкоджень з розгорнутого класу в КМОП-схемах, заданих у вигляді функціонально-перемикаючих структур, до якого входять як функціональні елементи, так і фрагменти, подані на перемикальному рівні (рівні транзисторів). Запропоновано формальний апарат для паралельного моделювання пошкоджень у 7-знаковому алфавіті на перемикальному рівні та перетворення отриманих результатів до трійкового алфавіту для використання при моделюванні на рівні логічних елементів. Наведено приклад використання запропонованого підходу для моделювання функціонально-перемикаючої КМОП-структури.


Ключ. слова: КМОП-схема, моделирование неисправностей, расширенный класс неисправностей
Індекс рубрикатора НБУВ: З973-047.21

Рубрики:
 Комп'ютери та програмування 
      
Категорія:    
2.

Люлькин А. Е. 
Построение тестов для логических КМОП-схем / А. Е. Люлькин // Электрон. моделирование. - 2003. - 25, № 3. - С. 51-58. - Библиогр.: 8 назв. - рус.


Ключ. слова: КМОП-схема, тест, D-алгоритм, расширенный класс неисправностей
Індекс рубрикатора НБУВ: З844.1-5-05

Рубрики:
 Мікрорадіоелектронна апаратура. Мікроелектроніка 

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 

      
Категорія:    
3.

Люлькин А. Е. 
Применение предикатов логического программирования для описания КМОП-схем / А. Е. Люлькин // Электрон. моделирование. - 2002. - 24, № 2. - С. 60-76. - Библиогр.: 9 назв. - рус.

Описано цифрові КМОП-схеми, задані на перемикальному рівні (рівень транзисторів) множинами предикатів, які дозволяють виконати порівняння функцій, що їх вони реалізують, або перевірити функціональну відповідність заданим функціям. Розглянуто приклади зображення запропонованих описів засобами мови логічного програмування ПРОЛОГ.


Ключ. слова: цифровая КМОП-схема, функциональное сравнение, логическое программирование, ПРОЛОГ
Індекс рубрикатора НБУВ: З972-047.2

Рубрики:
 Дискретна обчислювальна техніка 

Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ 
      
Категорія:    
4.

Люлькин А. Е. 
Функциональная верификация дискретных устройств с использованием логического программирования / А. Е. Люлькин // Управляющие системы и машины. - 2004. - № 2. - С. 38-45. - Библиогр.: 10 назв. - рус.

Описано дискретні пристрої (комбінаційні та послідовнісні схеми) сукупностями предикатів, які дозволяють виконати їх функціональну верифікацію (встановити функціональну відповідність певному вихідному опису функцій або пристрою) засобами логічного програмування. Розглянуто приклади описів на мові логічного програмування ПРОЛОГ.


Індекс рубрикатора НБУВ: З972-07-5-05

Рубрики:
 Дискретна обчислювальна техніка 

Шифр НБУВ: Ж14024 Пошук видання у каталогах НБУВ 
 

Всі права захищені © Національна бібліотека України імені В. І. Вернадського