Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури

Пшеничний, К. Ю.

Публікація:
Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури

dc.contributor.author	Пшеничний, К. Ю.
dc.date.accessioned	2025-07-13T16:49:01Z
dc.date.available	2025-07-13T16:49:01Z
dc.date.issued	2024
dc.description.abstract	У роботі розвʼязано науково-практичні задачі проєктування, верифікації та діагностики систем реального часу на базі моделей кінцевих автоматів через впровадження шаблонів на мовах опису апаратури (Hardware Descrtiption Languages, HDL), які використовуються для синтезу цифрових пристроїв реального часу. Завдання дослідження. 1. Розробка HDL шаблонів на базі дискретних автоматів для розвʼязання завдання проєктування цифрових пристроїв реального часу. 2. Розробка методів тестування темпоральних параметрів кінцевих часових автоматів на базі апарату асерцій. 3. Розробка методів діагностики кінцевих часових автоматів за рахунок введення апаратурної надлишковсті на етапі проєктування. 4. Розробка програмного комплексу автоматизації запропонованих методів верифікації та проєктування. Обʼєктом дослідження є процеси проєктування та діагностування керуючих автоматів в пристроях логічного управління реального часу. Предмет дослідження – моделі та методи проєктування і верифікації HDL- моделей темпоральних керуючих автоматів. Математичний апарат: теорія графів, теорія автоматів, технічна діагностика. У процесі дослідження використовуються наступні методи: побудова шаблонів на мовах опису апаратури Verilog, System Verilog та VHDL для проєктування цифрових пристроїв реального часу; впровадження додаткових асерційних конструкцій в HDL-код цифрового пристрою для зменшення часу верифікації та підвищення якості тесту; впровадження апаратурної надлишкості для підвищення діагностованості кінцевого пристрою; удосконалення темпорального графу переходів; аналіз та класифікації систем реального часу залежно від способів обробки зовнішніх подій та видачі вихідних сигналів. Вищенаведені пункти спрямовані на скорочення часу проєктування та верифікації, а відповідно на зменшення часу виходу готового цифрового виробу на ринок (time-to market, TTM), що є світовим трендом у сфері автоматизації проєктування обчислювальної техніки.
dc.identifier.citation	Пшеничний К. Ю. Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури : дис. ... д-ра філософії : 123 «Комп’ютерна інженерія» / Кирило Юрійович Пшеничний ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2024. – 108 с. – Бібліогр. : с. 99–107.
dc.identifier.uri	https://openarchive.nure.ua/handle/document/32018
dc.language.iso	uk
dc.subject	автоматизація проєктування
dc.subject	діагностичний експеримент
dc.subject	FPGA
dc.subject	система реального часу
dc.subject	мова опису апаратури
dc.subject	керуючий автомат
dc.subject	граф переходів
dc.title	Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури
dc.type	Other
dspace.entity.type	Publication