Bisher erschienene Bände:
Hinweis: bis einschl. Band Nr. 385 sind diese der VDI-Reihe 20 (Rechnerunterstützte Verfahren) zugeordnet. Band Nr. 690 ist der VDI-Reihe 10 (Informatik/Kommunikation) zugeordnet.
Nr. 282 - Birger Landwehr: ILP-basierte Mikroarchitektursynthese mit komplexen Bausteinbibliotheken
Nr. 285 - Renate Beckmann: Speicher-Synthese für allgemeine Multiprozessor-Systeme mit Constraint-Logikprogrammierung
Nr. 286 - Kai Hahn: Methoden und Werkzeuge zur fertigungsnahen Entwurfsverifikation in der Mikrosystemtechnik
Nr. 290 - Ulrich Heinkel: Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen
Nr. 295 - Stefan Höreth: Effiziente Konstruktion und Manipulation von binären Entscheidungsgraphen
Nr. 303 - Andre Hertwig: Synthesis of Fast Controllers Subject to Power Consumption, Testability and Fault Tolerance
Nr. 305 - Maximilian Miegler: Konzeption einer Datenbasis zur Spezifikation und Generierung von Prüfprogrammen für gemischt analog-digitale integrierte Schaltungen
Nr. 308 - Frank Scherber: Zur parallelen Verifikation des Layouts von Submikrometerschaltungen
Nr. 311 - Frank Pöhl: Simulation von Verzögerungsfehlern in hochintegrierten Digitalschaltungen mit Tristate-Elementen
Nr. 312 - Christoph Jäschke: Globale Ressourcenteilung in der High-Level-Synthese
Nr. 316 - Christoph Grimm: Hybride Datenflussgraphen und ihre Anwendung beim Entwurf analog/digitaler Systeme
Nr. 330 - Alexander Graßmann: Adaptive Methoden zur effizienten Mixed-Signal-Simulation von Prüfprogrammen für integrierte Schaltungen
Nr. 336 - Thorsten Adler: Algorithmen zur optimierten Verdrahtung integrierter Analogschaltungen
Nr. 337 - Dagmar Peters: Unterstützung des Entwurfsprozesses von Mikrosystemen mit direkten Optimierungsverfahren
Nr. 338 - Joachim Küter: Schaltungspartitionierung für die Logikemulation unter Berücksichtigung der Systemarchitektur
Nr. 339 - Jörn Stohmann: Architekturgesteuerte Abbildung von Datenpfadkomponenten auf SRAM-basierte FPGAs
Nr. 347 - Gundolf Kiefer: Deterministic Built-In Self-Test with Guaranteed Test Quality and Low Overhead
Nr. 353 - Frank Slomka: Mehrkriterienoptimierung verteilter Echtzeitsysteme mit Tabu-Search
Nr. 359 - Matthias Meerwein: Ein wiederverwendungsorientiertes Hardware/Software-Codesign-System für
Mikrocontroller-basierte Systeme
Nr. 364 - Walter Hartong: Ansätze zum Model-Checking nichtlinearer analoger Systeme
Nr. 372 - Oliver Kraus: Synthese von digitalen asynchronen Zustandsautomaten
Nr. 377 - Ilia Polian: On Non-standard Fault Models for Logic Digital Circuits: Simulation, Design for Testability,
Industrial Applications
Nr. 381 - Thomas Fiebig: Untersuchungen zur Fehlerbeobachtungsmöglichkeit beim Test integrierter Schaltungen mit Hilfe versorgungsstrombasierter Testverfahren
Nr. 385 - Ralf Münzenberger: Spezifikation der zeitlichen Aspekte von Echtzeitsystemen am Beispiel von SDL
Nr. 386 - Heiko Bayer: Methoden zur rechnergestützten zeitbezogenen Analyse und Optimierung von Testabläufen beim Test integrierter Schaltung
Nr. 395 - Reinhard Hofmann: Entwicklung eines Konzeptes für den interaktiven Entwurf von analogen und
Mixed-Signal-Schaltungen
Nr. 397 - Thomas Gentner: Multi-Level-Modellierung mit formaler Beobachtung und Bewertung von Modulen eines Testsystems für integrierte Schaltungen
Nr. 399 - Baolin Deng: Formale Beschreibung der Testspezifikation und Testerarchitektur zur Verbesserung der
Testentwicklung für gemischte analog-digital integrierte Schaltungen
Nr. 690 - Andreas Schubert: Modellierung, Optimierung und Selbsttest von kryptographischen virtuellen Komponenten