{V}erifikation der diskreten - Embedded Systems Group

Weitere Magazine

Empfehlungen

Info

ErklärungHiermit versichere ich, daß ich die vorliegende Studienarbeit selbständig verfaßt und keineanderen Quellen und Hilfsmittel als die im Literaturverzeichnis aufgeführten verwendet habe.Karlsruhe, den 31. Oktober 1998
Inhaltsverzeichnis1. Einleitung1.1 Hardware-Verifikation......................................................................................1.2 Datenkompression............................................................................................1.3 Ziele der Arbeit.................................................................................................1.4 Gliederung........................................................................................................444562. Hardware-Verifikation 73. CTL 84. Binäre Entscheidungsdiagramme 105. Die diskrete Cosinus-Transformation5.1 Die eindimensionale DCT.................................................................................5.2 Die zweidimensionale DCT...............................................................................5.3 Oprimierungen der eindimensionalen DCT........................................................121212136. Durchführung6.1 Ziele und Ansätze.............................................................................................6.2 Ermittlung der Konstanten für die Additionstheoreme.......................................6.3 Verifikation der beiden DCT-Versionen............................................................6.4 Reduktion mittels Chinesischem Restsatz..........................................................16162128297. Schlußfolgerungen 388. Literaturverzeichnis 392
Seite 1: StudienarbeitVerifikation der diskr
Seite 6 und 7: Fano-Kodierung. Diese Kodierungsver
Seite 8 und 9: 2. Hardware-VerifikationBei Hardwar
Seite 10 und 11: (siehe Abb. 1). Der Folgezustand ei
Seite 12 und 13: fDiese Kofaktorbildung läßt sich
Seite 14 und 15: Die zweidimensionale DCT ist eine l
Seite 16 und 17: Verifikation besser zu vermeiden. E
Seite 18 und 19: Zur automatischen Erzeugung der ver
Seite 20 und 21: Abb. 6: Schematische Darstellung de
Seite 22 und 23: 6.2 Ermittlung der Konstanten für
Seite 24 und 25: Abb.10: Benötigte MBytes für Addi
Seite 26 und 27: Abb.12: Benötigte MBytes für Addi
Seite 28 und 29: Da sich die Spezifikation jedesmal
Seite 30 und 31: Dann wurde eine Spezifikation erzeu
Seite 32 und 33: Abb. 16: Schematische Darstellung d
Seite 35 und 36: An den Stellen, an denen sich in de
Seite 37 und 38: Bitbreite Basis User-Time in BDD-Kn
Seite 39 und 40: Diese Spezifikation konnte jedoch n

{V}erifikation der diskreten - Embedded Systems Group

Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.

Template löschen?

Als Template speichern?