Hardwaresynthesis from SCCharts