Hochschulschrift
Zur parallelen Verifikation des Layouts von Submikrometerschaltungen
- Standort
-
Deutsche Nationalbibliothek Frankfurt am Main
- ISBN
-
9783183308200
3183308207
- Maße
-
21 cm
- Umfang
-
X, 115 S.
- Ausgabe
-
Als Ms. gedr.
- Sprache
-
Deutsch
- Anmerkungen
-
graph. Darst.
Zugl.: München, Techn. Univ., Diss., 1999
- Erschienen in
-
Fortschritt-Berichte VDI / 20 / Verein Deutscher Ingenieure ; Nr. 308, Reihe 20, Rechnerunterstützte Verfahren
- Schlagwort
-
Entwurfsautomation
VLSI
Nanometerbereich
Verifikation
Automatische Parallelisierung
Verteiltes System
- Ereignis
-
Veröffentlichung
- (wo)
-
Düsseldorf
- (wer)
-
VDI-Verl.
- (wann)
-
2000
- Urheber
-
Scherber, Frank
- Inhaltsverzeichnis
- Rechteinformation
-
Bei diesem Objekt liegt nur das Inhaltsverzeichnis digital vor. Der Zugriff darauf ist unbeschränkt möglich.
- Letzte Aktualisierung
-
11.06.2025, 14:14 MESZ
Datenpartner
Dieses Objekt wird bereitgestellt von:
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Deutsche Nationalbibliothek. Bei Fragen zum Objekt wenden Sie sich bitte an den Datenpartner.
Objekttyp
- Hochschulschrift
Beteiligte
- Scherber, Frank
- VDI-Verl.
Entstanden
- 2000
Ähnliche Objekte (12)
Ansätze zur formalen Verifikation analoger Schaltungen
Strukturerkennung im Layout integrierter Schaltungen
Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Automatische Layout-Methoden für transparente Standardzellen
Verifikation der Landnutzung durch Ähnlichkeitsanalyse der Landbedeckung gleicher Geodatenobjekte
Mechanismenorientierte Lebensdauervorhersage unter Berücksichtigung der Mikrostruktur : Modellentwicklung, Verifikation und Anwendung
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Kapillarer Flüssigkeitsanstieg zwischen parallelen Platten unter kompensierter Gravitation
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
Zur parallelen Simulation und Regelung grosser Systeme mit Transputern
Zeitoptimale Aufteilung nichtlinearer Differentialgleichungssysteme zur Lösung auf parallelen Prozessoren
Ansätze zur formalen Verifikation analoger Schaltungen
Strukturerkennung im Layout integrierter Schaltungen
Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Automatische Layout-Methoden für transparente Standardzellen
Verifikation der Landnutzung durch Ähnlichkeitsanalyse der Landbedeckung gleicher Geodatenobjekte
Mechanismenorientierte Lebensdauervorhersage unter Berücksichtigung der Mikrostruktur : Modellentwicklung, Verifikation und Anwendung
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Kapillarer Flüssigkeitsanstieg zwischen parallelen Platten unter kompensierter Gravitation
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
Zur parallelen Simulation und Regelung grosser Systeme mit Transputern
Zeitoptimale Aufteilung nichtlinearer Differentialgleichungssysteme zur Lösung auf parallelen Prozessoren
Ansätze zur formalen Verifikation analoger Schaltungen
Strukturerkennung im Layout integrierter Schaltungen
Ein integriertes Programmsystem zur strukturellen Verifikation mikroelektronischer Schaltungsentwürfe
Eine Methode zur formalen Verifikation von RISC-Prozessoren
Automatische Layout-Methoden für transparente Standardzellen
Verifikation der Landnutzung durch Ähnlichkeitsanalyse der Landbedeckung gleicher Geodatenobjekte
Mechanismenorientierte Lebensdauervorhersage unter Berücksichtigung der Mikrostruktur : Modellentwicklung, Verifikation und Anwendung
Ein Basiskalkül für die Verifikation von Eigenschaften synchron interagierender Objekte
Kapillarer Flüssigkeitsanstieg zwischen parallelen Platten unter kompensierter Gravitation
Numerische Modelle für die aktive Schwingungs- und Schallreduktion und deren Verifikation
Zur parallelen Simulation und Regelung grosser Systeme mit Transputern