Synthese Digitaler Systeme - gemeinsamer Entwurf von Hard- und Software für intelligente Geräte und Maschinen, GMD-Projekt