Del i serien Leitfäden und Monographien der Informatik

Systematischer Entwurf digitaler Systeme

Name: Systematischer Entwurf digitaler Systeme
SKU: 9783519022657
Price: 679 SEK
Availability: InStock
Author: Franz J. Rammig
ISBN: 9783519022657

Von der System- bis zur Gatter-Ebene

Häftad, Tyska, 1989

AvFranz J. Rammig

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-02-01
Mått170 x 244 x 20 mm
Vikt621 g
FormatHäftad
SpråkTyska
SerieLeitfäden und Monographien der Informatik
Antal sidor357
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022657

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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 489 kr

From Specification to Embedded Systems Application

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

Inbunden, 2005

1 489 kr

Biologically Inspired Cooperative Computing

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

Inbunden, 2006

1 489 kr

Electronic Design Automation Frameworks

Franz J. Rammig, Flavio Wagner

Inbunden, 1995

2 159 kr

Distributed and Parallel Embedded Systems

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

Inbunden, 1999

2 959 kr

Del 268

Biologically-Inspired Collaborative Computing

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

Häftad, 2010

1 449 kr

Del 184

From Specification to Embedded Systems Application

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

Häftad, 2010

1 489 kr

Del 216

Biologically Inspired Cooperative Computing

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

Häftad, 2010

1 489 kr

Del 25

Distributed and Parallel Embedded Systems

Franz J. Rammig

Häftad, 2013

2 959 kr

Electronic Design Automation Frameworks

Franz J. Rammig, Flavio Wagner

Häftad, 2013

2 159 kr

Mer från samma serie

Algorithmen und Datenstrukturen mit Modula - 2

Niklaus Wirth

Häftad, 1989

609 kr

Datenstrukturen und effiziente Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 2012

1 079 kr

Theoretische Informatik

Ingo Wegener

Häftad, 1993

679 kr

Elektrotechnik und Elektronik für Informatiker

Reinhold Paul

Häftad, 1994

679 kr

Algorithmen in der Computergraphik

Springer Fachmedien Wiesbaden

Häftad, 1993

949 kr

Datenflußrechner

Theo Ungerer

Häftad, 1993

679 kr

Graphen und Algorithmen

Springer Fachmedien Wiesbaden

Häftad, 1994

679 kr

Aussagenlogik: Deduktion und Algorithmen

Theodor Lettmann

Häftad, 1994

879 kr

Parsing

Fritz Hohagen

Häftad, 1994

749 kr

Stochastik für Informatiker

Dietmar Pfeifer

Häftad, 1990

1 079 kr

Du kanske också är intresserad av

Del 184

From Specification to Embedded Systems Application

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

Häftad, 2010

1 489 kr

Del 25

Distributed and Parallel Embedded Systems

Franz J. Rammig

Häftad, 2013

2 959 kr

Del 403

Embedded Systems: Design, Analysis and Verification

Gunar Schirner, Marcelo Götz, Achim Rettberg, Mauro C. Zanella, Franz J. Rammig

Inbunden, 2013

749 kr

Del 268

Biologically-Inspired Collaborative Computing

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

Inbunden, 2008

1 489 kr

Analysis, Architectures and Modelling of Embedded Systems

Achim Rettberg, Mauro C. Zanella, Michael Amann, Michael Keckeisen, Franz J. Rammig

Inbunden, 2009

1 489 kr

Distributed and Parallel Embedded Systems

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

Inbunden, 1999

2 959 kr

Del 216

Biologically Inspired Cooperative Computing

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

Häftad, 2010

1 489 kr

Biologically Inspired Cooperative Computing

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

Inbunden, 2006

1 489 kr

From Specification to Embedded Systems Application

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

Inbunden, 2005

1 489 kr

Electronic Design Automation Frameworks

Franz J. Rammig, Flavio Wagner

Häftad, 2013

2 159 kr

Del i serien Leitfäden und Monographien der Informatik

Systematischer Entwurf digitaler Systeme

Von der System- bis zur Gatter-Ebene

Häftad, Tyska, 1989

AvFranz J. Rammig

679 kr

Beställningsvara. Skickas inom 10-15 vardagar. Fri frakt för medlemmar vid köp för minst 249 kr.

Produktinformation

Utgivningsdatum1989-02-01
Mått170 x 244 x 20 mm
Vikt621 g
FormatHäftad
SpråkTyska
SerieLeitfäden und Monographien der Informatik
Antal sidor357
Upplaga1989
FörlagSpringer Fachmedien Wiesbaden
ISBN9783519022657

Tillhör följande kategorier

Teknik: allmänt inom Naturvetenskap och teknik

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.