Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Abschlussarbeit Buch |
| Sprache: | German |
| Veröffentlicht: |
Düsseldorf
VDI-Verl.
1995
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9]
208 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | X, 148 S. graph. Darst. |
| ISBN: | 3183208091 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV010402735 | ||
| 003 | DE-604 | ||
| 005 | 20150127 | ||
| 007 | t | ||
| 008 | 950928s1995 d||| m||| 00||| ger d | ||
| 020 | |a 3183208091 |9 3-18-320809-1 | ||
| 035 | |a (OCoLC)75622137 | ||
| 035 | |a (DE-599)BVBBV010402735 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-12 |a DE-210 |a DE-634 |a DE-83 |a DE-11 | ||
| 084 | |a ZN 5620 |0 (DE-625)157469: |2 rvk | ||
| 084 | |a ELT 459d |2 stub | ||
| 100 | 1 | |a Schleinig, Torsten |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen |c Torsten Schleinig |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1995 | |
| 300 | |a X, 148 S. |b graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9] |v 208 | |
| 502 | |a Zugl.: Chemnitz-Zwickau, Techn. Univ., Diss., 1995 | ||
| 650 | 0 | 7 | |a Synchrones Schaltwerk |0 (DE-588)4293676-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Zeitverhalten |0 (DE-588)4238464-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Synchronie |0 (DE-588)4253895-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitalschaltung |0 (DE-588)4012295-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Boolesche Funktion |0 (DE-588)4146281-6 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Digitalschaltung |0 (DE-588)4012295-5 |D s |
| 689 | 0 | 1 | |a Synchronie |0 (DE-588)4253895-6 |D s |
| 689 | 0 | 2 | |a Zeitverhalten |0 (DE-588)4238464-3 |D s |
| 689 | 0 | 3 | |a Boolesche Funktion |0 (DE-588)4146281-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Synchrones Schaltwerk |0 (DE-588)4293676-7 |D s |
| 689 | 1 | |5 DE-604 | |
| 810 | 2 | |a 9] |t Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI |v 208 |w (DE-604)BV047505631 |9 208 | |
| 856 | 4 | 2 | |m HBZ Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006926569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-006926569 | ||
Datensatz im Suchindex
| _version_ | 1804124829062791168 |
|---|---|
| adam_text | Titel: Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltung
Autor: Schleinig, Torsten
Jahr: 1995
V Inhaltsverzeichnis Seite Inhaltsverzeichnis V Verzeichnis der verwendeten Symbole VII Verzeichnis der Abkürzungen X 1. Timing Verifikation im Entwurfsprozeß 1 1.1 Einordnung und Aufgaben 1 1.2 Methoden zur Bestimmung des Zeitverhaltens 3 1.3 Anforderungen an eine effektive Methode 4 2. Grundlagen 6 2.1 Begriffsbestimmung 6 2.2 Mathematische Grundlagen 8 2.3 Schaltungs- und Verzögerungsmodelle 14 2.4 Entwicklungsstand bei Timing Verifiem 18 2.4.1 Strukturelle Pfadbestimmung 18 2.4.2 Funktionelle Pfaduntersuchung 22 3. Strukturelle Pfadermittlung in kombinatorischen Schaltungen 25 3.1 Ermittlung längster Pfade 25 3.2 Ermittlung potentiell kritischer Pfade 27 3.3 Eigenschaften strukturell ermittelter Pfade 30 4. Sensibilisierungsbedingungen längster Pfade 32 4.1 Ein längster Pfades 32 4.1.1 Ein «konvergenter Pfad 32 4.1.2 Mehrere rekonvergente Pfade 55 4.1.3 Vereinfachung durch Baumstruktur 57 4.2 Mehrere längste Pfade 59 4.2.1 Problemstellung 59 4.2.2 Gleichzeitige Änderung an einem Element 61 4.2.3 Verhältnis von Einzel- und gleichzeitigen Änderungen 70 4.3 Struktur und Sensibilisierung 72
VI 5. Sensibilisierungsbedingungen signifikanter Pfade 74 S. 1 Untersuchung potentiell kritischer Pfade 74 5.2 Untersuchung kürzester Pfade 78 5.3 Erfüllung der Correctness- und Robustness- Kriterien 84 5.4 Komplexitätsbestimmende Einflußfaktoren 85 5.4.1 Komplexitätsabschätzung und Vergleich mit Testsatzgenerierung 85 5.4.2 Nebenbedingungen 87 5.4.3 Feste Potentiale 88 5.4.4 Änderung mehrerer Schaltungseingänge 92 5.5 Segmentierung 93 6. Rechentechnische Umsetzung 99 6.1 Ausgewählte Algorithmen 99 6.2 Verifikationsergebnisse 102 7. Zusammenfassung 107 Anlage 1: Schaltungen mit einem rekonvergenten Pfad 109 Anlage 2: Schaltungen mit mehreren rekonvergenten Pfaden 115 Anlage 3: Schaltung mit Baumstruktur 119 Anlage 4: Schaltung mit gleichlangen Pfaden, die den gleichen Startknoten 120 besitzen Anlage 5: Schaltung mit mehreren verschachtelten gleichlangen Pfaden 125 Anlage 6: Schaltung zur Demonstration des Einflusses der Wahl des 128 Unsicherheitsintervalls Anlage 7: Nachtrag zur Dissertation 133 Literaturverzeichnis 135 Thesen 146
|
| any_adam_object | 1 |
| author | Schleinig, Torsten |
| author_facet | Schleinig, Torsten |
| author_role | aut |
| author_sort | Schleinig, Torsten |
| author_variant | t s ts |
| building | Verbundindex |
| bvnumber | BV010402735 |
| classification_rvk | ZN 5620 |
| classification_tum | ELT 459d |
| ctrlnum | (OCoLC)75622137 (DE-599)BVBBV010402735 |
| discipline | Elektrotechnik Elektrotechnik / Elektronik / Nachrichtentechnik |
| edition | Als Ms. gedr. |
| format | Thesis Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02135nam a2200493 cb4500</leader><controlfield tag="001">BV010402735</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20150127 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">950928s1995 d||| m||| 00||| ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183208091</subfield><subfield code="9">3-18-320809-1</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75622137</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV010402735</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rakddb</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">ger</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-12</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-83</subfield><subfield code="a">DE-11</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 5620</subfield><subfield code="0">(DE-625)157469:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 459d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Schleinig, Torsten</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen</subfield><subfield code="c">Torsten Schleinig</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Düsseldorf</subfield><subfield code="b">VDI-Verl.</subfield><subfield code="c">1995</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 148 S.</subfield><subfield code="b">graph. Darst.</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="b">n</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">nc</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="1" ind2=" "><subfield code="a">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9]</subfield><subfield code="v">208</subfield></datafield><datafield tag="502" ind1=" " ind2=" "><subfield code="a">Zugl.: Chemnitz-Zwickau, Techn. Univ., Diss., 1995</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchrones Schaltwerk</subfield><subfield code="0">(DE-588)4293676-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Zeitverhalten</subfield><subfield code="0">(DE-588)4238464-3</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Synchronie</subfield><subfield code="0">(DE-588)4253895-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4113937-9</subfield><subfield code="a">Hochschulschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Synchronie</subfield><subfield code="0">(DE-588)4253895-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Zeitverhalten</subfield><subfield code="0">(DE-588)4238464-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Boolesche Funktion</subfield><subfield code="0">(DE-588)4146281-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Synchrones Schaltwerk</subfield><subfield code="0">(DE-588)4293676-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="810" ind1="2" ind2=" "><subfield code="a">9]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI</subfield><subfield code="v">208</subfield><subfield code="w">(DE-604)BV047505631</subfield><subfield code="9">208</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">HBZ Datenaustausch</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006926569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-006926569</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV010402735 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T17:51:53Z |
| institution | BVB |
| isbn | 3183208091 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-006926569 |
| oclc_num | 75622137 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 DE-210 DE-634 DE-83 DE-11 |
| owner_facet | DE-91 DE-BY-TUM DE-12 DE-210 DE-634 DE-83 DE-11 |
| physical | X, 148 S. graph. Darst. |
| publishDate | 1995 |
| publishDateSearch | 1995 |
| publishDateSort | 1995 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9] |
| spelling | Schleinig, Torsten Verfasser aut Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen Torsten Schleinig Als Ms. gedr. Düsseldorf VDI-Verl. 1995 X, 148 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9] 208 Zugl.: Chemnitz-Zwickau, Techn. Univ., Diss., 1995 Synchrones Schaltwerk (DE-588)4293676-7 gnd rswk-swf Zeitverhalten (DE-588)4238464-3 gnd rswk-swf Synchronie (DE-588)4253895-6 gnd rswk-swf Digitalschaltung (DE-588)4012295-5 gnd rswk-swf Boolesche Funktion (DE-588)4146281-6 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Digitalschaltung (DE-588)4012295-5 s Synchronie (DE-588)4253895-6 s Zeitverhalten (DE-588)4238464-3 s Boolesche Funktion (DE-588)4146281-6 s DE-604 Synchrones Schaltwerk (DE-588)4293676-7 s 9] Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI 208 (DE-604)BV047505631 208 HBZ Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006926569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Schleinig, Torsten Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen Synchrones Schaltwerk (DE-588)4293676-7 gnd Zeitverhalten (DE-588)4238464-3 gnd Synchronie (DE-588)4253895-6 gnd Digitalschaltung (DE-588)4012295-5 gnd Boolesche Funktion (DE-588)4146281-6 gnd |
| subject_GND | (DE-588)4293676-7 (DE-588)4238464-3 (DE-588)4253895-6 (DE-588)4012295-5 (DE-588)4146281-6 (DE-588)4113937-9 |
| title | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen |
| title_auth | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen |
| title_exact_search | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen |
| title_full | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen Torsten Schleinig |
| title_fullStr | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen Torsten Schleinig |
| title_full_unstemmed | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen Torsten Schleinig |
| title_short | Anwendung der Booleschen zeitlichen Ableitung zur Timing-Verifikation synchroner digitaler Schaltungen |
| title_sort | anwendung der booleschen zeitlichen ableitung zur timing verifikation synchroner digitaler schaltungen |
| topic | Synchrones Schaltwerk (DE-588)4293676-7 gnd Zeitverhalten (DE-588)4238464-3 gnd Synchronie (DE-588)4253895-6 gnd Digitalschaltung (DE-588)4012295-5 gnd Boolesche Funktion (DE-588)4146281-6 gnd |
| topic_facet | Synchrones Schaltwerk Zeitverhalten Synchronie Digitalschaltung Boolesche Funktion Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=006926569&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV047505631 |
| work_keys_str_mv | AT schleinigtorsten anwendungderbooleschenzeitlichenableitungzurtimingverifikationsynchronerdigitalerschaltungen |