Досліджено проблему інсерційної семантики специфікацій апаратного забезпечення, зокрема мови VHDL. Побудова семантики потрібна для представлення первинного коду мови VHDL у вигляді інсерційної моделі за допомогою алгебри поведінок. Це представлення надає змогу широко застосовувати формальні методи інсерційного моделювання для верифікації електронних проектів критичних систем. Розглянуто основні конструкції мови VHDL, зокрема процес, архітектуру, паралельні оператори, та їхню інсерційну семантику. У вигляді поведінкових рівнянь побудовано потік керування VHDL-програми. Послідовні оператори представлено як дії алгебри поведінок. Розглянуто проблему перегонів сигналів і методів її виявлення через визначення властивості переставності (permutability).

 Наукова періодика України 

---

Додаткова інформація про автора(ів) публікації:
(cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)

• Летичевський Олександр Олександрович (1960–) (фізико-математичні науки)
• Одарущенко Олег Миколайович (технічні науки)
• Песчаненко Володимир Сергійович (фізико-математичні науки)
• Харченко Вячеслав Сергійович (технічні науки)
• Харченко Валентина Сергіївна (технічні науки)
• Харченко Віталіна Сергіївна (біологічні науки)

  Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"