Віртуальна довідка Тематичний інтернет-навігатор Наукова електронна бібліотека Автореферати дисертацій Реферативна база даних Книжкові видання та компакт-диски Журнали та продовжувані видання
|
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Szajna J$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | | | |
1. |
Szajna J. Artificial intelligence methods in computer aided design of digital circuits / J. Szajna // Электрон. моделирование. - 2001. - 23, № 4. - С. 109-115. - Библиогр.: 9 назв. - англ.Розглянуто використання логічного програмування мовою Prolog для розробки систем автоматизованого проектування пристроїв ASIC (спеціалізованих інтегральних схем) на базі досвіду, набутого під час розробки системи CAD-LOGIC. Описано використання мови Prolog на прикладах, що ілюструють евристичне спрощення логічних функцій за допомогою булевої алгебри, символьного перетворення логічних послідовностей та декомпозиції опису моделі, заданого у вигляді послідовностей у підмножинах, які реалізовано структурами PAL. Ключ. слова: artificial intelligence, digital circuits, computer aided design Індекс рубрикатора НБУВ: З970.5-018
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
Szajna J. Behavioural VHDL simulation using prolog-based timing waveform recognition system / J. Szajna // Электрон. моделирование. - 2001. - 23, № 6. - С. 78-91. - Библиогр.: 12 назв. - англ.Описано новий метод моделювання режимів ЗВІС і дискретних процесів зі складними часовими характеристиками, який грунтується на розпізнаванні форми хвилі, що реалізується за допомогою методів логічного програмування. Метод використано для побудови експериментальної системи ProWaves у сполученні з мовою VHDL. Систему використано для створення моделей динамічної пам'яті, інтерфейсної частини відеодекодера MPEG, протоколів зв'язку для транспортних систем та інших складних схем і протоколів. Ключ. слова: dynamic memory, VLSI chips, VHDL language Індекс рубрикатора НБУВ: З970.3-016.5
Рубрики:
Шифр НБУВ: Ж14163 Пошук видання у каталогах НБУВ
|
|
|