Generating Code from Abstract VHDL Models - Basics, Semantics, Algorithms

Static methods are very successful in deriving crucial properties (e.g. timing behaviour) of safety...