The maximal VHDL subset with a cycle-level abstraction
W.C. Barker, A.R. Newton · 2002
The maximal VHDL subset with a cycle-level abstraction is defined. This subset requires that the description have three semantic properties: responsiveness modularity and causality, bur full VHDL is neither modular nor causal. Synchronous VHDL is the responsive, modular and causal subset of VHDL. The compiler uses modularity-checking and causality-checking to identify admissible programs.