Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | Undetermined |
| Veröffentlicht: |
Düsseldorf
VDI-Verl.
1993
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9]
174 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: Karlsruhe, Univ., Diss. |
| Beschreibung: | IX, 147 S. graph. Darst. |
| ISBN: | 3181474096 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV008895805 | ||
| 003 | DE-604 | ||
| 007 | t | ||
| 008 | 940222s1993 d||| mm|| 00||| undod | ||
| 016 | 7 | |a 940324733 |2 DE-101 | |
| 020 | |a 3181474096 |9 3-18-147409-6 | ||
| 035 | |a (OCoLC)246891111 | ||
| 035 | |a (DE-599)BVBBV008895805 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | |a und | ||
| 049 | |a DE-91 |a DE-210 |a DE-83 | ||
| 084 | |a ELT 468d |2 stub | ||
| 100 | 1 | |a Kropf, Thomas |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik |c Thomas Kropf |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1993 | |
| 300 | |a IX, 147 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 174 | |
| 500 | |a Zugl.: Karlsruhe, Univ., Diss. | ||
| 650 | 0 | 7 | |a Testmustergenerierung |0 (DE-588)4234817-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Temporale Logik |0 (DE-588)4137542-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitalschaltung |0 (DE-588)4012295-5 |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 Temporale Logik |0 (DE-588)4137542-7 |D s |
| 689 | 0 | 2 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 0 | 3 | |a Testmustergenerierung |0 (DE-588)4234817-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 810 | 2 | |a 9] |t Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI |v 174 |w (DE-604)BV047505631 |9 174 | |
| 856 | 4 | 2 | |m DNB Datenaustausch |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005886302&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
Datensatz im Suchindex
| _version_ | 1805066921624731648 |
|---|---|
| adam_text |
V
INHALTSVERZEICHNIS
1
EINLEITUNG
1
1.1
MOTIVATION
2
1.2
UEBERSICHT
3
2
VERIFIKATION
UND
TEST
DIGITALER
SCHALTUNGEN
5
2.1
VERIFIKATION
DIGITALER
SCHALTUNGEN
6
2.1.1
VERFAHREN
ZUM
AUFFINDEN
VON
ENTWURFSFEHLERN
8
2.1.2
VERIFIKATIONSVERFAHREN
10
2.2
TESTEN
DIGITALER
SCHALTUNGEN
14
2.2.1
TESTVORBEREITUNG
UND
TESTDURCHFUEHRUNG
14
2.2.2
FEHLERMODELLIERUNG
16
2.2.3
VERFAHREN
ZUR
TESTMUSTERBESTIMMUNG
2.2.3.1
VERHALTENSORIENTIERTE
TESTERZEUGUNGSVERFAHREN
2.2.3.2
STRUKTURORIENTIERTE
TESTERZEUGUNGSVERFAHREN
2.3
VORARBEITEN
ANDERER
2.4
AUFGABENSTELLUNG
3
FORMALE
GRUNDLAGEN
3.1
GRAPHENTHEORIE
3.2
TEMPORALE
AUSSAGENLOGIK
3.2.1
EINLEITUNG
3.2.2
SYNTAX
UND
SEMANTIK
3.2.3
TABLEAU-BEWEISVERFAHREN
3.2.3.1
DEFINITIONEN
UND
GRUNDLAGEN
3.2.3.2
TABLEAUKONSTRUKTION
3.3
BINAERE
ENTSCHEIDUNGSDIAGRAMME
4
DARSTELLUNG
DIGITALER
SYSTEME
4.1
EINLEITUNG
4.2
STRUKTURMODELLIERUNG
4.3
VERHALTENSMODELLIERUNG
4.3.1
AUSWAHL
DER
LOGIK
4.3.2
ZEITMODELLIERUNG
4.3.3
BESCHREIBUNG
KOMBINATORISCHER
MODULN
4.3.4
BESCHREIBUNG
SEQUENTIELLER
MODULN
57
4.3.5
BESTIMMUNG
DER
GESAMTFUNKTION
EINER
SCHALTUNG
59
4.4
SCHALTUNGSMODELLIERUNG
MIT
MEHRWERTIGER
LOGIK
62
VI
INHALTSVERZEICHNIS
5
HARDWARE-VERIFIKATION
UND
TESTERZEUGUNG
66
5.1
AEQUIVALENZ
VON
SCHALTUNGEN
66
5.2
HARDWARE-VERIFIKATION
68
5.2.1
VERIFIKATION
DER
AEQUIVALENZ
VON
SCHALTUNGEN
68
5.3
ERZEUGUNG
VON
TESTMUSTERFOLGEN
70
5.3.1
FEHLERMODELLIERUNG
70
5.3.1.1
FEHLERARTEN
71
5.3.1.2
FEHLERINJEKTION
74
5.3.2
TESTERZEUGUNG
FUER
SCHALTUNGEN
MIT
RUECKSETZLEITUNG
76
5.3.3
TESTERZEUGUNG
FUER
SCHALTUNGEN
OHNE
RUECKSETZLEITUNG
79
5.3.3.1
ANFORDERUNGEN
AN
DIE
TESTMUSTERFOLGEN
79
5.3.3.2
ALGORITHMUS
80
5.3.3.3
BEWERTUNG
DES
VERFAHRENS
85
5.3.4
OPTIMIERUNGEN
87
5.3.4.1
BESCHRAENKUNG
DES
BEWEISVORGANGS
88
5.3.4.2
PARTIELLE
SCHALTUNGSMODELLIERUNG
88
5.3.5
FEHLERLISTEN
93
6
IMPLEMENTIERUNG
95
6.1
EINLEITUNG
95
6.2
ALGORITHMUS
MIT
REPRAESENTATION
IN
DISJUNKTIVER
FORM
96
6.3
ALGORITHMUS
MIT
BDD-REPRAESENTATION
98
6.4
ALGORITHMUS
MIT
SYMBOLISCHER
ZUSTANDSVERARBEITUNG
99
6.4.1
VORUEBERLEGUNGEN
99
6.4.2
GRUNDLAGEN
103
6.4.3
ALGORITHMEN
109
7
ERGEBNISSE
117
7.1
DAS
SYSTEM
CAVEAT
117
7.2
EXPERIMENTELLE
ERGEBNISSE
118
7.2.1
BEISPIELSCHALTUNGEN
118
7.2.2
HARDWARE-VERIFIKATION
120
7.2.3
TESTERZEUGUNG
122
7.2.4
VERGLEICHENDE
BETRACHTUNGEN
126
8
AUSBLICK
134
LITERATURVERZEICHNIS
136
INDEX
146 |
| any_adam_object | 1 |
| author | Kropf, Thomas |
| author_facet | Kropf, Thomas |
| author_role | aut |
| author_sort | Kropf, Thomas |
| author_variant | t k tk |
| building | Verbundindex |
| bvnumber | BV008895805 |
| classification_tum | ELT 468d |
| ctrlnum | (OCoLC)246891111 (DE-599)BVBBV008895805 |
| discipline | Elektrotechnik |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>00000nam a2200000 cb4500</leader><controlfield tag="001">BV008895805</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">940222s1993 d||| mm|| 00||| undod</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">940324733</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3181474096</subfield><subfield code="9">3-18-147409-6</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)246891111</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV008895805</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=" " ind2=" "><subfield code="a">und</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ELT 468d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Kropf, Thomas</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik</subfield><subfield code="c">Thomas Kropf</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">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 147 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">174</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Karlsruhe, Univ., Diss.</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</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="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">Temporale Logik</subfield><subfield code="0">(DE-588)4137542-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" 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">174</subfield><subfield code="w">(DE-604)BV047505631</subfield><subfield code="9">174</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">DNB 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=005886302&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV008895805 |
| illustrated | Illustrated |
| indexdate | 2024-07-20T03:26:00Z |
| institution | BVB |
| isbn | 3181474096 |
| language | Undetermined |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-005886302 |
| oclc_num | 246891111 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-210 DE-83 |
| owner_facet | DE-91 DE-BY-TUM DE-210 DE-83 |
| physical | IX, 147 S. graph. Darst. |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9] |
| spelling | Kropf, Thomas Verfasser aut Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik Thomas Kropf Als Ms. gedr. Düsseldorf VDI-Verl. 1993 IX, 147 S. graph. Darst. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 9] 174 Zugl.: Karlsruhe, Univ., Diss. Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Temporale Logik (DE-588)4137542-7 gnd rswk-swf Digitalschaltung (DE-588)4012295-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content Digitalschaltung (DE-588)4012295-5 s Temporale Logik (DE-588)4137542-7 s Hardwareverifikation (DE-588)4214982-4 s Testmustergenerierung (DE-588)4234817-1 s DE-604 9] Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI 174 (DE-604)BV047505631 174 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005886302&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Kropf, Thomas Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik Testmustergenerierung (DE-588)4234817-1 gnd Hardwareverifikation (DE-588)4214982-4 gnd Temporale Logik (DE-588)4137542-7 gnd Digitalschaltung (DE-588)4012295-5 gnd |
| subject_GND | (DE-588)4234817-1 (DE-588)4214982-4 (DE-588)4137542-7 (DE-588)4012295-5 (DE-588)4113937-9 |
| title | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik |
| title_auth | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik |
| title_exact_search | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik |
| title_full | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik Thomas Kropf |
| title_fullStr | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik Thomas Kropf |
| title_full_unstemmed | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik Thomas Kropf |
| title_short | Ein einheitlicher Ansatz zur Verifikation und Testerzeugung für digitale Schaltungen mit temporaler Logik |
| title_sort | ein einheitlicher ansatz zur verifikation und testerzeugung fur digitale schaltungen mit temporaler logik |
| topic | Testmustergenerierung (DE-588)4234817-1 gnd Hardwareverifikation (DE-588)4214982-4 gnd Temporale Logik (DE-588)4137542-7 gnd Digitalschaltung (DE-588)4012295-5 gnd |
| topic_facet | Testmustergenerierung Hardwareverifikation Temporale Logik Digitalschaltung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=005886302&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV047505631 |
| work_keys_str_mv | AT kropfthomas eineinheitlicheransatzzurverifikationundtesterzeugungfurdigitaleschaltungenmittemporalerlogik |