{V}erifikation der diskreten - Embedded Systems Group
{V}erifikation der diskreten - Embedded Systems Group
{V}erifikation der diskreten - Embedded Systems Group
Sie wollen auch ein ePaper? Erhöhen Sie die Reichweite Ihrer Titel.
YUMPU macht aus Druck-PDFs automatisch weboptimierte ePaper, die Google liebt.
Inhaltsverzeichnis1. Einleitung1.1 Hardware-V<strong>erifikation</strong>......................................................................................1.2 Datenkompression............................................................................................1.3 Ziele <strong>der</strong> Arbeit.................................................................................................1.4 Glie<strong>der</strong>ung........................................................................................................444562. Hardware-V<strong>erifikation</strong> 73. CTL 84. Binäre Entscheidungsdiagramme 105. Die diskrete Cosinus-Transformation5.1 Die eindimensionale DCT.................................................................................5.2 Die zweidimensionale DCT...............................................................................5.3 Oprimierungen <strong>der</strong> eindimensionalen DCT........................................................121212136. Durchführung6.1 Ziele und Ansätze.............................................................................................6.2 Ermittlung <strong>der</strong> Konstanten für die Additionstheoreme.......................................6.3 V<strong>erifikation</strong> <strong>der</strong> beiden DCT-Versionen............................................................6.4 Reduktion mittels Chinesischem Restsatz..........................................................16162128297. Schlußfolgerungen 388. Literaturverzeichnis 392