![](/irbis64r_81/images/db_navy.gif) Віртуальна довідка ![](/irbis64r_81/images/db_navy.gif) Тематичний інтернет-навігатор ![](/irbis64r_81/images/db_navy.gif) Наукова електронна бібліотека ![](/irbis64r_81/images/db_navy.gif) Автореферати дисертацій ![](/irbis64r_81/images/db_navy.gif) Реферативна база даних ![](/irbis64r_81/images/db_navy.gif) Книжкові видання та компакт-диски ![](/irbis64r_81/images/db_navy.gif) Журнали та продовжувані видання
![Mozilla Firefox](../../ico/mf.png) |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Формат представлення знайдених документів: | повний | стислий |
Пошуковий запит: (<.>A=Szajna J$<.>) |
Загальна кількість знайдених документів : 2
Представлено документи з 1 до 2
|
| | | | |
1. |
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 Пошук видання у каталогах НБУВ
|
| | | | |
2. |
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 Пошук видання у каталогах НБУВ
|
|
|