Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Aachen
Shaker
1997
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Berichte aus der Elektrotechnik
|
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: München, Techn. Univ., Diss., 1996 |
| Beschreibung: | II, 94, XXXI S. Ill., graph. Darst. |
| ISBN: | 3826522710 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV011230581 | ||
| 003 | DE-604 | ||
| 005 | 19970806 | ||
| 007 | t | ||
| 008 | 970226s1997 gw ad|| m||| 00||| ger d | ||
| 016 | 7 | |a 949756237 |2 DE-101 | |
| 020 | |a 3826522710 |c Pb. : DM 89.00, sfr 89.00, S 619.00 |9 3-8265-2271-0 | ||
| 035 | |a (OCoLC)75913185 | ||
| 035 | |a (DE-599)BVBBV011230581 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c DE | ||
| 049 | |a DE-91 |a DE-12 | ||
| 084 | |a ELT 468d |2 stub | ||
| 100 | 1 | |a Henftling, Manfred |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen |c Manfred Henftling |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Aachen |b Shaker |c 1997 | |
| 300 | |a II, 94, XXXI S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a Berichte aus der Elektrotechnik | |
| 500 | |a Zugl.: München, Techn. Univ., Diss., 1996 | ||
| 650 | 0 | 7 | |a Testmustergenerierung |0 (DE-588)4234817-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Fehlermodell |0 (DE-588)4380447-0 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Qualitätskontrolle |0 (DE-588)4047968-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 Qualitätskontrolle |0 (DE-588)4047968-7 |D s |
| 689 | 0 | 2 | |a Fehlermodell |0 (DE-588)4380447-0 |D s |
| 689 | 0 | 3 | |a Mehrwertige Logik |0 (DE-588)4169335-8 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Digitalschaltung |0 (DE-588)4012295-5 |D s |
| 689 | 1 | 1 | |a Testmustergenerierung |0 (DE-588)4234817-1 |D s |
| 689 | 1 | |5 DE-604 | |
| 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=007536210&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-007536210 | |
Datensatz im Suchindex
| _version_ | 1807505368684691456 |
|---|---|
| adam_text |
INHALTSVERZEICHNIS
EINLEITUNG
1
1
AUFGABENSTELLUNG
6
1.1
AUFGABENSTELLUNG
DER
TESTVORBEREITUNG
.
5
1.2
OEKONOMISCHE
ASPEKTE
.
7
1.3
VERWANDTE
AUFGABENSTELLUNGEN
.
8
1.4
ZIELE
DER
ARBEIT
.
9
2
STAND
DER
TECHNIK
11
2.1
WERTSICHERSTELLUNG
.
11
2.2
FEHLEREFFEKTFORTPFLANZUNG
.
13
2.3
FEHLERMODELLE
.
14
3
UEBERBLICK UEBER
DIE
PROBLEMLOESUNG
17
3.1
GRUNDLEGENDE
DEFINITIONEN
.
17
3.2
PRINZIPIELLES
VORGEHEN
.
24
4
DER
IMPLIKATIONSGRAPH
27
4.1
MOTIVATION
.
27
4.2
GRUNDLEGENDE
DEFINITIONEN
.
29
4.3
AUFGABENSTELLUNG
DER
IMPLIKATION
.
32
4.4
BERECHNUNG
DES
IMPLIKATIONSGRAPHEN
.
.
33
4.5
IMPLIKATION
.
45
4.6
BACKTRACE-ALGORITHMUS
.
50
4.7
GLOBALE
IMPLIKATION
.
51
4.8
WERTSICHERSTELLUNG
.
55
4.9
ERGEBNISSE
.
59
INHALTSVERZEICHNIS
5
PROPAGATION
63
5.1
MOTIVATION
.
63
5.2
AUFGABENSTELLUNG
.
64
5.3
VORGEHENSWEISE
ZUR
PROPAGATION
.
66
5.4
ERGEBNISSE
.
72
6
BERECHNUNG
VON
TESTVEKTOREN
75
6.1
BEHANDELBARE
FEHLERMODELLE
.
75
6.2
KOMBINATION
DER
VERFAHREN
.
76
6.3
DAS
HAFTFEHLERMODELL
.
76
6.4
DAS
PFADVERZOEGERUNGSFEHLERMODELL
.
77
6.5
WEITERE
ANWENDUNGEN
DER
ATPG-VERFAHREN
.
78
6.6
IMPLEMENTIERUNG
.
80
6.7
ZUSAMMENFASSUNG
.
81
7
ERGEBNISSE
83
7.1
EINFLUSS
VON
HEURISTIKEN
.
83
7.2
ATPG
.
86
7.3
WEITERE
ANWENDUNGEN
.
88
ZUSAMMENFASSUNG
93
A
IMPLIKATIONSGRAPH
I
A.L
HERLEITUNG
EINES
IMPLIKATIONSGRAPHEN
.
I
A.2
ERGEBNIS
WEITERER
LOGIKEN
.
VI
B
BEISPIELE:
GLOBALE
IMPLIKATION
VII
C
BEISPIEL:
PROPAGATION
IX
D
CHARAKTERISTIKA
DER
SCHALTUNGEN
XII
VERZEICHNISSE
XIII
LITERATUR
.
XIII
ABBILDUNGEN
.
XXV
TABELLEN
.
XXVI
FORMELZEICHEN
.
XXVIII
KURZFASSUNG
XXXI |
| any_adam_object | 1 |
| author | Henftling, Manfred |
| author_facet | Henftling, Manfred |
| author_role | aut |
| author_sort | Henftling, Manfred |
| author_variant | m h mh |
| building | Verbundindex |
| bvnumber | BV011230581 |
| classification_tum | ELT 468d |
| ctrlnum | (OCoLC)75913185 (DE-599)BVBBV011230581 |
| 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 c 4500</leader><controlfield tag="001">BV011230581</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">19970806</controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">970226s1997 gw ad|| m||| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">949756237</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3826522710</subfield><subfield code="c">Pb. : DM 89.00, sfr 89.00, S 619.00</subfield><subfield code="9">3-8265-2271-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)75913185</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV011230581</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="044" ind1=" " ind2=" "><subfield code="a">gw</subfield><subfield code="c">DE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-91</subfield><subfield code="a">DE-12</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">Henftling, Manfred</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen</subfield><subfield code="c">Manfred Henftling</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Als Ms. gedr.</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Aachen</subfield><subfield code="b">Shaker</subfield><subfield code="c">1997</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">II, 94, XXXI S.</subfield><subfield code="b">Ill., 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="0" ind2=" "><subfield code="a">Berichte aus der Elektrotechnik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: München, Techn. Univ., Diss., 1996</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">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Fehlermodell</subfield><subfield code="0">(DE-588)4380447-0</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-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">Qualitätskontrolle</subfield><subfield code="0">(DE-588)4047968-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Fehlermodell</subfield><subfield code="0">(DE-588)4380447-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Mehrwertige Logik</subfield><subfield code="0">(DE-588)4169335-8</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">Digitalschaltung</subfield><subfield code="0">(DE-588)4012295-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Testmustergenerierung</subfield><subfield code="0">(DE-588)4234817-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="5">DE-604</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=007536210&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="943" ind1="1" ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-007536210</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV011230581 |
| illustrated | Illustrated |
| indexdate | 2024-08-16T01:24:06Z |
| institution | BVB |
| isbn | 3826522710 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-007536210 |
| oclc_num | 75913185 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-12 |
| owner_facet | DE-91 DE-BY-TUM DE-12 |
| physical | II, 94, XXXI S. Ill., graph. Darst. |
| publishDate | 1997 |
| publishDateSearch | 1997 |
| publishDateSort | 1997 |
| publisher | Shaker |
| record_format | marc |
| series2 | Berichte aus der Elektrotechnik |
| spelling | Henftling, Manfred Verfasser aut Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen Manfred Henftling Als Ms. gedr. Aachen Shaker 1997 II, 94, XXXI S. Ill., graph. Darst. txt rdacontent n rdamedia nc rdacarrier Berichte aus der Elektrotechnik Zugl.: München, Techn. Univ., Diss., 1996 Testmustergenerierung (DE-588)4234817-1 gnd rswk-swf Mehrwertige Logik (DE-588)4169335-8 gnd rswk-swf Fehlermodell (DE-588)4380447-0 gnd rswk-swf Qualitätskontrolle (DE-588)4047968-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 Qualitätskontrolle (DE-588)4047968-7 s Fehlermodell (DE-588)4380447-0 s Mehrwertige Logik (DE-588)4169335-8 s DE-604 Testmustergenerierung (DE-588)4234817-1 s DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007536210&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Henftling, Manfred Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen Testmustergenerierung (DE-588)4234817-1 gnd Mehrwertige Logik (DE-588)4169335-8 gnd Fehlermodell (DE-588)4380447-0 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Digitalschaltung (DE-588)4012295-5 gnd |
| subject_GND | (DE-588)4234817-1 (DE-588)4169335-8 (DE-588)4380447-0 (DE-588)4047968-7 (DE-588)4012295-5 (DE-588)4113937-9 |
| title | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen |
| title_auth | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen |
| title_exact_search | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen |
| title_full | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen Manfred Henftling |
| title_fullStr | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen Manfred Henftling |
| title_full_unstemmed | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen Manfred Henftling |
| title_short | Berechnung von Testvektoren in digitalen Schaltungen auf der Basis von Klauselsystemen |
| title_sort | berechnung von testvektoren in digitalen schaltungen auf der basis von klauselsystemen |
| topic | Testmustergenerierung (DE-588)4234817-1 gnd Mehrwertige Logik (DE-588)4169335-8 gnd Fehlermodell (DE-588)4380447-0 gnd Qualitätskontrolle (DE-588)4047968-7 gnd Digitalschaltung (DE-588)4012295-5 gnd |
| topic_facet | Testmustergenerierung Mehrwertige Logik Fehlermodell Qualitätskontrolle Digitalschaltung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=007536210&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT henftlingmanfred berechnungvontestvektorenindigitalenschaltungenaufderbasisvonklauselsystemen |