Generating Code From Abstract Vhdl Models - Basics, Semantics, Algorithms by Mohamed Abdel Maksoud