FU Berlin, Fachbereich Mathematik und Informatik, Institut für Informatik
Durch die schnell wachsende Integrationsdichte im Schaltkreisentwurf werden immer höhere Anforderungen an die Werkzeuge, die den Entwerfer unterstützen, gestellt. Neben der Handhabung großer Beschreibungen, die bis hin zu einigen Millionen Komponenenten enthalten können, steht die Automatisierung der Werkzeuge im Vordergrund. Somit wird die Benutzung dieser Werkzeuge auch ``Nicht-Experten'' ermöglicht. In diesem Vortrag wird ein Kurzüberblick gegeben, der den Schaltungsentwurf und aktuelle Entwicklungen in diesem Bereich betrachtet. Am Beispiel der formalen Verifikation wird gezeigt, dass heutige Werkzeuge schon große Schaltungen handhaben und deren logische Korrektheit beweisen können. Basierend auf der Untersuchung der zugrundeliegenden Datenstrukturen werden Möglichkeiten und Limitierungen aufgezeigt.