Публікація: Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури
Завантаження...
Дата
2024
Автори
Назва журналу
ISSN журналу
Назва тома
Видавництво
Анотація
У роботі розвʼязано науково-практичні задачі проєктування, верифікації та діагностики систем реального часу на базі моделей кінцевих автоматів через впровадження шаблонів на мовах опису апаратури (Hardware Descrtiption Languages, HDL), які використовуються для синтезу цифрових пристроїв реального часу. Завдання дослідження. 1. Розробка HDL шаблонів на базі дискретних автоматів для розвʼязання завдання проєктування цифрових пристроїв реального часу. 2. Розробка методів тестування темпоральних параметрів кінцевих часових автоматів на базі апарату асерцій. 3. Розробка методів діагностики кінцевих часових автоматів за рахунок введення апаратурної надлишковсті на етапі проєктування. 4. Розробка програмного комплексу автоматизації запропонованих методів верифікації та проєктування. Обʼєктом дослідження є процеси проєктування та діагностування керуючих автоматів в пристроях логічного управління реального часу. Предмет дослідження – моделі та методи проєктування і верифікації HDL- моделей темпоральних керуючих автоматів. Математичний апарат: теорія графів, теорія автоматів, технічна діагностика. У процесі дослідження використовуються наступні методи: побудова шаблонів на мовах опису апаратури Verilog, System Verilog та VHDL для проєктування цифрових пристроїв реального часу; впровадження додаткових асерційних конструкцій в HDL-код цифрового пристрою для зменшення часу верифікації та підвищення якості тесту; впровадження апаратурної надлишкості для підвищення діагностованості кінцевого пристрою; удосконалення темпорального графу переходів; аналіз та класифікації систем реального часу залежно від способів обробки зовнішніх подій та видачі вихідних сигналів. Вищенаведені пункти спрямовані на скорочення часу проєктування та верифікації, а відповідно на зменшення часу виходу готового цифрового виробу на ринок (time-to market, TTM), що є світовим трендом у сфері автоматизації проєктування обчислювальної техніки.
Опис
Ключові слова
автоматизація проєктування, діагностичний експеримент, FPGA, система реального часу, мова опису апаратури, керуючий автомат, граф переходів
Бібліографічний опис
Пшеничний К. Ю. Моделі та методи верифікації темпоральних моделей кінцевих автоматів на мовах опису апаратури : дис. ... д-ра філософії : 123 «Комп’ютерна інженерія» / Кирило Юрійович Пшеничний ; М-во освіти і науки України, Харків. нац. ун-т радіоелектроніки. – Харків, 2024. – 108 с. – Бібліогр. : с. 99–107.