{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.
An den Stellen, an denen sich in den Tabellen ein * befindet, trat bei <strong>der</strong> V<strong>erifikation</strong> einFehler auf. In einem solchen Fall wurde dann die jeweilige Datei in mehrere kleine Dateiengeteilt, die einzeln verifiziert wurden. Es wurde dann nicht <strong>der</strong> jeweilige Ausgang für alleZahlen aus <strong>der</strong> Basis parallel verifiziert, son<strong>der</strong>n die Basis wurde in mehrere Teile zerlegt, fürdie die V<strong>erifikation</strong> nacheinan<strong>der</strong> durchgeführt wurde.Bitbreite Ausgang 0 Ausgang 2 Ausgang 3 Ausgang 4 Ausgang 5 Ausgang 610 361.82 523.65 1054.25 336.83 1075.63 503.9411 445.47 644.37 * 392.78 * 565.5312 485.36 713.96 * 453.96 * 661.7113 774.4 1096.51 * 720.98 * 1031.6414 884.04 1262.2 * 830.6 * 1190.2315 1329.17 1854.3 * 1234.17 * 1752.1416 1496.87 2076.37 * 1407.45 * 1973.4117 1675.19 * * 1585.99 * 2219.68Tabelle 6: Benötigte Laufzeit zur V<strong>erifikation</strong> <strong>der</strong> beiden DCT-Versionen in SekundenBitbreite Ausgang 0 Ausgang 2 Ausgang 3 Ausgang 4 Ausgang 5 Ausgang 610 510.994 545.714 267.711 443.795 268.991 409.16111 510.925 904.699 * 443.678 * 693.62912 523.921 874.123 * 448.313 * 672.37913 877.062 1.085.330 * 663.397 * 832.09114 767.123 1.174.143 * 729.415 * 935.15315 1.082.133 1.424.903 * 876.262 * 1.155.68616 1.107.811 1.396.318 * 888.366 * 1.089.53317 1.138.045 * * 913.521 * 1.196.082Tabelle 7: Benötigte BDD-Knoten zur V<strong>erifikation</strong> <strong>der</strong> beiden DCT-Versionen34
Change language