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