Systematischer Entwurf digitaler Systeme

Von der System- bis zur Gatter-Ebene

AvFranz J. Rammig

Häftad, Tyska, 1989

Del i serien Leitfäden und Monographien der Informatik

501 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt över 249 kr.

Produktinformation

Utgivningsdatum:1989-02-01
Mått:170 x 244 x 20 mm
Vikt:621 g
Format:Häftad
Språk:Tyska
Serie:Leitfäden und Monographien der Informatik
Antal sidor:357
Upplaga:1989
Förlag:Springer Fachmedien Wiesbaden
ISBN:9783519022657

Utforska kategorier

Teknik: allmänt inom Naturvetenskap och teknik

Innehållsförteckning

1 Entwurfsprozeß.- 1.1 Makroskopisches Modell des Entwurfsprozesses.- 1.2 Abstraktionsebenen.- 1.3 Mikroskopisches Modell des Entwurfsprozesses.- 1.4 Literatur.- 2 Modellierungskonzepte und Entwurfssprachen.- 2.1 Modellierungskonzepte.- 2.2 Sprachkonzepte.- 2.3 Die Hardwarebeschreibungssprache DACAPO III.- 2.4 Literatur.- 3 Implementationsaktivitäten.- 3.1 Systemebene zur algorithmischen Ebene.- 3.2 Algorithmische Ebene zur Registertransferebene.- 3.3 Registertransferebene zur Gatterebene.- 3.4 Literatur.- 4 Optimierungsaktivitäten.- 4.1 Optimierung auf der Systemebene.- 4.2 Optimierung auf algorithmischer Ebene.- 4.3 Optimierung auf der Registertransferebene.- 4.4 Optimierung auf der Gatterebene.- 4.5 Literatur.- 5 Evaluierung, Validierung, Verifikation.- 5.1 Formale Verifikation.- 5.2 Simulation.- 5.3 Literatur.- 6. Testmethoden.- 6.1 Begriffsbestimmungen.- 6.2 Strukturorientierte Testverfahren.- 6.3 Funktionsorientierte Testverfahren.- 6.4 Testfreundlicher Entwurf.- 6.5 Literatur.

Mer från samma författare

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck

Inbunden

1 096 kr

From Specification to Embedded Systems Application

Achim Rettberg, Mauro C. Zanella, Franz J. Rammig

Inbunden

1 096 kr

Biologically Inspired Cooperative Computing

Yi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar

Inbunden

1 096 kr

Electronic Design Automation Frameworks

Franz J. Rammig, Flavio Wagner

Inbunden

1 593 kr

Distributed and Parallel Embedded Systems

Franz J. Rammig, F. J. Rammig, Franz J. Rammig

Inbunden

2 185 kr

Biologically-Inspired Collaborative Computing

Mike Hinchey, Anastasia Pagnoni, Franz J. Rammig, Hartmut Schmeck

Häftad

1 061 kr

From Specification to Embedded Systems Application

Achim Rettberg, Mauro C. Zanella, Franz J. Rammig

Häftad

1 092 kr

Biologically Inspired Cooperative Computing

Yi Pan, Franz J. Rammig, Hartmut Schmeck, Mauricio Solar

Häftad

1 092 kr

Distributed and Parallel Embedded Systems : IFIP WG10.3/WG10.5 International Workshop on Distributed and Parallel Embedded Systems (DIPES'98) October

Franz J. Rammig

634 kr

Distributed and Parallel Embedded Systems

Franz J. Rammig

Häftad

2 178 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen

Häftad

797 kr

Theoretische Informatik

Ingo Wegener

Häftad

501 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad

501 kr

Algorithmen in der Computergraphik

Häftad

699 kr

Datenflußrechner

Theo Ungerer

Häftad

501 kr

Graphen und Algorithmen

Häftad

501 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad

649 kr

Parsing

Fritz Hohagen

Häftad

550 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad

797 kr

Vom Problem zum Programm

Herbert Klaeren

Häftad

501 kr

Du kanske också är intresserad av

Automatentheorie

Wilfried Brauer

Häftad

501 kr

Effiziente Algorithmen für grundlegende Funktionen

Ingo Wegener

Häftad

501 kr

Datenstrukturen und effiziente Algorithmen

Häftad

797 kr

Parallelrechnerstrukturen

Häftad

452 kr

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad

452 kr

Mathematik für Informatiker

Friedrich Schwarz

Häftad

550 kr

Prinzipien und Realisierung von Betriebssystemen

Häftad

501 kr

Mathematik für Informatiker 1

Karl-Heinz Kiyek, Friedrich Schwarz

Häftad

501 kr

Analyse von Petri-Netz-Modellen

Häftad

452 kr

Leistungsbewertung von Rechensystemen

Häftad

501 kr