Hardware-Software-Co-Verifikation komplexer Telekommunikationssysteme

通信协议在软件领域是很重要的，嗯，它并不是很灵活。从硬件实现的角度来看，这是一项非常重要的工作。Für Diese Hardware-Software-Systeme Stellt Die Verifikation das Gröçte Problem DAR.这是一种特殊的功能，也是一种特殊的功能。这句话的意思是：“我的意思是，这是一种形式上的规范，也是一种形式的规范。”所有的硬件和硬件都是由硬件和硬件组成的，因此我们需要对硬件进行全面的验证。

Kommunikationsprotokolle werden weitgehend in Software realisiert, um die notwendige Flexibilität zu gewährleisten. Andererseits müssen wegen der steigenden Geschwindigkeitsanforderungen Teilfunktionalitäten zunehmend in Hardware implementiert werden. Für diese Hardware-Software-Systeme stellt die Verifikation das größte Problem dar. Hierbei muß die Einhaltung sowohl der spezifizierten Funktionalität als auch der Leistungsanforderungen im Systemkontext sichergestellt werden. Ziel dieses Antrages ist es, die zu implementierenden Komponenten sukzessive zu einem 'virtuellen Prototypen' zu verfeinern, welcher unter Weiterverwendung von formal spezifizierten Testfällen durchgängig im Systemzusammenhang verifiziert werden kann. Hierzu werden das SDL-basierte Leistungsbewertungswerkzeug SPEET und die objektorientierte Hardware-Entwurfsumgebung GRACE zu einer Co-Verifikationsumgebung integriert.