Sémantique Formelle de H-VHDL
Vincent Iampietro · HAL (Le Centre pour la Communication Scientifique Directe) · 2022
This document serves as a reference for the definition of the syntax and semantics of a subset of VHDL named H-VHDL. H-VHDL aims at the definition of synthesizable designs with a synchronous behavior (i.e. the execution of the designs is synchronized with a clock signal).