Formal Semantics For Vhdl door Carlos Delgado Kloos & Peter T. Breuer