вейвлет-перетворення, ВП, вэйвлет-преобразование, (вейвлет-преобразование) ; верифікація, верификация ; діагностування, диагностирование ; моделювання, моделирование, modeling, simulation ; тестування, тестирование, testing ; цифрові системи на кристалах, цифровые системы на кристаллах, Systems on Chip- SoC ; JPEG 2000

Побіженко Ірина Олександрівна. Системні моделі проектування та верифікації вейвлет-перетворень стандарту JPEG2000. - Рукопис. - Дисертація на здобуття наукового ступеня кандидата технічних наук за спеціальністю 05.13.05 - комп'ютерні системи та компоненти. Харківський національний університет радіоелектроніки, Харків, 2010. Розроблено системні модел та моделі процесу верифікації вейвлет-перетворення стандарту JPEG2000 для істотного підвищення виходу придатної продукції й зменшення часу проектування компонентів цифрової обробки сигналів. Основні результати: розроблено модель верифікації і діагностичного обслуговування програмного коду системних моделей цифрової обробки сигналів для верифікації вейвлет-перетворень стандарту JPEG2000 на основі механізму асерції; удосконалено системну модель арифметичного блоку вейвлет-перетворення для кодера JPEG2000, з квазіоптимальними характеристиками у фарматі <якість DSP-перетворення - апаратна складність SoC>; запропоновано новий метод логічного множення рядків і стовпців таблиці несправностей для пошуку одиночних та ратних дефектів на основі ієрархічної структури таблиць дефектів; удосконалено модель процесу верифікації проекту цифрової обробки сигналу для DWT-перетворення; виконана імплементація модуля автоматичного генерування синтезованого HDL-коду за системою моделлю вейвлет-перетворення для кодера JPEG2000 з раціональними та перевернутими раціональними коефіцієнтами імплементована в модкль цифрової системи на кристалі HES2000 (VirtexE-2000); програмно реалізовано модель процесу верифікації DSP SoC архітектури. Ключові слова: моделювання, верифікація, діагностування, тестування, цифрові системи на кристалах, вейвлет-перетворення, асерція

• УДК // Автомати
• УДК // Автоматизація проектування виробничих процесів
• УДК // Пристрої для управління. Пристрої контролю та перевірки. Пристрої профілактичної перевірки