Верифікація моделей цифрових пристроїв, які подано мовами опису апаратури
Розробка методу зменшення кількості тестових наборів на основі звуження області можливих значень, що дозволяє зменшити загальний термін верифікації. Процеси автоматизованого проектування цифрових пристроїв, поданих мовами опису апаратури високого рівня.
Подобные документы
Оптимізація структури елементів і пристроїв обчислювальної техніки на основі спільного використання класичного і альтернативних форм проектування. Розробка засобів оптимізації цифрових блоків на основі ізоморфізму логічних та кусково-постійних функцій.
автореферат, добавлен 22.06.2014Удосконалення та розвиток покомпонентного методу діагностування цифрових об'єктів дослідження за рахунок розробки ефективних машинних процедур пошуку дефектів. Урахування критичних значень теплофізичних параметрів процесу наведення тестових сигналів.
автореферат, добавлен 11.11.2013- 3. Розробка методів і засобів тестування цифрових пристроїв в системах покомпонентного діагностування
Розробка математичної моделі та формального апарату побудови компонентних структур об’єкту діагностування, алгоритму оцінки складності та корекції тестових програм для утвореної компонентної структури й методу адаптивного тестування цифрових об’єктів.
автореферат, добавлен 18.11.2013 Розробка програмних засобів систем діагностування цифрових пристроїв. Схема тестування модулів системи покомпонентного діагностування. Скорочення часу пошуку несправностей у схемах цифрових пристроїв за рахунок особливостей здійснення фізичних процесів.
статья, добавлен 29.01.2016Методи і алгоритми швидкого тестування цифрових пристроїв на основі формування штучних фрагментів схем та компонентних структур цифрових об'єктів. Методика коригування програм тестування компонентів з врахуванням структурних особливостей їх комутації.
автореферат, добавлен 28.08.2014Аналіз методу побудови передавальних функцій цифрових фільтрів, розробка підходу для зменшення кількості операцій, необхідних для їх роботи. Автоматизований процес зменшення в смузі частот сумарної параметричної чутливості модуля передавальної функції.
автореферат, добавлен 28.08.2015Розробка методу та програмно-алгоритмічного засобу оптимізації параметрів функцій належності вхідних сигналів цифрових керуючих пристроїв, удосконалення градієнтної процедури параметричної оптимізації вихідних сигналів НКП Сугено- та Мамдані-типу.
автореферат, добавлен 29.07.2014Новий метод діагностування цифрових пристроїв нейромережними засобами. Метод, методики та засоби, орієнтовані на автоматизацію і підвищення ефективності тестового комбінованого діагностування цифрових пристроїв з використанням умовних алгоритмів.
автореферат, добавлен 06.07.2014Аналіз структурної організації систем автоматизованого проектування. Ефективність використання та розробка інформаційної технології керування цифровими пристроями з жорсткою логікою, продуктивність їх апаратної реалізації, кодування внутрішніх сигналів.
автореферат, добавлен 26.02.2015Обґрунтування процесу використання систем автоматизованого проектування як одного із інноваційних напрямків у створенні радіоелектронної апаратури. Сучасний стан, основні види та тенденції розвитку САПР РЕА в провідних країнах світу та в Україні.
статья, добавлен 28.10.2020Розробка основних принципів та моделей процесу діагностування пристроїв системи модернізації АТС на етапах її проектування, виробництва та експлуатації. Методика комбінованого поетапного діагностування цифрового обладнання. Алгоритм його реалізації.
автореферат, добавлен 27.04.2014Розроблено метод виявлення динамічних несправностей цифрових та мікропроцесорних пристроїв з компонентами, які побудовані за КМДН-технологією. Розроблено програмно-апаратні виявлення динамічних несправностей цифрових та мікропроцесорних пристроїв.
автореферат, добавлен 22.06.2014Вплив електромагнітних випромінювань на елементну базу радіоелектронної апаратури і фізичних механізмів порушення функціонування блоків електронної апаратури. Розробка пристрою для захисту радіоприймача від впливу електромагнітних випромінювань.
автореферат, добавлен 30.07.2015Дослідження доцільності використання багатоверсійності програмного забезпечення для підвищення надійності двоканальних пристроїв управління цифрових систем комутації. Особливість знаходження ймовірності безвідмовної роботи мікропроцесорних систем.
автореферат, добавлен 14.10.2015- 15. Архітектурно-структурна організація, розробка і застосування реконфігуровних пристроїв на базі ПЛІС
Теоретичні основи побудови реконфігуровних цифрових структур на основі однорідного середовища, включаючи систему формалізованих методик й алгоритмів синтезу параметричних модулів і закінчених функціональних пристроїв. Синтез адаптивних логічних мереж.
автореферат, добавлен 14.10.2015 Забезпечення безперервної роботи електронних пристроїв. Аналіз вимог до апаратури зв’язку. Вибір системи електроживлення та резервування, побудови й експлуатації установки. Розрахунок параметрів випрямлювачів, регуляторів, акумуляторів, дизель-генератора.
контрольная работа, добавлен 30.05.2015Систематизація структур та засобів побудови арифметичних пристроїв різноманітних класів, дослідження їх властивостей. Розвиток і адаптація алгебри симетричних функцій. Розробка програм функціонально-логічного проектування арифметичних пристроїв.
автореферат, добавлен 23.11.2013Розробка методу формалізації специфікації телекомунікаційних протоколів за допомогою темпоральних логік. Синтез формальної граматики, що дозволяє описати поведінку протоколу на основi моделi Е-мережі. Опис верифікації телекомунікаційних протоколів.
автореферат, добавлен 30.07.2015Реалізація методики формування і вибору тестових сигналів для дослідження параметрів частотних характеристик аналогових та цифрових пристроїв. Особливості підготовки та налаштування тестових сигналів, що проходитимуть через певний електронний пристрій.
статья, добавлен 27.07.2016Пропонується ідея використання біноміальних систем числення при розробці завадостійких і відмовостійких біноміальних цифрових пристроїв, що дозволить покращити характеристики роботи телекомунікаційних систем та побудувати нову концепцію їх роботи.
научная работа, добавлен 13.01.2020Порівняльний аналіз структур цифрових систем комутації з точки зору забезпечення їх потрібної надійності. Моделі контролю та діагностування пристроїв управління. Моделі їх функціонування, що врахують відмови апаратних засобів і програмного забезпечення.
автореферат, добавлен 29.09.2014Розробка методики одержання структур цифрових фільтрів по схемах аналогових прототипів. Проектування структур цифрових фільтрів за схемами аналогових RC фільтрів. Спосіб кодування графічної інформації з використанням принципу частотної модуляції.
автореферат, добавлен 25.02.2014- 23. Розробка та дослідження структурних методів та засобів побудови тестопридатних цифрових пристроїв
Аналіз тестопридатності цифрових схем, заснованих на застосуванні функціональних елементів. Поняття комбінаційних структур, що реалізують булеві функції. Архітектура діагностичних комплексів та функціональний склад прикладного програмного забезпечення.
автореферат, добавлен 07.08.2014 - 24. Архітектурно-структурна організація, розробка і застосування реконфігуровних пристроїв на базі ПЛІС
Дослідження нових формалізованих методик побудови й динамічної перебудови архітектури і структури цифрових пристроїв з високим ступенем реконфігуровності. Вивчення основ теорії адаптивних логічних мереж, призначених для вирішення широкого класу задач.
автореферат, добавлен 29.09.2014 Методи синтезу ЦПНЛ, що забезпечують: швидкодію та точність фаззифікації сигналів з функціями належності трикутної та гаусівської форм. Розробка бібліотеки VHDL-моделей для апаратного синтезу на основі програмованої логіки, імітаційного моделювання.
автореферат, добавлен 25.06.2014