E-Book, Deutsch, 357 Seiten, eBook
Rammig Systematischer Entwurf digitaler Systeme
1989
ISBN: 978-3-663-01461-4
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Von der System- bis zur Gatter-Ebene
E-Book, Deutsch, 357 Seiten, eBook
Reihe: Leitfäden und Monographien der Informatik
ISBN: 978-3-663-01461-4
Verlag: Vieweg & Teubner
Format: PDF
Kopierschutz: 1 - PDF Watermark
Zielgruppe
Upper undergraduate
Autoren/Hrsg.
Weitere Infos & Material
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.