CONFIRM: Automatisierter Firmware-Entwurf für anwendungsspezifische Elektroniksysteme