Press and Media

Nächstes Institutskolloquium am Institut für Telematik:

"Symbolic Algorithm for Logic Synthesis" am Mittwoch, 03.07.1996, um 16.00 Uhr

Der Trierer Bereich des neu gegründeten Institut für Telematik(Institut für Techno- und Wirtschaftsmathematik e. V.) der Fraunhofer-Management-Gesellschaft lädt im Rahmen seines wöchentlich stattfindenden Vortragsprogramms zum wissenschaftlichen Kolloquium mit Herrn Prof. Dr. Fabio Somenzi, University of Boulder/Colorado, USA ein. Prof. Somenzi ist einer der weltweit führenden Experten auf dem Gebiet der BDD-Technologie, die zu völlig neuen Lösungen im Bereich der Schaltkreisoptimierung und Verifikation geführt hat.

Herr Prof. Dr. Somenzi spricht zum Thema: Symbolic Algorithms for Logic Synthesis

Symbolic algorithms have considerably extended the size of problems that can be dealt with by logic synthesis algorithms. In this talk we review recent advances in algorithms for the manipulation ot two-level and multi-level functions, based on Minato`s work on Zero-Suppressed BDDs. We introduce ZDDs, and their manipulation algorithms. We show how they can be used to represent and optimize function covers, and we give examples of applications where traditional (non-symbolic) algorithms are inadequate.

Das Institut für Telematik läßt in seiner wissenschaftlichen Kolloquiumsreihe bedeutende Wissenschaftler und Entscheidungsträger nationaler und internationaler Prägung zu aktuellen Themen der Informatik- und Mathematik-Forschung zu Wort kommen. Das Institut für Telematik will in dieser Reihe wichtige Impulse aus seiner Forschungstätigkeit in die Region tragen.

Wir würden uns freuen, Sie hierzu am