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

520 kr

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

Fler format och utgåvor

E-bok

542 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

Del 268

Biologically-Inspired Collaborative Computing

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

Inbunden, 2008

1 139 kr

Biologically-Inspired Collaborative Computing

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

E-bok

2008

1 427 kr

From Specification to Embedded Systems Application

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

Inbunden, 2005

1 139 kr

From Specification to Embedded Systems Application

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

E-bok

2005

1 470 kr

Biologically Inspired Cooperative Computing

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

Inbunden, 2006

1 139 kr

Biologically Inspired Cooperative Computing

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

E-bok

2006

1 455 kr

Electronic Design Automation Frameworks

Flavio Wagner, Franz J. Rammig

E-bok

2013

2 065 kr

Distributed and Parallel Embedded Systems

Franz J. Rammig

E-bok

2013

2 948 kr

Electronic Design Automation Frameworks

Franz J. Rammig, Flavio Wagner

Inbunden, 1995

1 655 kr

Distributed and Parallel Embedded Systems

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

Inbunden, 1999

2 270 kr

Mer från samma serie

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

829 kr

Theoretische Informatik

Ingo Wegener

Häftad, 1993

520 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1994

520 kr

Algorithmen in der Computergraphik

Springer Fachmedien Wiesbaden

Häftad, 1993

726 kr

Datenflußrechner

Theo Ungerer

Häftad, 1993

520 kr

Graphen und Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 1994

520 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad, 1994

674 kr

Parsing

Fritz Hohagen

Häftad, 1994

572 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad, 1990

829 kr

Vom Problem zum Programm

Herbert Klaeren

Häftad, 1990

520 kr

Du kanske också är intresserad av