System-on-Chip Methodologies & Design Languages:
System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA...
Gespeichert in:
| Weitere Verfasser: | , , |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
New York, NY
Springer US
2001
|
| Ausgabe: | 1st ed. 2001 |
| Schlagworte: | |
| Online-Zugang: | UBY01 Volltext |
| Zusammenfassung: | System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field |
| Beschreibung: | 1 Online-Ressource (X, 342 p) |
| ISBN: | 9781475732818 |
| DOI: | 10.1007/978-1-4757-3281-8 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV047064235 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 201216s2001 |||| o||u| ||||||eng d | ||
| 020 | |a 9781475732818 |9 978-1-4757-3281-8 | ||
| 024 | 7 | |a 10.1007/978-1-4757-3281-8 |2 doi | |
| 035 | |a (ZDB-2-SCS)978-1-4757-3281-8 | ||
| 035 | |a (OCoLC)1227481577 | ||
| 035 | |a (DE-599)BVBBV047064235 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 | ||
| 082 | 0 | |a 005.13 |2 23 | |
| 084 | |a ZN 4904 |0 (DE-625)157419: |2 rvk | ||
| 245 | 1 | 0 | |a System-on-Chip Methodologies & Design Languages |c edited by Peter J. Ashenden, Jean Mermet, Ralf Seepold |
| 250 | |a 1st ed. 2001 | ||
| 264 | 1 | |a New York, NY |b Springer US |c 2001 | |
| 300 | |a 1 Online-Ressource (X, 342 p) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 520 | |a System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field | ||
| 650 | 4 | |a Programming Languages, Compilers, Interpreters | |
| 650 | 4 | |a Theory of Computation | |
| 650 | 4 | |a Computer Hardware | |
| 650 | 4 | |a Computer-Aided Engineering (CAD, CAE) and Design | |
| 650 | 4 | |a Artificial Intelligence | |
| 650 | 4 | |a Engineering, general | |
| 650 | 4 | |a Programming languages (Electronic computers) | |
| 650 | 4 | |a Computers | |
| 650 | 4 | |a Computer hardware | |
| 650 | 4 | |a Computer-aided engineering | |
| 650 | 4 | |a Artificial intelligence | |
| 650 | 4 | |a Engineering | |
| 650 | 0 | 7 | |a Entwurfssprache |0 (DE-588)4295335-2 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 655 | 7 | |0 (DE-588)4143413-4 |a Aufsatzsammlung |2 gnd-content | |
| 689 | 0 | 0 | |a Schaltungsentwurf |0 (DE-588)4179389-4 |D s |
| 689 | 0 | 1 | |a Entwurfssprache |0 (DE-588)4295335-2 |D s |
| 689 | 0 | |5 DE-604 | |
| 700 | 1 | |a Ashenden, Peter J. |4 edt | |
| 700 | 1 | |a Mermet, Jean |4 edt | |
| 700 | 1 | |a Seepold, Ralf |4 edt | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781441949011 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9780792373933 |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |z 9781475732825 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-1-4757-3281-8 |x Verlag |z URL des Eerstveröffentlichers |3 Volltext |
| 912 | |a ZDB-2-SCS | ||
| 940 | 1 | |q ZDB-2-SCS_2000/2004 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-032471347 | ||
| 966 | e | |u https://doi.org/10.1007/978-1-4757-3281-8 |l UBY01 |p ZDB-2-SCS |q ZDB-2-SCS_2000/2004 |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804182061993426944 |
|---|---|
| adam_txt | |
| any_adam_object | |
| any_adam_object_boolean | |
| author2 | Ashenden, Peter J. Mermet, Jean Seepold, Ralf |
| author2_role | edt edt edt |
| author2_variant | p j a pj pja j m jm r s rs |
| author_facet | Ashenden, Peter J. Mermet, Jean Seepold, Ralf |
| building | Verbundindex |
| bvnumber | BV047064235 |
| classification_rvk | ZN 4904 |
| collection | ZDB-2-SCS |
| ctrlnum | (ZDB-2-SCS)978-1-4757-3281-8 (OCoLC)1227481577 (DE-599)BVBBV047064235 |
| dewey-full | 005.13 |
| dewey-hundreds | 000 - Computer science, information, general works |
| dewey-ones | 005 - Computer programming, programs, data, security |
| dewey-raw | 005.13 |
| dewey-search | 005.13 |
| dewey-sort | 15.13 |
| dewey-tens | 000 - Computer science, information, general works |
| discipline | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| discipline_str_mv | Informatik Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-1-4757-3281-8 |
| edition | 1st ed. 2001 |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03159nmm a2200661zc 4500</leader><controlfield tag="001">BV047064235</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">201216s2001 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781475732818</subfield><subfield code="9">978-1-4757-3281-8</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-1-4757-3281-8</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-SCS)978-1-4757-3281-8</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)1227481577</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV047064235</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">eng</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">005.13</subfield><subfield code="2">23</subfield></datafield><datafield tag="084" ind1=" " ind2=" "><subfield code="a">ZN 4904</subfield><subfield code="0">(DE-625)157419:</subfield><subfield code="2">rvk</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">System-on-Chip Methodologies & Design Languages</subfield><subfield code="c">edited by Peter J. Ashenden, Jean Mermet, Ralf Seepold</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">1st ed. 2001</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">New York, NY</subfield><subfield code="b">Springer US</subfield><subfield code="c">2001</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (X, 342 p)</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="520" ind1=" " ind2=" "><subfield code="a">System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming Languages, Compilers, Interpreters</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Theory of Computation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer Hardware</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-Aided Engineering (CAD, CAE) and Design</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial Intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering, general</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Programming languages (Electronic computers)</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computers</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer-aided engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Artificial intelligence</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)1071861417</subfield><subfield code="a">Konferenzschrift</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="655" ind1=" " ind2="7"><subfield code="0">(DE-588)4143413-4</subfield><subfield code="a">Aufsatzsammlung</subfield><subfield code="2">gnd-content</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Schaltungsentwurf</subfield><subfield code="0">(DE-588)4179389-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Entwurfssprache</subfield><subfield code="0">(DE-588)4295335-2</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">Ashenden, Peter J.</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Mermet, Jean</subfield><subfield code="4">edt</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Seepold, Ralf</subfield><subfield code="4">edt</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781441949011</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9780792373933</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="z">9781475732825</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-1-4757-3281-8</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Eerstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-SCS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-SCS_2000/2004</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-032471347</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-1-4757-3281-8</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-SCS</subfield><subfield code="q">ZDB-2-SCS_2000/2004</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content |
| genre_facet | Konferenzschrift Aufsatzsammlung |
| id | DE-604.BV047064235 |
| illustrated | Not Illustrated |
| index_date | 2024-07-03T16:12:22Z |
| indexdate | 2024-07-10T09:01:34Z |
| institution | BVB |
| isbn | 9781475732818 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-032471347 |
| oclc_num | 1227481577 |
| open_access_boolean | |
| owner | DE-706 |
| owner_facet | DE-706 |
| physical | 1 Online-Ressource (X, 342 p) |
| psigel | ZDB-2-SCS ZDB-2-SCS_2000/2004 ZDB-2-SCS ZDB-2-SCS_2000/2004 |
| publishDate | 2001 |
| publishDateSearch | 2001 |
| publishDateSort | 2001 |
| publisher | Springer US |
| record_format | marc |
| spelling | System-on-Chip Methodologies & Design Languages edited by Peter J. Ashenden, Jean Mermet, Ralf Seepold 1st ed. 2001 New York, NY Springer US 2001 1 Online-Ressource (X, 342 p) txt rdacontent c rdamedia cr rdacarrier System-on-Chip Methodologies & Design Languages brings together a selection of the best papers from three international electronic design language conferences in 2000. The conferences are the Hardware Description Language Conference and Exhibition (HDLCon), held in the Silicon Valley area of USA; the Forum on Design Languages (FDL), held in Europe; and the Asia Pacific Chip Design Language (APChDL) Conference. The papers cover a range of topics, including design methods, specification and modeling languages, tool issues, formal verification, simulation and synthesis. The results presented in these papers will help researchers and practicing engineers keep abreast of developments in this rapidly evolving field Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence Engineering, general Programming languages (Electronic computers) Computers Computer hardware Computer-aided engineering Artificial intelligence Engineering Entwurfssprache (DE-588)4295335-2 gnd rswk-swf Schaltungsentwurf (DE-588)4179389-4 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content (DE-588)4143413-4 Aufsatzsammlung gnd-content Schaltungsentwurf (DE-588)4179389-4 s Entwurfssprache (DE-588)4295335-2 s DE-604 Ashenden, Peter J. edt Mermet, Jean edt Seepold, Ralf edt Erscheint auch als Druck-Ausgabe 9781441949011 Erscheint auch als Druck-Ausgabe 9780792373933 Erscheint auch als Druck-Ausgabe 9781475732825 https://doi.org/10.1007/978-1-4757-3281-8 Verlag URL des Eerstveröffentlichers Volltext |
| spellingShingle | System-on-Chip Methodologies & Design Languages Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence Engineering, general Programming languages (Electronic computers) Computers Computer hardware Computer-aided engineering Artificial intelligence Engineering Entwurfssprache (DE-588)4295335-2 gnd Schaltungsentwurf (DE-588)4179389-4 gnd |
| subject_GND | (DE-588)4295335-2 (DE-588)4179389-4 (DE-588)1071861417 (DE-588)4143413-4 |
| title | System-on-Chip Methodologies & Design Languages |
| title_auth | System-on-Chip Methodologies & Design Languages |
| title_exact_search | System-on-Chip Methodologies & Design Languages |
| title_exact_search_txtP | System-on-Chip Methodologies & Design Languages |
| title_full | System-on-Chip Methodologies & Design Languages edited by Peter J. Ashenden, Jean Mermet, Ralf Seepold |
| title_fullStr | System-on-Chip Methodologies & Design Languages edited by Peter J. Ashenden, Jean Mermet, Ralf Seepold |
| title_full_unstemmed | System-on-Chip Methodologies & Design Languages edited by Peter J. Ashenden, Jean Mermet, Ralf Seepold |
| title_short | System-on-Chip Methodologies & Design Languages |
| title_sort | system on chip methodologies design languages |
| topic | Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence Engineering, general Programming languages (Electronic computers) Computers Computer hardware Computer-aided engineering Artificial intelligence Engineering Entwurfssprache (DE-588)4295335-2 gnd Schaltungsentwurf (DE-588)4179389-4 gnd |
| topic_facet | Programming Languages, Compilers, Interpreters Theory of Computation Computer Hardware Computer-Aided Engineering (CAD, CAE) and Design Artificial Intelligence Engineering, general Programming languages (Electronic computers) Computers Computer hardware Computer-aided engineering Artificial intelligence Engineering Entwurfssprache Schaltungsentwurf Konferenzschrift Aufsatzsammlung |
| url | https://doi.org/10.1007/978-1-4757-3281-8 |
| work_keys_str_mv | AT ashendenpeterj systemonchipmethodologiesdesignlanguages AT mermetjean systemonchipmethodologiesdesignlanguages AT seepoldralf systemonchipmethodologiesdesignlanguages |