Структурно-функціональний аналіз тестопридатності при проектуванні цифрових систем на кристалах
Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
Подобные документы
Комп’ютери як невід’ємний атрибут існування суспільства. Оцінка тестопридатності для моделюючого вузла обчислювальної структури. Функції часових і апаратурних витрат на діагностування ЕОА. Використання між тестової семантики. Наукова новизна результатів.
автореферат, добавлен 07.01.2014Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
автореферат, добавлен 25.02.2015Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Характеристика основних методів підвищення ефективності автоматизованого діагностування цифрових систем. Розробка революційних методів генерації перевіряльних тестів і застосування більш потужної кратної стратегії спостереження вихідних сигналів.
автореферат, добавлен 20.07.2015Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Методологія автоматизації проектування і моделювання цифрових систем, що базується на логічному програмуванні. Аналіз методів розпізнавання часових діаграм і автоматизації символічного синтезу систем, які описуються за допомогою логічних секвентів.
автореферат, добавлен 22.04.2014Технології здійснення цифрових бібліотечних проектів. Вивчення моделей формування інтегрованих цифрових ресурсів бібліотек та технологічних засобів, що використовуються для створення, підтримки і введення у суспільний обіг цифрових бібліотечних колекцій.
статья, добавлен 29.12.2017Оцінка якості функціонування спеціалізованих цифрових пристроїв. Аналіз сучасного стану розвитку засобів обчислювальної техніки. Розробка алгоритмів і моделей пристроїв кодування, декодування і контролю інформації для синтезованих систем числення.
автореферат, добавлен 05.08.2014Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
автореферат, добавлен 12.07.2014- 11. Проектування тестів для послiдовносних функціональних схем, що реалізованi у програмованiй логіці
Розробка та загальний опис структурно-функціональних моделей послiдовних схем і удосконалення методів генерації тестів для зменшення часу верифікації цифрових систем на стадіях їхнього автоматизованого проектування й імплементації в кристалах ПЛIС.
автореферат, добавлен 25.06.2014 Моделі відмовостійких цифрових систем керування з програмованою логікою на основі частково працездатних автоматів. Процедури отримання версій за допомогою генетичних алгоритмів. Ранговий відбір індивідуумів. Створення відмовостійких цифрових систем.
автореферат, добавлен 26.07.2014Аналіз методів забезпечення відмовостійкості цифрових систем керування з програмованою логікою. Удосконалення методу вибору відмовостійких систем керування з урахуванням вимог до надійності та обмежень на габаритно-масові й енергетичні характеристики.
автореферат, добавлен 11.08.2014Розробка моделі бази знань та архітектури експертної системи діагностування цифрових та мікропроцесорних пристроїв. Дослідження основних переваг прогресивних інформаційних технологій. Алгоритми функціонування модулів експертної системи діагностування.
автореферат, добавлен 20.04.2014Аналіз застосування цифрових засобів генерування, фільтрації, виявлення тональних сигналів для підвищення достовірності ідентифікації об’єктів комп’ютеризованих систем контролю параметрів енергоспоживання. Апробація нових уніфікованих цифрових пристроїв.
автореферат, добавлен 28.08.2015Багатозначна модель компонентів цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Програмно-апаратний комплекс MV-HES (Multi-Valued Hardware Embedded Simulator), що дозволяє верифікувати складні цифрові SoC.
автореферат, добавлен 28.09.2015Стаття присвячена теоретичному обґрунтуванню впливу цифрових технологій на цивільні правовідносини, зроблена спроба формулювання цивільно-правової моделі регулювання цивільних правовідносин за допомогою цифрових технологій, проведено аналіз особливостей.
статья, добавлен 25.01.2023Процедури отримання структур цифрових фільтрів по повній матриці. Формулюванням умов розташування елементів затримки в матриці для отримання структур цифрових фільтрів, що реалізовуються. Створенням допоміжних програм для реалізації отриманих методик.
автореферат, добавлен 22.04.2014Підвищення ефективності та достовірності процесу тестового комбінованого діагностування цифрових мікропроцесорних пристроїв шляхом побудови методик та алгоритмів оптимізації послідовностей тест-векторів, що реалізують умовні алгоритми діагностування.
автореферат, добавлен 21.11.2013Аналіз способів побудови та методів дискретизації цифрових моделей реального часу для динамічних систем. Необхідність розробки нових високоефективних способів зменшення витрат основних розрахункових ресурсів керуючих електронно-обчислювальних машин.
автореферат, добавлен 22.06.2014Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Розробка та характеристика особливрстей методів примусового діагностування цифрових мікросхем, встановлених у модулях систем керування технічними об'єктами, які дозволяють мінімізувати загальний час діагностування за умов апріорної невизначеності.
автореферат, добавлен 29.08.2014Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Аналіз методів, застосовуваних в поліграфічному процесі для попереднього опрацювання потоку цифрових даних у форматі PostScript в системах процесорів растрових перетворень. Комбіноване PDF/PostScript 3 опрацювання потоку цифрових даних, його аналіз.
статья, добавлен 14.09.2016Рішення науково-технічної задачі діагностування цифрових типових елементів заміни з використанням електромагнітного методу, заснованого на безконтактному зйомі діагностичної інформації. Визначення способів підключення зовнішніх пристроїв до ЕОМ.
статья, добавлен 20.02.2016