Spezifikation, Verifikation und Sythese global asynchroner - lokal synchroner (GALS) Systeme und Schaltungen

移动通信系统与移动通信系统研究进展。[3] schwieriger, Schaltungen . herkömmlichen Schaltungen .同步schaltunsenwurfs .实现方法。在此基础上，研究了同步、电磁干扰和能量分支的问题。Zur Lösung在异步Schaltungstechniken之间的问题下；inbesonere全局异步，而不是本地同步系统（“GALS”）。effective Verfahren zum durchgängigen Entwurf und zur Implementierung von GALS and jedoch zur Zeit nicht verfgbar。在工程项目werden方法entwickelt， um GALS zu entworfen， inssonderere r Schaltungen移动通信系统。研究方法的基础和基础。德国Arbeitsgruppen kombinieren ihre Kompetenzen zu theoretischen Grundlagen， technischen Lösungen and praktischen Anforderungen and entwickeln gemeinsine durchgängige and effiziente Entwurfsmethode (Designflow) von speizization and verify . <e:1>德国schaltunssynthese is zur Implementierung als integrierte schaltunen。Sie demonstrieren die Leistungsfähigkeit ihrer Methoden mit exemplarischen Entwurf。德国技术与工程项目trägt dazu bei，德国<s:1>工业与技术研究所zugänglich德国机械与模具研究所Aktivitäten德国技术与工程研究所德国<s:1>工业与工程研究所。

Anforderungen an Systeme zur mobilen Kommunikation führen zu immer komplexeren Schaltungen. Es wird zunehmend schwieriger, diese Schaltungen mit herkömmlichen Methoden des synchronen Schaltungsentwurfs zu implementieren. Insbesondere wachsen Probleme der Taktsynchronisation, der elektromagnetischen Interferenz und des Energieverbrauchs. Zur Lösung dieser und anderer Probleme bieten sich asynchrone Schaltungstechniken an; insbesondere global asynchrone, aber lokal synchrone Systeme ("GALS"). Effektive Verfahren zum durchgängigen Entwurf und zur Implementierung von GALS sind jedoch zur Zeit nicht verfügbar. In diesem Projekt werden Methoden entwickelt, um GALS zu entworfen, insbesondere für Schaltungen mobiler Kommunikationssysteme. Die Entwurfsmethodik basiert wesentlich auf Petrinetzen. Drei Arbeitsgruppen kombinieren ihre Kompetenzen zu theoretischen Grundlagen, technischen Lösungen und praktischen Anforderungen und entwickeln gemeinsam eine durchgängige und effiziente Entwurfsmethode (Designflow) von der Spezifikation und Verifikation über Schaltungssynthese bis zur Implementierung als integrierte Schaltungen. Sie demonstrieren die Leistungsfähigkeit ihrer Methoden mit einem exemplarischen Entwurf. Das Ergebnis dieses Projektes trägt dazu bei, Techniken des asynchronen Schaltungsentwurfs für Industrie und Forschung zugänglich zu machen und die Aktivitäten auf diesem Gebiet in Deutschland zu bündeln.