Моделі та методи апаратного моделювання цифрових систем на кристалах
Моделювання цифрової системи на кристалі вентильного та регістрового рівнів для аналізу перехідних процесів. Тестування і верифікація цифрових проектів. Трійковий метод аналізу справної поведінки. Використання багатозначних апаратних моделей компонентів.
Подобные документы
Удосконалення моделі процесу дедуктивного й паралельного моделювання несправностей. Розробка моделі структурного аналізу розгалужень, що сходяться та методу зворотного моделювання дефектів деревоподібних структур цифрових систем великої розмірності.
автореферат, добавлен 12.07.2014Структурно-функціональний метод аналізу тестопридатності цифрових систем на кристалах. Розробка неітеративної моделі діагностування цифрових систем на кристалах з регістром граничного сканування в якості мультизонду. Процес вибору контрольних точок.
автореферат, добавлен 29.08.2015Підвищення ефективності тестування цифрових систем. Попереднє складання словників несправностей. Процедури тестування цифрових систем за рахунок врахування ступеня підозрюваності її компонентів. Програмне забезпечення, що дозволяє здійснювати перевірку.
автореферат, добавлен 27.09.2014Технології збору, аналізу результатів розподіленого моделювання для оцінки протоколів синхронізації логічних процесів з метою їхньої оптимізації. Розробка алгоритму оптимального відображення цифрових систем на граф мережних моделюючих процесорів.
автореферат, добавлен 29.09.2014Напрями дослідження мереж на кристалі та підходи до їх моделювання. Характеристика аналітичне, високорівневе та низькорівневе імітаційне моделювання. Застосування мови програмування SystemC як альтернативне рішення з побудови моделей мереж на кристалі.
статья, добавлен 24.03.2016Аналіз та діагностування тестопридатності цифрових систем на кристалах з регістром граничного сканування. Вибір критичних контрольних точок та мови опису апаратури. Синтез кубічних покрить цифрових проектів. Пошук дефектів на перевіряльному тесті.
автореферат, добавлен 24.07.2014Розробка комплексу орієнтованих методів, моделей, алгоритмів та інструментальних засобів для системного логістичного аналізу й імітаційного моделювання процесів в автоматизованих багаторівневих розподілених системах. Прийняття рішень і управління в БРС.
автореферат, добавлен 15.07.2014Створення дедуктивної моделі реконфігурування структур даних опису цифрових систем на тест-векторі з метою виконання швидкодіючої процедури паралельної обробки дефектів. Тестування пристроїв великої розмірності, реалізованих у програмованій логіці.
автореферат, добавлен 25.06.2014Методи рекурсивного аналізу операційних моделей динамічних систем на основі апроксимуючих імпульсних спектрів. Оцінювання втрат інформації при апроксимації. Алгоритмізація розроблених методів. Шляхи використання програм електронного моделювання.
автореферат, добавлен 05.01.2014- 10. Методи і моделі системологічного імітаційного моделювання розробки компонент інформаційних систем
Побудова імітаційних моделей з використанням системно-об’єктного підходу та методів моделювання складних інформаційних програмних систем та їхніх компонентів на базі УФО-технології. Удосконалення математичного апарату для моделювання бібліотек даних.
автореферат, добавлен 27.08.2014 Методи підвищення швидкодії функціональної верифікації цифрових систем на кристалах. Програмне забезпечення логічного моделювання, виконуване на послідовному комп'ютері. Удосконалення моделі сферичного мультипроцесора, розв’язання булевих рівнянь.
автореферат, добавлен 26.08.2015Сучасні підходи до аналізу надійності програмно-апаратних систем. Формування вектора стану: вибір компонент, їх значень та встановлення початкових значень. Розроблення моделі поведінки програмно-апаратної системи у вигляді графа станів та переходів.
статья, добавлен 23.09.2016Побудова математичного забезпечення системи тестування, в основу якого покладено логіко-алгебраїчні методи автоматизації. Моделювання логіки викладача при виставленні балів респонденту. Оцінка точності вимірів за допомогою інформаційних технологій.
автореферат, добавлен 27.04.2014Розробка теорії, методу та CASE-інструменту системного (системологічного) аналізу та моделювання, які вирішують проблему узгодження процедури і результатів системного аналізу з вимогами об'єктно-орієнтованої технології проектування інформаційних систем.
автореферат, добавлен 13.07.2014Розробка методів та алгоритмів моделювання інформаційних систем, що реалізовані на основі Web-технологій. Створення процедур оптимізації структури Web-систем. Побудова формальної моделі Web системи, аналіз її поведінки. Створення прикладної Web системи.
автореферат, добавлен 20.04.2014Підходи до моделювання технологічних процесів, етапи створення математичних моделей і комп'ютерне моделювання технологічних процесів. Стрибок в розробці моделей, їх верифікації, в створенні і використанні модельно-обгрунтованих методів дослідження.
статья, добавлен 05.02.2019Основи теорії моделювання та базові принципи моделювання складних технічних та економічних систем. Характеристика моделей систем масового обслуговування, мережі Петрі і програмних генераторів випадкових величин і процесів. Шляхи імітаційного моделювання.
учебное пособие, добавлен 12.06.2011Класифікація та характеристики основних елементів моделі систем масового обслуговування: одноканальних та багатоканальних. Процес та методи моделювання. Системний підхід до побудови моделей. Імітаційне моделювання роботи каси та потоку Пуассона.
дипломная работа, добавлен 08.04.2014Алгоритм будови математичної моделі багатовимірного подання інформації в реляційній базі даних, яка враховує характер їх опрацювання під час аналізу. Основні методи інформаційного забезпечення процесів підтримки прийняття рішень у предметній області.
автореферат, добавлен 13.07.2014Специфіка побудови систем підтримки прийняття рішень на основі комп’ютерного моделювання та прогнозування нестаціонарних процесів. Дослідження основних підходів до автоматизації пошуку класу і структури проектів. Умови вибору стохастичних трендів.
автореферат, добавлен 30.08.2014Створення структурно-логічних моделей різних топологій і технологій виконання локальних обчислювальних мереж на основі теорії графів, кубічного зчислення і VHDL-мови опису апаратури високого рівня, що орієнтовані на існуючі системи моделювання.
автореферат, добавлен 04.03.2014Розробка комплексу математичних моделей коливальних процесів роторних систем, які дозволяють удосконалити інструментарій комп’ютерного моделювання. Організація досліджень, випробовувань та вібродіагностики, підвищення надійності роботи цих систем.
автореферат, добавлен 26.08.2015Апаратні засоби та програмне забезпечення систем. Методика діагностування компонентів цифрових пристроїв. Корекція програм тестового контролю компонентів. Блок контролю цифрових інтегральних схем. Локальні мережі гнучкого автоматизованого розпізнавання.
автореферат, добавлен 05.01.2014Розгляд віртуального моделювання в межах гносеологічного філософського аналізу. Імітація соціальної реальності за допомогою комп’ютерних технологій. Особливості імітаційного моделювання економічних систем та соціальних процесів у сучасній культурі.
статья, добавлен 09.06.2020Розробка концепції моделювання механізмів процесного менеджменту інформаційних систем управління. Дослідження методів розрахунку й аналізу ефективності реалізації бізнес-процесів. Створення структури комплексу інформаційної підтримки прийняття рішень.
автореферат, добавлен 30.08.2013