web address of the page http://jnas.nbuv.gov.ua/article/UJRN-0001313070
Cybernetics and Systems Analysis   А - 2019 /  Issue (2022, Т. 58, № 2)
Летичевський О. О., Одарущенко О. М., Песчаненко В. С., Харченко В. С., Москалець В. В.
Інсерційна семантика VHDL-мови електронного дизайну Досліджено проблему інсерційної семантики специфікацій апаратного забезпечення, зокрема мови VHDL. Побудова семантики потрібна для представлення первинного коду мови VHDL у вигляді інсерційної моделі за допомогою алгебри поведінок. Це представлення надає змогу широко застосовувати формальні методи інсерційного моделювання для верифікації електронних проектів критичних систем. Розглянуто основні конструкції мови VHDL, зокрема процес, архітектуру, паралельні оператори, та їхню інсерційну семантику. У вигляді поведінкових рівнянь побудовано потік керування VHDL-програми. Послідовні оператори представлено як дії алгебри поведінок. Розглянуто проблему перегонів сигналів і методів її виявлення через визначення властивості переставності (permutability).
 https://doi.org/10.1007/s10559-022-00461-2
 Scopus
Бібліографічний опис:
Летичевський О. О., Одарущенко О. М., Песчаненко В. С., Харченко В. С., Москалець В. В. Інсерційна семантика VHDL-мови електронного дизайну. Кібернетика та системний аналіз. 2022. Т. 58, № 2. С. 154–165. doi: https://doi.org/10.1007/s10559-022-00461-2 URL: http://jnas.nbuv.gov.ua/article/UJRN-0001313070 |
 Cybernetics and Systems Analysis / Issue (2022, 58 (2))
Letychevskyi O.O.,
Odarushchenko O.M.,
Peschanenko V.S.,
Kharchenko V.S.,
Moskalets V.V.
Insertion semantics of VHDL as electronic design languge The paper considers the problem of insertion semantics of hardware specifications, in particular, the VHDL language. The creation of semantics is necessary to represent the primary code of the VHDL language in the form of an insertion model using algebra of behaviors. This presentation allows the widespread use of formal methods of insertion modeling to verify electronic designs of safety critical systems. The main constructions of the VHDL language and their insertion semantics, such as process, architecture, and parallel operators are considered. The control flow of a VHDL program is constructed in the form of behavioral equations. Consecutive operators are represented as actions of behavior algebra. The problem of signal races and methods of its detection through detection of permutability properties is considered. © 2022, Springer Science+Business Media, LLC, part of Springer Nature. Keywords: behavior algebra, hardware description language, insertion model, permutability, safety critical system, signal races, symbolic modeling, Computer hardware description languages, Formal methods, Modeling languages, Safety engineering, Security systems, Semantics, Behavior algebra, Electronic design, Hardware specifications, Insertion model, Permutability, Process operators, Safety critical systems, Signal race, Symbolic modeling, VHDL language, Algebra
Cite:
Letychevskyi O.O.,
Odarushchenko O.M.,
Peschanenko V.S.,
Kharchenko V.S.,
Moskalets V.V.
(2022). Insertion semantics of VHDL as electronic design languge. Cybernetics and Systems Analysis, 58 (2), 154–165. doi: https://doi.org/10.1007/s10559-022-00461-2 http://jnas.nbuv.gov.ua/article/UJRN-0001313070 [In Ukrainian]. |
PDF