Automatische Zustandssynthese von Registertransfer-Strukturen aus algorithmischen Verhaltensbeschreibungen | lit.salon