Titlebook: Rechnergestützter Entwurf und Architektur mikroelektronischer Systeme; GME/GI/ITG-Fachtagun Bernd Reusch Conference proceedings 1990 Spring

MAG

Rechnergestützte Spezifikation in einer integrierten Entwurfsumgebung für anwendungsspezifische Systigitaler Systemkomponenten, das im Rahmen eines Projektes zur Entwicklung einer integrierten, spezifikationsgesteuerten Entwurfsumgebung für Mikrosysteme (DEBYS — DEsign BY Specification) an der Universit?t Erlangen-Nürnberg entwickelt wird. Aufgabe des Systems ist es, die Entwicklung von detaillier

Mendicant

MOAN

敬禮

母豬

Architekturentwurf für nebenl?ufige, funktionssichere Steuerungen vor allem bei Auf-gabenstellungen, die eine Aufteilung der Steuerung auf mehrere, miteinander kooperie-rende Teilsteuerwerke erfordern. In diesem Beitrag konzentrieren wir uns auf Fragen der Spezifikation, der Verifikation und der Realisierung solcher Steuerungen. Wir stellen ein integriertes Entwu

Harness

CASCH — ein Scheduling-Algorithmus für ?High-Level“-Synthesee. Der Algorithmus wird als Teil des CADDY-Synthese-Systems eingesetzt (CAddy SCHeduling). Als Basis wird ein Listen-Scheduling-Algorithmus verwendet, der durch eine heuristische Bewertungsfunktion gesteuert wird. Der Algorithmus verfolgt die Strategie, ausgehend von gegebenen Ressourcen die Gesamtv

泰然自若

LARK

LARK

Testbarkeitsanalyse beim hierarchischen top-down Entwurfsetzbar, wenn der Entwurf einer Schaltung praktisch abgeschlossen ist. Werden Testbarkeitsm?ngel einer Schaltung erst zu diesem Zeitpunkt erkannt, so führt dies zu aufwendigen und kostenintensiven Redesigns. Um diese Probleme zu vermeiden, wird hier ein Testbarkeitsma? vorgestellt, das prinzipiell a

Lumbar-Spine