|
Інсерційна семантика VHDL-мови електронного дизайну [Текст] / О. О. Летичевський, О. М. Одарущенко, В. С. Песчаненко [та ін.] // Кібернетика та системний аналіз. – 2022. – Т. 58, № 2. – С. 154-165.
У статті розглянуто основні конструкції мови VHDL, зокрема процес, архітектуру, паралельні оператори, та їхню інсерційну семантику. У вигляді поведінкових рівнянь побудовано потік керування VHDL-програми. Послідовні оператори представлено як дії алгебри поведінок. Розглянуто проблему перегонів сигналів та методів її виявлення через визначення властивості переставності (permutability). |