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