Title: Spezifikation und Synthese aus taktfreien VHDL Verhaltensbeschreibungen