Digitale Hardware/Software-Systeme: Spezifikation und Verifikation
Gespeichert in:
| Beteiligte Personen: | , |
|---|---|
| Format: | Buch |
| Sprache: | Deutsch |
| Veröffentlicht: |
Heidelberg [u.a.]
Springer
2010
|
| Schriftenreihe: | eXamen-press
|
| Schlagwörter: | |
| Links: | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018883423&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| Beschreibung: | Literaturverz. S. [561] - 586 |
| Umfang: | X, 601 S. Ill., graph. Darst. |
| ISBN: | 9783642053559 9783642053566 |
Internformat
MARC
| LEADER | 00000nam a2200000 c 4500 | ||
|---|---|---|---|
| 001 | BV035990717 | ||
| 003 | DE-604 | ||
| 005 | 20100806 | ||
| 007 | t| | ||
| 008 | 100202s2010 gw ad|| |||| 00||| ger d | ||
| 015 | |a 10,N02 |2 dnb | ||
| 016 | 7 | |a 998954845 |2 DE-101 | |
| 020 | |a 9783642053559 |9 978-3-642-05355-9 | ||
| 020 | |a 9783642053566 |c ebook |9 978-3-642-05356-6 | ||
| 024 | 3 | |a 9783642053559 | |
| 028 | 5 | 2 | |a 12790234 |
| 035 | |a (OCoLC)633398904 | ||
| 035 | |a (DE-599)DNB998954845 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 044 | |a gw |c XA-DE-BE | ||
| 049 | |a DE-19 |a DE-739 |a DE-20 |a DE-11 |a DE-29T |a DE-Aug4 |a DE-859 | ||
| 082 | 0 | |a 004.21 |2 22/ger | |
| 084 | |a ST 150 |0 (DE-625)143594: |2 rvk | ||
| 084 | |a ST 153 |0 (DE-625)143597: |2 rvk | ||
| 084 | |a ST 233 |0 (DE-625)143620: |2 rvk | ||
| 084 | |a 004 |2 sdnb | ||
| 100 | 1 | |a Haubelt, Christian |d 1972- |e Verfasser |0 (DE-588)130204013 |4 aut | |
| 245 | 1 | 0 | |a Digitale Hardware/Software-Systeme |b Spezifikation und Verifikation |c Christian Haubelt ; Jürgen Teich |
| 264 | 1 | |a Heidelberg [u.a.] |b Springer |c 2010 | |
| 300 | |a X, 601 S. |b Ill., graph. Darst. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 0 | |a eXamen-press | |
| 500 | |a Literaturverz. S. [561] - 586 | ||
| 650 | 0 | 7 | |a Eingebettetes System |0 (DE-588)4396978-1 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a SystemC |0 (DE-588)4737678-8 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitales System |0 (DE-588)4012300-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a CASHE |0 (DE-588)4388634-6 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Eingebettetes System |0 (DE-588)4396978-1 |D s |
| 689 | 0 | 1 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 0 | 2 | |a Formale Spezifikationstechnik |0 (DE-588)4299725-2 |D s |
| 689 | 0 | 3 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | 4 | |a SystemC |0 (DE-588)4737678-8 |D s |
| 689 | 0 | 5 | |a CASHE |0 (DE-588)4388634-6 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Teich, Jürgen |d 1964- |e Verfasser |0 (DE-588)113591942 |4 aut | |
| 856 | 4 | 2 | |m Digitalisierung UB Passau |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018883423&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 943 | 1 | |a oai:aleph.bib-bvb.de:BVB01-018883423 | |
Datensatz im Suchindex
| _version_ | 1819344903254048768 |
|---|---|
| adam_text | Inhaltsverzeichnis
Einleitung..................................................... 1
1.1 Motivation................................................ 1
1.2 Der Verifikationsprozess..................................... 11
1.2.1 Das V-Modell....................................... 13
1.2.2 Das Doppeldachmodell des Entwurfsprozesses ........... 14
1.2.3 Das Doppeldachmodell des Verifikationsprozesses........ 18
1.3 Eine kurze Geschichte der Verifikation......................... 22
1.4 Beispiele.................................................. 29
1.5 Ausblick.................................................. 34
1.6 Literaturhinweise........................................... 34
Spezifikation digitaler Systeme .................................. 37
2.1 Wie spezifiziert man ein System?............................. 37
2.2 Formale Verhaltensmodelle.................................. 41
2.2.1 Petri-Netze ......................................... 41
2.2.2 Endliche Automaten.................................. 47
2.2.3 Datenflussgraphen................................... 51
2.2.4 Heterogene Modelle.................................. 56
2.3 Ausführbare Verhaltensmodelle............................... 59
2.3.1 Systeme ........................................... 60
2.3.2 SysteMoC.......................................... 68
2.4 Formale Spezifikation funktionaler Anforderungen .............. 72
2.4.1 Temporale Strukturen................................. 73
2.4.2 Temporale Aussagenlogik............................. 75
2.4.3 Die Zusicherungssprache PSL ......................... 83
2.5 Formale Spezifikation nichtfunktionaler Anforderungen.......... 88
2.6 Literaturhinweise........................................... 91
Verifikation.................................................... 95
3.1 Verifikationsaufgabe, -ziel und
-methode
....................... 95
3.1.1 Verifikationsziel..................................... 97
3.1.2 Verifikationsmethode................................. 99
3.2 Beobachtbarkeit und Steuerbarkeit............................ 107
3.3 Gesteuerte zufallige Simulation............................... 111
Äquivalenzprüfung............................................. 115
4.1 Implizite Äquivalenzprüfung................................. 117
4.1.1 Kanonische Funktionsrepräsentationen.................. 117
4.1.2 Taylor-Expansions-Diagramme ........................ 120
4.1.3 Reduktion und Normalisierung von TEDs................ 120
4.1.4 Kanonizität von TEDs................................ 124
4.1.5 Implizite Äquivalenzprüfung mit TEDs.................. 125
4.2 Explizite Äquivalenzprüfung................................. 129
4.2.1 Regressionstest...................................... 131
4.2.2 Bereichstest......................................... 133
4.2.3 Pfadbereichstest..................................... 134
4.2.4 Fehleroffenbarende Unterbereiche...................... 139
4.3 Sequentielle Äquivalenzprüfung.............................. 141
4.3.1 Automaten-Äquivalenz............................... 142
4.3.2 Zustandsraumtraversierung............................ 144
4.3.3 Symbolische Zustandsraumtraversierung ................ 148
4.3.4 Erzeugung von Gegenbeispielen........................ 151
4.4 Strukturelle Äquivalenzprüfung............................... 152
4.5 Literaturhinweise........................................... 154
Eigenschaftsprüfung ........................................... 155
5.1 Prüfung funktionaler Eigenschaften ........................... 156
5.1.1 Eigenschaftsprüfung auf Erreichbarkeitsgraphen.......... 158
5.1.2 Strukturelle Eigenschaftsprüfung von Petri-Netzen........ 167
5.1.3 Partialordnungsreduktion.............................. 172
5.2 Explizite Modellprüfung..................................... 178
5.2.1 CTL-Modellprüfung.................................. 179
5.2.2 LTL-Modellprüfung.................................. 185
5.2.3 Zusicherungsbasierte Eigenschaftsprüfung............... 188
5.3 Symbolische Modellprüfung................................. 197
5.3.1 BDD-basierte CTL-Modellprüfung..................... 197
5.3.2 SAT-basierte Modellprüfung........................... 199
5.4 Prüfung nichtfunktionaler Eigenschaften....................... 207
5.4.1 Zeitbehaftete Petri-Netze.............................. 207
5.4.2 Zeitbehaftete Automaten.............................. 214
5.4.3 Zeitbehaftete SDF-Graphen ........................... 222
5.5 Literaturhinweise........................................... 232
Hardware-
Verifikation.......................................... 235
6.1 Äquivalenzprüfung kombinatorischer und sequentieller Schaltungen 236
6.1.1 Implizite Äquivalenzprüfung auf der Logikebene.......... 236
6.1.2 Explizite Äquivalenzprüfung auf der Logikebene.......... 246
6.1.3 Formale explizite Äquivalenzprüfung von Schaltwerken.... 258
6.1.4 Strukturelle Äquivalenzprüfung auf der Logikebene....... 263
6.2 Äquivalenzprüfung arithmetischer Schaltungen ................. 273
6.2.1 Implizite Äquivalenzprüfung auf der Architekturebene..... 273
6.2.2 Äquivalenzprüfung zwischen Architektur- und Logikebene . 280
6.2.3 Äquivalenzprüfung auf der Architekturebene............. 283
6.3 Formale Verifikation von Prozessoren.......................... 291
6.3.1 Äquivalenzprüfung für Prozessoren mit
Fließbandverarbeitung................................ 293
6.3.2 Berücksichtigung von Multizyklen-Funktionseinheiten,
Ausnahmebehandlung und Sprungvorhersage............. 308
6.3.3 Äquivalenzprüfung für Prozessoren mit dynamischer
Instruktionsablaufplanung............................. 313
6.4 Funktionale Eigenschaftsprüfung ............................. 323
6.4.1 Zusicherungsbasierte Eigenschaftsprüfung............... 323
6.4.2 SAT-basierte Modellprüfung........................... 331
6.5 Zeitanalyse................................................ 345
6.5.1 Zeitanalyse synchroner Schaltungen .................... 345
6.5.2 Zeitanalyse latenzinsensitiver Systeme .................. 351
6.6 Literaturhinweise........................................... 356
Software-Verifikation........................................... 361
7.1 Formale Äquivalenzprüfung eingebetteter Software.............. 362
7.1.1 Äquivalenzprüfung von Assemblerprogrammen........... 362
7.1.2 Strukturelle Äquivalenzprüfung von Assemblerprogrammen 368
7.1.3 Äquivalenzprüfung von C-Programmen ................. 373
7.2 Testfallgenerierung zur simulativen Eigenschaftsprüfung ......... 391
7.2.1 Funktionsorientierte Testfälle.......................... 391
7.2.2 Kontrollflussorientierte Testfälle........................ 400
7.2.3 Datenflussorientierte Testfälle.......................... 410
7.3 Formale funktionale Eigenschaftsprüfung von Programmen....... 416
7.3.1 Statische Programmanalyse............................ 416
7.3.2 SAT-basierte Modellprüfung von C-Programmen.......... 422
7.3.3 Modellprüfung durch Abstraktionsverfeinerung........... 425
7.4 Zeitanalyse................................................ 431
7.4.1 BCET- und WCET-Analyse ........................... 432
7.4.2 Echtzeitanalyse für Einprozessorsysteme ................ 438
7.5 Literaturhinweise........................................... 448
8 Systemverifikation ............................................. 451
8.1 Funktionale Eigenschaftspriifung von SystemC-Modellen......... 452
8.1.1 Symbolische CTL-Modellprüfung von SysteMoC-Modellen 452
8.1.2 Modellprüfung von SystemC-Modellen.................. 466
8.1.3 Formale Modellprüfung von Transaktionsebenenmodellen .. 476
8.1.4 Zusicherungsbasierte Eigenschaftsprüfung für
Transaktionsebenenmodelle ........................... 484
8.2 Zeitanalyse auf Systemebene................................. 490
8.2.1
Simulative
Zeitbewertung............................. 492
8.2.2 Kompositionale Zeitanalyse über Ereignisströme.......... 499
8.2.3 Modulare Zeitanalyse mit RTC......................... 508
8.3 Literaturhinweise........................................... 520
Anhang ........................................................... 523
Notation........................................................... 523
A. 1 Mengen................................................... 523
A.2 Relationen und Funktionen .................................. 524
A.3 Aussagenlogik............................................. 527
A.4 Prädikatenlogik erster Ordnung............................... 528
A.5 Graphen.................................................. 529
Binäre Entscheidungsdiagramme .................................... 533
B. 1 Entscheidungsdiagramme.................................... 533
B.2 Binäre Entscheidungsdiagramme ............................. 534
B.3 Verallgemeinerte binäre Entscheidungsdiagramme............... 537
Algorithmen....................................................... 541
С
1 Klassifikation von Algorithmen............................... 541
C.2 SAT-Solver................................................ 542
C.3 SMT-Solver............................................... 551
C.4 CTL-Fixpunktberechnung ................................... 556
Literatur.......................................................... 561
Sachverzeichnis.................................................... 587
|
| any_adam_object | 1 |
| author | Haubelt, Christian 1972- Teich, Jürgen 1964- |
| author_GND | (DE-588)130204013 (DE-588)113591942 |
| author_facet | Haubelt, Christian 1972- Teich, Jürgen 1964- |
| author_role | aut aut |
| author_sort | Haubelt, Christian 1972- |
| author_variant | c h ch j t jt |
| building | Verbundindex |
| bvnumber | BV035990717 |
| classification_rvk | ST 150 ST 153 ST 233 |
| ctrlnum | (OCoLC)633398904 (DE-599)DNB998954845 |
| dewey-full | 004.21 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 004 - Computer science |
| dewey-raw | 004.21 |
| dewey-search | 004.21 |
| dewey-sort | 14.21 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>02381nam a2200589 c 4500</leader><controlfield tag="001">BV035990717</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20100806 </controlfield><controlfield tag="007">t|</controlfield><controlfield tag="008">100202s2010 gw ad|| |||| 00||| ger d</controlfield><datafield tag="015" ind1=" " ind2=" "><subfield code="a">10,N02</subfield><subfield code="2">dnb</subfield></datafield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">998954845</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642053559</subfield><subfield code="9">978-3-642-05355-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783642053566</subfield><subfield code="c">ebook</subfield><subfield code="9">978-3-642-05356-6</subfield></datafield><datafield tag="024" ind1="3" ind2=" "><subfield code="a">9783642053559</subfield></datafield><datafield tag="028" ind1="5" ind2="2"><subfield code="a">12790234</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)633398904</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)DNB998954845</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">XA-DE-BE</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-19</subfield><subfield code="a">DE-739</subfield><subfield code="a">DE-20</subfield><subfield code="a">DE-11</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-859</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">004.21</subfield><subfield code="2">22/ger</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 150</subfield><subfield code="0">(DE-625)143594:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 153</subfield><subfield code="0">(DE-625)143597:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ST 233</subfield><subfield code="0">(DE-625)143620:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">004</subfield><subfield code="2">sdnb</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Haubelt, Christian</subfield><subfield code="d">1972-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)130204013</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Digitale Hardware/Software-Systeme</subfield><subfield code="b">Spezifikation und Verifikation</subfield><subfield code="c">Christian Haubelt ; Jürgen Teich</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Heidelberg [u.a.]</subfield><subfield code="b">Springer</subfield><subfield code="c">2010</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">X, 601 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">eXamen-press</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Literaturverz. S. [561] - 586</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">SystemC</subfield><subfield code="0">(DE-588)4737678-8</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">CASHE</subfield><subfield code="0">(DE-588)4388634-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Eingebettetes System</subfield><subfield code="0">(DE-588)4396978-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Formale Spezifikationstechnik</subfield><subfield code="0">(DE-588)4299725-2</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="3"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="4"><subfield code="a">SystemC</subfield><subfield code="0">(DE-588)4737678-8</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="5"><subfield code="a">CASHE</subfield><subfield code="0">(DE-588)4388634-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Teich, Jürgen</subfield><subfield code="d">1964-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)113591942</subfield><subfield code="4">aut</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Digitalisierung UB Passau</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=018883423&sequence=000002&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-018883423</subfield></datafield></record></collection> |
| id | DE-604.BV035990717 |
| illustrated | Illustrated |
| indexdate | 2024-12-20T14:04:35Z |
| institution | BVB |
| isbn | 9783642053559 9783642053566 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-018883423 |
| oclc_num | 633398904 |
| open_access_boolean | |
| owner | DE-19 DE-BY-UBM DE-739 DE-20 DE-11 DE-29T DE-Aug4 DE-859 |
| owner_facet | DE-19 DE-BY-UBM DE-739 DE-20 DE-11 DE-29T DE-Aug4 DE-859 |
| physical | X, 601 S. Ill., graph. Darst. |
| publishDate | 2010 |
| publishDateSearch | 2010 |
| publishDateSort | 2010 |
| publisher | Springer |
| record_format | marc |
| series2 | eXamen-press |
| spellingShingle | Haubelt, Christian 1972- Teich, Jürgen 1964- Digitale Hardware/Software-Systeme Spezifikation und Verifikation Eingebettetes System (DE-588)4396978-1 gnd SystemC (DE-588)4737678-8 gnd Verifikation (DE-588)4135577-5 gnd Digitales System (DE-588)4012300-5 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd CASHE (DE-588)4388634-6 gnd |
| subject_GND | (DE-588)4396978-1 (DE-588)4737678-8 (DE-588)4135577-5 (DE-588)4012300-5 (DE-588)4299725-2 (DE-588)4388634-6 |
| title | Digitale Hardware/Software-Systeme Spezifikation und Verifikation |
| title_auth | Digitale Hardware/Software-Systeme Spezifikation und Verifikation |
| title_exact_search | Digitale Hardware/Software-Systeme Spezifikation und Verifikation |
| title_full | Digitale Hardware/Software-Systeme Spezifikation und Verifikation Christian Haubelt ; Jürgen Teich |
| title_fullStr | Digitale Hardware/Software-Systeme Spezifikation und Verifikation Christian Haubelt ; Jürgen Teich |
| title_full_unstemmed | Digitale Hardware/Software-Systeme Spezifikation und Verifikation Christian Haubelt ; Jürgen Teich |
| title_short | Digitale Hardware/Software-Systeme |
| title_sort | digitale hardware software systeme spezifikation und verifikation |
| title_sub | Spezifikation und Verifikation |
| topic | Eingebettetes System (DE-588)4396978-1 gnd SystemC (DE-588)4737678-8 gnd Verifikation (DE-588)4135577-5 gnd Digitales System (DE-588)4012300-5 gnd Formale Spezifikationstechnik (DE-588)4299725-2 gnd CASHE (DE-588)4388634-6 gnd |
| topic_facet | Eingebettetes System SystemC Verifikation Digitales System Formale Spezifikationstechnik CASHE |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=018883423&sequence=000002&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT haubeltchristian digitalehardwaresoftwaresystemespezifikationundverifikation AT teichjurgen digitalehardwaresoftwaresystemespezifikationundverifikation |