Spezifikation und Synthese von arithmetischen Datenpfadkomponenten / Hans-Jürgen Brand