Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Buch |
| Sprache: | German |
| Veröffentlicht: |
Düsseldorf
VDI-Verl.
1999
|
| Ausgabe: | Als Ms. gedr. |
| Schriftenreihe: | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20]
290 |
| Schlagworte: | |
| Online-Zugang: | Inhaltsverzeichnis |
| Beschreibung: | Zugl.: Erlangen-Nürnberg, Univ., Diss., 1999 |
| Beschreibung: | IX, 180 S. Ill. |
| ISBN: | 3183290200 |
Internformat
MARC
| LEADER | 00000nam a2200000 cb4500 | ||
|---|---|---|---|
| 001 | BV012626874 | ||
| 003 | DE-604 | ||
| 005 | 20000124 | ||
| 007 | t | ||
| 008 | 990625s1999 a||| mm|| 00||| ger d | ||
| 016 | 7 | |a 956882382 |2 DE-101 | |
| 020 | |a 3183290200 |9 3-18-329020-0 | ||
| 035 | |a (OCoLC)45263402 | ||
| 035 | |a (DE-599)BVBBV012626874 | ||
| 040 | |a DE-604 |b ger |e rakddb | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-29 |a DE-29T |a DE-91G |a DE-210 |a DE-83 | ||
| 084 | |a ZN 5620 |0 (DE-625)157469: |2 rvk | ||
| 084 | |a DAT 190d |2 stub | ||
| 100 | 1 | |a Heinkel, Ulrich |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen |c Ulrich Heinkel |
| 250 | |a Als Ms. gedr. | ||
| 264 | 1 | |a Düsseldorf |b VDI-Verl. |c 1999 | |
| 300 | |a IX, 180 S. |b Ill. | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b n |2 rdamedia | ||
| 338 | |b nc |2 rdacarrier | ||
| 490 | 1 | |a Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] |v 290 | |
| 500 | |a Zugl.: Erlangen-Nürnberg, Univ., Diss., 1999 | ||
| 650 | 0 | 7 | |a Spezifikation |0 (DE-588)4139161-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a VHDL |0 (DE-588)4254792-1 |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 VHDL |0 (DE-588)4254792-1 |D s |
| 689 | 0 | |5 DE-604 | |
| 689 | 1 | 0 | |a Digitalschaltung |0 (DE-588)4012295-5 |D s |
| 689 | 1 | 1 | |a VHDL |0 (DE-588)4254792-1 |D s |
| 689 | 1 | 2 | |a Spezifikation |0 (DE-588)4139161-5 |D s |
| 689 | 1 | |5 DE-604 | |
| 810 | 2 | |a 20] |t Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI |v 290 |w (DE-604)BV021786833 |9 290 | |
| 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=008577770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-008577770 | ||
Datensatz im Suchindex
| _version_ | 1804127282186420224 |
|---|---|
| adam_text | FORTSCHRITT-BERICHTE VDI
REIHE 20
RECHNERUNTERSTUETZTE DIPL.-ING. ULRICH HEINKEL,
VERFAHREN UTTENREUTH
NR. 290 | FORMALE SPEZIFIKATION
UND VALIDIERUNG DIGITALER
SCHALTUNGSBESCHREIBUNGEN
MIT ZEITDIAGRAMMEN
INHALT
KAPITEL 1 EINFUEHRUNG 1
1 MOTIVATION 1
1.1 DESIGN-FLUSS FUER INTEGRIERTE SCHALTUNGEN MIT VHDL 2
1.2 ZEITDIAGRAMME 5
2 ANSATZPUNKTE ZUR AUTOMATISIERUNG 7
2.1 DYNAMISCHE STIMULIERUNG 7
2.2 KONSISTENZUEBERPRUEFUNGEN 8
2.3 DAS SICHTENKONZEPT - 2 SPEZIFIKATIONSEBENEN 9
3 GLIEDERUNG DER ARBEIT 11
KAPITEL 2 STAND DER FORSCHUNG 13
1 THEORETISCHE GRUNDLAGEN 13
1.1 TIMING DESIGN SYSTEM (TDS) 13
1.1.1 BEWERTUNG 15
1.2 DIE FRONTIER -METHODE 15
1.2.1 STATISCHE STIMULIGENERIERUNG 16
1.2.2 DYNAMISCHE STIMULIGENERIERUNG 17
1.2.3 BEWERTUNG 18
1.3 HARDWARE DESIGN TIMING VERIFICATION 18
1.3.1 EREIGNISSE UND ZEITBEDINGUNGEN 18
1.3.2 KONFLIKTE 20
1.3.3 BEWERTUNG 22
1.4 VHDL ANNOTATION LANGUAGE 22
1.4.1 BEWERTUNG 23
1.5 ALGEBRA OF WAVEFORMS (AOW) 23
1.5.1 DEFINITIONEN 24
1.5.2 BEWERTUNG 25
1.6 SYMBOLISCHE ANALYSE VON ZEITDIAGRAMMEN 25
1.6.1 EIN BEISPIEL 25
1.6.2 SYNCHRONE SIGNALE 26
1.6.3 BEWERTUNG 27
2 AKTUELLE ENTWURFSWERKZEUGE 28
2.1 QUICKBENCH DER FIRMA CHRONOLOGY 28
2.1.1 KONSTRUKTION VON ZEITDIAGRAMMEN 28
2.1.2 ERZEUGEN VON HDL CODE MIT QUICKBENCH 30
2.1.3 BEWERTUNG 34
2.2 WAVEFORMER PRO DER FIRMA SYNAPTICAD INE 35
2.2.1 KONSTRUKTION VON ZEITDIAGRAMMEN 35
2.2.2 ERZEUGEN VON HDL CODE MIT WAVEFORMER PRO.... 36
2.2.3 BEWERTUNG 36
3 ZIELE DER ARBEIT 37
3.1 SPEZIFIKATION 39
3.1.1 ZEITVERHALTEN 39
3.1.2 WERTVERHALTEN 39
3.2 VALIDIERUNG 40
3.2.1 ZEITVERHALTEN 40
3.2.2 WERTVERHALTEN 41
KAPITEL 3 ZEITVERLAUF UND GRAPHENTHEORIE 43
1 ABBILDUNG EINES ZEITDIAGRAMMES AUF EINEN GRAPHEN 43
1.1 DER BEDINGUNGS-GRAPH 43
1.1.1 GLOSSAR GRAPHENTHEORIE 44
1.1.2 DARSTELLUNG ALS RELATIONEN 45
2 UEBERPRUEFUNG DER KONSISTENZ 49
2.1 BEDINGUNG FUER KONFLIKTZYKLEN 49
2.2 KORREKTUR DER KONFLIKTE 50
2.3 ERKENNEN VON KONFLIKTEN 51
2.4 NEGATIVE ZYKLEN MIT GEMEINSAMEN KANTEN 53
2.5 ERREICHBARKEIT 54
2.6 KANTENGEWICHTE UND FEHLENDE KANTEN 55
2.7 QUELLEN 57
2.8 GELENKKNOTEN UND ZUSAMMENHAENGENDE GEBIETE 58
2.8.1 MOEGLICHKEITEN DES VERFAHRENS 59
2.8.2 NICHT ZUSAMMENHAENGENDE GEBIETE 60
3 NEUE VERFAHREN 60
3.1 OPTIMIERTE BERECHNUNG DER AUFTRITTSINTERVALLE 60
3.2 OPTIMIERTE DYNAMISCHE STIMULIERUNG 62
3.3 DIMENSIONIERUNGSHILFEN 63
4 SPEZIFIKATION DES TAKTES 64
4.1 ZEITBEDINGUNGEN VON/ZU EINER TAKTFLANKE 64
4.2 DIE OPTIMALE TAKTFLANKE 66
5 RACINE
......*...*....***** *******............*********** *** *** ************* *******
66
VI
KAPITEL 4 ZEITVERLAUF UND LINEARE OPTIMIERUNG 69
1 FORMULIERUNG EINER LINEAREN OPTIMIERUNGSAUFGABE 69
1.1 _ GRAPHENTHEORIE VERSUS LINEARE OPTIMIERUNG 69
1.2 EINE OPTIMIERUNGSAUFGABE 70
1.3 EINE GRAPHISCHE LOESUNG 70
1.4 DIE ZIELFUNKTION BEI ZEITDIAGRAMMEN 72
2 NUMERISCHE LOESUNG - DER SIMPLEXALGORITHMUS 73
2.1 DAS SIMPLEXTABLEAU 73
2.2 DER ALGORITHMUS 74
2.3 DIE ERSTE ZULAESSIGE BASISLOESUNG 76
2.4 MINIMIERUNG 80
2.5 FALLUNTERSCHEIDUNG 81
2.5.1 FALL A - KEINE FEHLER 81
2.5.2 FALL B - FALSCHE NEBENBEDINGUNGEN 81
2.5.3 FALL C - ENTARTUNG 81
2.5.4 FALL D - UNBEGRENZTER SIMPLEX 82
2.6 BEISPIEL EINES ZEITDIAGRAMMS 82
2.6.1 MINIMIERUNG DES BEISPIELS 84
2.6.2 MAXIMIERUNG DES BEISPIELS 85
3 NEUE VERFAHREN 86
3.1 OPTIMALE DYNAMISCHE STIMULIERUNG 86
3.2 PLATZHALTER 87
3.2.1 EINE ANALYSEROUTINE 88
3.2.2 ANALYSE BEI PLATZHALTERN..... 89
3.2.3 GRENZEN DES VERFAHRENS 90
4 KURZE ZUSAMMENFASSUNG 90
KAPITEL 5 STIMULIERUNG IN VHDL 93
1 DYNAMISCHE STIMULI-GENERIERUNG/VALIDIERUNG 93
1.1 VERFAHREN DER DYNAMISCHEN STIMULIGENERIERUNG 93
1.2 MODI MIN / MAX 96
1.3 MODUS TYP 96
1.4 EFFIZIENTE METHODE DER STIMULI-ZUWEISUNG 98
2 HIERARCHISCHE MODELLIERUNG 102
2.1 NICHT-HIERARCHISCHE STIMULIERUNG / VALIDIERUNG 102
2.2 HIERARCHISCHE STIMULIERUNG / VALIDIERUNG 102
3 OPTIMIERTE IMPLEMENTIERUNG 104
3.1 BEHANDLUNG FIXIERTER EREIGNISSE 104
3.2 AUFBAU DER STIMULIERUNGS-/VALIDIERUNGSUMGEBUNG 105
4 EIN EINFACHES BEISPIEL 106
VN
KAPITEL 6 WERTVERLAUF 109
1 GRUNDLEGENDE UEBERLEGUNGEN 109
2 DAS PRINZIP DER WERTBASIERTEN VALIDIERUNG 110
3 MOEGLICHE VALIDIERUNGSPROZEDUREN 115
3.1 DIE PROZEDUR DIRECT_AFTER_VALID (...) 115
3.2 DIE PROZEDUR AFTER_VALID (...) 116
3.3 DIE PROZEDUR VALUE_VALID (...) 117
3.4 DIE PROZEDUR EQUAL_VALID (...) 117
3.5 DIE PROZEDUR DELAY_VALID (...) 118
KAPITEL 7 DIE BENUTZEROBERFLAECHE ,. 121
1 DAS HAUPTFENSTER-TIME-SAVER 121
1.1 DIE MENUELEISTE 122
1.2 DIE EIGENSCHAFTS-FENSTER 125
2 DIE PROZEDUR-EDITOREN 127
3 DER WAVEFORM-LAYER 129
4 KONSISTENZPRUEFUNG VON ZEITBEDINGUNGEN 130
5 AUTOMATISCHE GENERIERUNG DER TESTUMGEBUNG 132
KAPITEL 8 BEISPIELE 135
1 ASYNCHRON (ZWEI-ZU-VIER-DEMULTIPLEXER) 135
1.1 DAS ZEITDIAGRAMM 136
1.2 SPEZIFIKATION DER ZEITBEDINGUNGEN (LAYER 1) 136
1.3 SPEZIFIKATION DER WERTBEDINGUNGEN (LAYER 2) 139
1.4 DURCHFUEHRUNG DER VALIDIERUNG 142
2 SYNCHRON (ARBITER) 145
2.1 DAS ZEITDIAGRAMM 146
2.2 SPEZIFIKATION DER ZEITBEDINGUNGEN 146
2.3 SPEZIFIKATION DER WERTBEDINGUNGEN 146
2.4 DURCHFUEHRUNG DER VALIDIERUNG 147
3 DRAM514256 149
4 PLS-MODUL EINES CAN-CONTROLLERS 151
KAPITEL 9 ZUSAMMENFASSUNG UND AUSBLICK 155
1 ZUSAMMENFASSUNG 155
2 AUSBLICK ...156
ANHANG 159
1 ALGORITHMEN-LAUFZEITABSCHAETZUNGEN 159
2 DARSTELLUNG VON GRAPHEN 160
VIII
2.1 ADJAZENZLISTENDARSTELLUNG 160
2.2 ADJAZENZMATRIXDARSTELLUNG 161
REGELN 163
LITERATUR 169
INDEX 177
IX
|
| any_adam_object | 1 |
| author | Heinkel, Ulrich |
| author_facet | Heinkel, Ulrich |
| author_role | aut |
| author_sort | Heinkel, Ulrich |
| author_variant | u h uh |
| building | Verbundindex |
| bvnumber | BV012626874 |
| classification_rvk | ZN 5620 |
| classification_tum | DAT 190d |
| ctrlnum | (OCoLC)45263402 (DE-599)BVBBV012626874 |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| edition | Als Ms. gedr. |
| format | Book |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01908nam a2200469 cb4500</leader><controlfield tag="001">BV012626874</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20000124 </controlfield><controlfield tag="007">t</controlfield><controlfield tag="008">990625s1999 a||| mm|| 00||| ger d</controlfield><datafield tag="016" ind1="7" ind2=" "><subfield code="a">956882382</subfield><subfield code="2">DE-101</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">3183290200</subfield><subfield code="9">3-18-329020-0</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)45263402</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV012626874</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-29</subfield><subfield code="a">DE-29T</subfield><subfield code="a">DE-91G</subfield><subfield code="a">DE-210</subfield><subfield code="a">DE-83</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">DAT 190d</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Heinkel, Ulrich</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen</subfield><subfield code="c">Ulrich Heinkel</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">1999</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">IX, 180 S.</subfield><subfield code="b">Ill.</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 / 20]</subfield><subfield code="v">290</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Zugl.: Erlangen-Nürnberg, Univ., Diss., 1999</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VHDL</subfield><subfield code="0">(DE-588)4254792-1</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">VHDL</subfield><subfield code="0">(DE-588)4254792-1</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">VHDL</subfield><subfield code="0">(DE-588)4254792-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Spezifikation</subfield><subfield code="0">(DE-588)4139161-5</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">20]</subfield><subfield code="t">Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI</subfield><subfield code="v">290</subfield><subfield code="w">(DE-604)BV021786833</subfield><subfield code="9">290</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=008577770&sequence=000001&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-008577770</subfield></datafield></record></collection> |
| genre | (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV012626874 |
| illustrated | Illustrated |
| indexdate | 2024-07-09T18:30:52Z |
| institution | BVB |
| isbn | 3183290200 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-008577770 |
| oclc_num | 45263402 |
| open_access_boolean | |
| owner | DE-29 DE-29T DE-91G DE-BY-TUM DE-210 DE-83 |
| owner_facet | DE-29 DE-29T DE-91G DE-BY-TUM DE-210 DE-83 |
| physical | IX, 180 S. Ill. |
| publishDate | 1999 |
| publishDateSearch | 1999 |
| publishDateSort | 1999 |
| publisher | VDI-Verl. |
| record_format | marc |
| series2 | Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] |
| spelling | Heinkel, Ulrich Verfasser aut Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen Ulrich Heinkel Als Ms. gedr. Düsseldorf VDI-Verl. 1999 IX, 180 S. Ill. txt rdacontent n rdamedia nc rdacarrier Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI / 20] 290 Zugl.: Erlangen-Nürnberg, Univ., Diss., 1999 Spezifikation (DE-588)4139161-5 gnd rswk-swf VHDL (DE-588)4254792-1 gnd rswk-swf Digitalschaltung (DE-588)4012295-5 gnd rswk-swf (DE-588)4113937-9 Hochschulschrift gnd-content VHDL (DE-588)4254792-1 s DE-604 Digitalschaltung (DE-588)4012295-5 s Spezifikation (DE-588)4139161-5 s 20] Verein Deutscher Ingenieure: [Fortschritt-Berichte VDI 290 (DE-604)BV021786833 290 DNB Datenaustausch application/pdf http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008577770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA Inhaltsverzeichnis |
| spellingShingle | Heinkel, Ulrich Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen Spezifikation (DE-588)4139161-5 gnd VHDL (DE-588)4254792-1 gnd Digitalschaltung (DE-588)4012295-5 gnd |
| subject_GND | (DE-588)4139161-5 (DE-588)4254792-1 (DE-588)4012295-5 (DE-588)4113937-9 |
| title | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen |
| title_auth | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen |
| title_exact_search | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen |
| title_full | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen Ulrich Heinkel |
| title_fullStr | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen Ulrich Heinkel |
| title_full_unstemmed | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen Ulrich Heinkel |
| title_short | Formale Spezifikation und Validierung digitaler Schaltungsbeschreibungen mit Zeitdiagrammen |
| title_sort | formale spezifikation und validierung digitaler schaltungsbeschreibungen mit zeitdiagrammen |
| topic | Spezifikation (DE-588)4139161-5 gnd VHDL (DE-588)4254792-1 gnd Digitalschaltung (DE-588)4012295-5 gnd |
| topic_facet | Spezifikation VHDL Digitalschaltung Hochschulschrift |
| url | http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=008577770&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |
| volume_link | (DE-604)BV021786833 |
| work_keys_str_mv | AT heinkelulrich formalespezifikationundvalidierungdigitalerschaltungsbeschreibungenmitzeitdiagrammen |