Метою дипломного проекту є розробка повнофункціональної системи організації етапів статичної верифікації, яка надає можливість створювання маршрутів верифікації, автоматизації запуску перевірок правил, спрощення аналізу отриманих порушень правил, з метою зменшення часу, що витрачається на верифікацію проектів цифрових пристроїв.. Спроектовано об'єктну модель предметної області, виконано інтеграцію з системою Alint-Pro. Спроектовано графічний інтерфейс для створення маршрутів верифікації, графічний інтерфейс для запуску та моніторингу виконання маршрутів верифікації, розроблена система зберігання та завантаження раніш розроблених маршрутів, реалізовано механізм взаємодії системи з зовнішніми програмними засобами, виконано покриття програмного коду за допомогою модульних тестів. Для розробки системи було використано мову програмування С++, для розробки графічного інтерфейсу використовувалась бібліотека Qt, для зберігання і вибірки даних використовується формат XML. СТАТИЧНА ВЕРИФІКАЦІЯ, ПРОЕКТИ, МОВИ ОПИСУ АПАРАТУРИ, ФАЗА, ЛІНТИНГ, МЕТОДОЛОГІЯ Целью дипломного проекта является разработка полнофункциональной системы организации этапов статической верификации, которая предоставляет возможность создания маршрутов верификации, автоматизации запуска проверок правил, упрощения анализа полученных нарушений, с целью сокращения времени, затрачиваемого на верификацию проектов цифровых устройств. Спроектирована объектная модель предметной области, выполнена интеграция в систему Alint-Pro. Спроектирован графический интерфейс для создания маршрутов верификации, графический интерфейс для запуска и мониторинга выполнения маршрутов верификации, разработана система хранения и загрузки ранее разработанных маршрутов, реализован механизм взаимодействия системы с внешними программными средствами, выполнено покрытие кода с помощью модульных тестов. Для разработки системы были использованы язык программирования С++, для разработки графического интерфейса использовалась библиотека Qt, для хранения и выборки данных используется формат XML. СТАТИЧЕСКАЯ ВЕРИФИКАЦИЯ, ПРОЕКТЫ, ЯЗЫКИ ОПИСАНИЯ АППАРАТУРЫ, ФАЗА, ЛИНТИНГ, МЕТОДОЛОГИЯ The purpose of the graduation project is the development of a fully functional system organization stages static verification, which provides the ability to create routes verification automation startup checks rules to simplify the analysis of the violations, in order to reduce the time spent on projects verification of digital devices. Designed domain object model, performed the integration to Alint-Pro. Designed graphical interface for creating verification routes, graphical interface for launching and monitoring of routes verification execution, developed system to store and load a previously developed verification routes, implemented a mechanism of interaction of the system with external software, performed code coverage using unit tests. To develop the system were used programming language C++ and Qt library for GUI development, the xml format was used for storing and retrieving data. STATIC VERIFICATION, PROJECTS, HARDWARE DESCRIPTION LANGUAGE, PHASE, LINTING, METHODOLOGY
