Determinierung von Automaten bei der High-Level-Synthese von Operationseigenschaften