Verifikation digitaler Systeme: Eine Einführung in den Entwurf korrekter digitaler Systeme
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | German |
| Veröffentlicht: |
Wiesbaden
Vieweg+Teubner Verlag
1991
|
| Schriftenreihe: | Leitfäden und Monographien der Informatik
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grundlegender Fragen der Modellierung von Hardware, der Entwicklung geeigneter Repräsentationen, der Möglichkeit formalen Argumentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einführung für diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Während ein Buch über dieses Thema - insbesondere auf Deutsch verfaßt - vor einigen Jahren noch etwas fast missionarisches gehabt hätte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferenzen und Veröffentlichungen wiederspiegelt. Dieses Interesse hat seine Ursache einmal sicherlich in einem gesteigerten Problembewußtsein, daß man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, daß das Problem der Verifikation fundamental ist für den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik für komplexe digitale Systeme", die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, sowie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverständigung über das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty für die jahrelange Förderung meiner Arbeit. Er bot mir die Möglichkeit, meine Ideen über die Verifikation digitaler Systeme während meiner Zeit als Mitarbeiter und später als Habilitand am Institut für Datentechnik der Technischen Hochschule Darmstadt zu entwickeln |
| Beschreibung: | 1 Online-Ressource (XII, 308 S.) |
| ISBN: | 9783322946843 9783519022497 |
| DOI: | 10.1007/978-3-322-94684-3 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042431011 | ||
| 003 | DE-604 | ||
| 005 | 20200309 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150320s1991 |||| o||u| ||||||ger d | ||
| 020 | |a 9783322946843 |c Online |9 978-3-322-94684-3 | ||
| 020 | |a 9783519022497 |c Print |9 978-3-519-02249-7 | ||
| 024 | 7 | |a 10.1007/978-3-322-94684-3 |2 doi | |
| 035 | |a (OCoLC)864038228 | ||
| 035 | |a (DE-599)BVBBV042431011 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a ger | |
| 049 | |a DE-91 |a DE-634 |a DE-92 |a DE-573 |a DE-706 |a DE-860 |a DE-1046 |a DE-Aug4 | ||
| 082 | 0 | |a 620 |2 23 | |
| 084 | |a DAT 000 |2 stub | ||
| 084 | |a TEC 000 |2 stub | ||
| 100 | 1 | |a Eveking, Hans |d 1948- |e Verfasser |0 (DE-588)172065976 |4 aut | |
| 245 | 1 | 0 | |a Verifikation digitaler Systeme |b Eine Einführung in den Entwurf korrekter digitaler Systeme |c von Hans Eveking |
| 264 | 1 | |a Wiesbaden |b Vieweg+Teubner Verlag |c 1991 | |
| 300 | |a 1 Online-Ressource (XII, 308 S.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Leitfäden und Monographien der Informatik | |
| 500 | |a Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grundlegender Fragen der Modellierung von Hardware, der Entwicklung geeigneter Repräsentationen, der Möglichkeit formalen Argumentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einführung für diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Während ein Buch über dieses Thema - insbesondere auf Deutsch verfaßt - vor einigen Jahren noch etwas fast missionarisches gehabt hätte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferenzen und Veröffentlichungen wiederspiegelt. Dieses Interesse hat seine Ursache einmal sicherlich in einem gesteigerten Problembewußtsein, daß man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, daß das Problem der Verifikation fundamental ist für den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik für komplexe digitale Systeme", die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, sowie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverständigung über das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty für die jahrelange Förderung meiner Arbeit. Er bot mir die Möglichkeit, meine Ideen über die Verifikation digitaler Systeme während meiner Zeit als Mitarbeiter und später als Habilitand am Institut für Datentechnik der Technischen Hochschule Darmstadt zu entwickeln | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 650 | 0 | 7 | |a VLSI |0 (DE-588)4117388-0 |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 Hardwareverifikation |0 (DE-588)4214982-4 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hardwareentwurf |0 (DE-588)4159103-3 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 655 | 7 | |8 1\p |0 (DE-588)4113937-9 |a Hochschulschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 0 | 1 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 0 | |8 2\p |5 DE-604 | |
| 689 | 1 | 0 | |a Digitales System |0 (DE-588)4012300-5 |D s |
| 689 | 1 | 1 | |a Hardwareentwurf |0 (DE-588)4159103-3 |D s |
| 689 | 1 | |8 3\p |5 DE-604 | |
| 689 | 2 | 0 | |a VLSI |0 (DE-588)4117388-0 |D s |
| 689 | 2 | 1 | |a Hardwareentwurf |0 (DE-588)4159103-3 |D s |
| 689 | 2 | |8 4\p |5 DE-604 | |
| 689 | 3 | 0 | |a Hardwareverifikation |0 (DE-588)4214982-4 |D s |
| 689 | 3 | |8 5\p |5 DE-604 | |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-322-94684-3 |x Verlag |3 Volltext |
| 912 | |a ZDB-2-STI |a ZDB-2-BAD | ||
| 940 | 1 | |q ZDB-2-STI_Archive | |
| 940 | 1 | |q ZDB-2-STI_1990/1999 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027866342 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 2\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 3\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 4\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 883 | 1 | |8 5\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
Datensatz im Suchindex
| _version_ | 1804153113602424832 |
|---|---|
| any_adam_object | |
| author | Eveking, Hans 1948- |
| author_GND | (DE-588)172065976 |
| author_facet | Eveking, Hans 1948- |
| author_role | aut |
| author_sort | Eveking, Hans 1948- |
| author_variant | h e he |
| building | Verbundindex |
| bvnumber | BV042431011 |
| classification_tum | DAT 000 TEC 000 |
| collection | ZDB-2-STI ZDB-2-BAD |
| ctrlnum | (OCoLC)864038228 (DE-599)BVBBV042431011 |
| dewey-full | 620 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 620 - Engineering and allied operations |
| dewey-raw | 620 |
| dewey-search | 620 |
| dewey-sort | 3620 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Technik Technik Informatik |
| doi_str_mv | 10.1007/978-3-322-94684-3 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>04483nmm a2200685zc 4500</leader><controlfield tag="001">BV042431011</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200309 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150320s1991 |||| o||u| ||||||ger d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783322946843</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-322-94684-3</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783519022497</subfield><subfield code="c">Print</subfield><subfield code="9">978-3-519-02249-7</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-322-94684-3</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)864038228</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042431011</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">aacr</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-634</subfield><subfield code="a">DE-92</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-706</subfield><subfield code="a">DE-860</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-Aug4</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">620</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">DAT 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">TEC 000</subfield><subfield code="2">stub</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Eveking, Hans</subfield><subfield code="d">1948-</subfield><subfield code="e">Verfasser</subfield><subfield code="0">(DE-588)172065976</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Verifikation digitaler Systeme</subfield><subfield code="b">Eine Einführung in den Entwurf korrekter digitaler Systeme</subfield><subfield code="c">von Hans Eveking</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Wiesbaden</subfield><subfield code="b">Vieweg+Teubner Verlag</subfield><subfield code="c">1991</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (XII, 308 S.)</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">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="490" ind1="0" ind2=" "><subfield code="a">Leitfäden und Monographien der Informatik</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grundlegender Fragen der Modellierung von Hardware, der Entwicklung geeigneter Repräsentationen, der Möglichkeit formalen Argumentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einführung für diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Während ein Buch über dieses Thema - insbesondere auf Deutsch verfaßt - vor einigen Jahren noch etwas fast missionarisches gehabt hätte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferenzen und Veröffentlichungen wiederspiegelt. Dieses Interesse hat seine Ursache einmal sicherlich in einem gesteigerten Problembewußtsein, daß man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, daß das Problem der Verifikation fundamental ist für den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik für komplexe digitale Systeme", die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, sowie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverständigung über das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty für die jahrelange Förderung meiner Arbeit. Er bot mir die Möglichkeit, meine Ideen über die Verifikation digitaler Systeme während meiner Zeit als Mitarbeiter und später als Habilitand am Institut für Datentechnik der Technischen Hochschule Darmstadt zu entwickeln</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</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">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">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</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="655" ind1=" " ind2="7"><subfield code="8">1\p</subfield><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">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><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=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="1" ind2="0"><subfield code="a">Digitales System</subfield><subfield code="0">(DE-588)4012300-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="2" ind2="0"><subfield code="a">VLSI</subfield><subfield code="0">(DE-588)4117388-0</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2="1"><subfield code="a">Hardwareentwurf</subfield><subfield code="0">(DE-588)4159103-3</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="2" ind2=" "><subfield code="8">4\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="689" ind1="3" ind2="0"><subfield code="a">Hardwareverifikation</subfield><subfield code="0">(DE-588)4214982-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="3" ind2=" "><subfield code="8">5\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-322-94684-3</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-STI</subfield><subfield code="a">ZDB-2-BAD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_Archive</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-STI_1990/1999</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027866342</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">1\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">3\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">4\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield><datafield tag="883" ind1="1" ind2=" "><subfield code="8">5\p</subfield><subfield code="a">cgwrk</subfield><subfield code="d">20201028</subfield><subfield code="q">DE-101</subfield><subfield code="u">https://d-nb.info/provenance/plan#cgwrk</subfield></datafield></record></collection> |
| genre | 1\p (DE-588)4113937-9 Hochschulschrift gnd-content |
| genre_facet | Hochschulschrift |
| id | DE-604.BV042431011 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:21:27Z |
| institution | BVB |
| isbn | 9783322946843 9783519022497 |
| language | German |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027866342 |
| oclc_num | 864038228 |
| open_access_boolean | |
| owner | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| owner_facet | DE-91 DE-BY-TUM DE-634 DE-92 DE-573 DE-706 DE-860 DE-1046 DE-Aug4 |
| physical | 1 Online-Ressource (XII, 308 S.) |
| psigel | ZDB-2-STI ZDB-2-BAD ZDB-2-STI_Archive ZDB-2-STI_1990/1999 |
| publishDate | 1991 |
| publishDateSearch | 1991 |
| publishDateSort | 1991 |
| publisher | Vieweg+Teubner Verlag |
| record_format | marc |
| series2 | Leitfäden und Monographien der Informatik |
| spelling | Eveking, Hans 1948- Verfasser (DE-588)172065976 aut Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking Wiesbaden Vieweg+Teubner Verlag 1991 1 Online-Ressource (XII, 308 S.) txt rdacontent c rdamedia cr rdacarrier Leitfäden und Monographien der Informatik Die Korrektheit eines digitalen Systems vollständig nachzuweisen - dieses Problem, das von großem praktischen Interesse ist, wirft eine Reihe grundlegender Fragen der Modellierung von Hardware, der Entwicklung geeigneter Repräsentationen, der Möglichkeit formalen Argumentierens und der technischen Realisierbarkeit von Verifikationswerkzeugen auf. Das vorliegende Buch gibt eine Einführung für diejenigen, die sich mit dem Gebiet der Hardwareverifikation vertraut machen wollen. Während ein Buch über dieses Thema - insbesondere auf Deutsch verfaßt - vor einigen Jahren noch etwas fast missionarisches gehabt hätte, findet das Gebiet inzwischen verbreitetes Interesse, was sich in einer zunehmenden Anzahl an Konferenzen und Veröffentlichungen wiederspiegelt. Dieses Interesse hat seine Ursache einmal sicherlich in einem gesteigerten Problembewußtsein, daß man sich eben bei VLSI-Bausteinen keine Entwurfsfehler mehr leisten kann. Zum anderen wird immer mehr erkannt, daß das Problem der Verifikation fundamental ist für den gesamten Bereich des Hardwareentwurfs. Das Buch ist entstanden aus meiner Habilitationsschrift, aus Materialien zu einer Vorlesung "Entwurfsmethodik für komplexe digitale Systeme", die ich an der Technischen Hochschule Darmstadt von 1985 bis 1990 hielt, sowie aus einer Reihe englischsprachiger Berichte, die ich zum Zwecke der Selbstverständigung über das Gebiet geschrieben habe. Mein besonderer Dank gilt Prof. R. Piloty für die jahrelange Förderung meiner Arbeit. Er bot mir die Möglichkeit, meine Ideen über die Verifikation digitaler Systeme während meiner Zeit als Mitarbeiter und später als Habilitand am Institut für Datentechnik der Technischen Hochschule Darmstadt zu entwickeln Engineering Engineering, general Ingenieurwissenschaften VLSI (DE-588)4117388-0 gnd rswk-swf Digitales System (DE-588)4012300-5 gnd rswk-swf Hardwareverifikation (DE-588)4214982-4 gnd rswk-swf Hardwareentwurf (DE-588)4159103-3 gnd rswk-swf Verifikation (DE-588)4135577-5 gnd rswk-swf 1\p (DE-588)4113937-9 Hochschulschrift gnd-content Digitales System (DE-588)4012300-5 s Verifikation (DE-588)4135577-5 s 2\p DE-604 Hardwareentwurf (DE-588)4159103-3 s 3\p DE-604 VLSI (DE-588)4117388-0 s 4\p DE-604 Hardwareverifikation (DE-588)4214982-4 s 5\p DE-604 https://doi.org/10.1007/978-3-322-94684-3 Verlag Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 2\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 3\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 4\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk 5\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Eveking, Hans 1948- Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme Engineering Engineering, general Ingenieurwissenschaften VLSI (DE-588)4117388-0 gnd Digitales System (DE-588)4012300-5 gnd Hardwareverifikation (DE-588)4214982-4 gnd Hardwareentwurf (DE-588)4159103-3 gnd Verifikation (DE-588)4135577-5 gnd |
| subject_GND | (DE-588)4117388-0 (DE-588)4012300-5 (DE-588)4214982-4 (DE-588)4159103-3 (DE-588)4135577-5 (DE-588)4113937-9 |
| title | Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme |
| title_auth | Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme |
| title_exact_search | Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme |
| title_full | Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking |
| title_fullStr | Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking |
| title_full_unstemmed | Verifikation digitaler Systeme Eine Einführung in den Entwurf korrekter digitaler Systeme von Hans Eveking |
| title_short | Verifikation digitaler Systeme |
| title_sort | verifikation digitaler systeme eine einfuhrung in den entwurf korrekter digitaler systeme |
| title_sub | Eine Einführung in den Entwurf korrekter digitaler Systeme |
| topic | Engineering Engineering, general Ingenieurwissenschaften VLSI (DE-588)4117388-0 gnd Digitales System (DE-588)4012300-5 gnd Hardwareverifikation (DE-588)4214982-4 gnd Hardwareentwurf (DE-588)4159103-3 gnd Verifikation (DE-588)4135577-5 gnd |
| topic_facet | Engineering Engineering, general Ingenieurwissenschaften VLSI Digitales System Hardwareverifikation Hardwareentwurf Verifikation Hochschulschrift |
| url | https://doi.org/10.1007/978-3-322-94684-3 |
| work_keys_str_mv | AT evekinghans verifikationdigitalersystemeeineeinfuhrungindenentwurfkorrekterdigitalersysteme |