Computer hardware description languages and their applications: proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993
Gespeichert in:
| Körperschaft: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
North-Holland
1993
|
| Schriftenreihe: | IFIP transactions
A-32 |
| Schlagworte: | |
| Online-Zugang: | FAW01 Volltext |
| Beschreibung: | Includes bibliographical references Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification |
| Beschreibung: | xiv, 604 pages |
| ISBN: | 0444816410 9780444816412 |
Internformat
MARC
| LEADER | 00000nmm a2200000zcb4500 | ||
|---|---|---|---|
| 001 | BV044381652 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 170630s1993 |||| o||u| ||||||eng d | ||
| 020 | |a 0444816410 |9 0-444-81641-0 | ||
| 020 | |a 9780444816412 |9 978-0-444-81641-2 | ||
| 035 | |a (ZDB-33-ESD)ocn654832734 | ||
| 035 | |a (OCoLC)654832734 | ||
| 035 | |a (DE-599)BVBBV044381652 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 621.392 |2 20 | |
| 110 | 2 | |a IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications < 1993, Ottawa, Ont.> |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Computer hardware description languages and their applications |b proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 |c edited by David Agnew, Luc Claesen, Raul Camposano |
| 264 | 1 | |a Amsterdam |b North-Holland |c 1993 | |
| 300 | |a xiv, 604 pages | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a IFIP transactions |v A-32 | |
| 500 | |a Includes bibliographical references | ||
| 500 | |a Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification | ||
| 650 | 7 | |a Computerarchitectuur |2 gtt | |
| 650 | 7 | |a Computer hardware description languages |2 fast | |
| 650 | 4 | |a Computer hardware description languages |v Congresses | |
| 650 | 0 | 7 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |2 gnd |9 rswk-swf |
| 655 | 7 | |0 (DE-588)1071861417 |a Konferenzschrift |2 gnd-content | |
| 689 | 0 | 0 | |a Hardwarebeschreibungssprache |0 (DE-588)4159102-1 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 700 | 1 | |a Agnew, David |e Sonstige |4 oth | |
| 700 | 1 | |a Claesen, Luc J. M. |e Sonstige |4 oth | |
| 700 | 1 | |a Camposano, Raul |e Sonstige |4 oth | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780444816412 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 912 | |a ZDB-33-ESD | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-029783874 | ||
| 883 | 1 | |8 1\p |a cgwrk |d 20201028 |q DE-101 |u https://d-nb.info/provenance/plan#cgwrk | |
| 966 | e | |u http://www.sciencedirect.com/science/book/9780444816412 |l FAW01 |p ZDB-33-ESD |q FAW_PDA_ESD |x Verlag |3 Volltext | |
Datensatz im Suchindex
| _version_ | 1804177645148045312 |
|---|---|
| any_adam_object | |
| author_corporate | IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications < 1993, Ottawa, Ont.> |
| author_corporate_role | aut |
| author_facet | IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications < 1993, Ottawa, Ont.> |
| author_sort | IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications < 1993, Ottawa, Ont.> |
| building | Verbundindex |
| bvnumber | BV044381652 |
| collection | ZDB-33-ESD |
| ctrlnum | (ZDB-33-ESD)ocn654832734 (OCoLC)654832734 (DE-599)BVBBV044381652 |
| dewey-full | 621.392 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.392 |
| dewey-search | 621.392 |
| dewey-sort | 3621.392 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03307nmm a2200493zcb4500</leader><controlfield tag="001">BV044381652</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">170630s1993 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0444816410</subfield><subfield code="9">0-444-81641-0</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780444816412</subfield><subfield code="9">978-0-444-81641-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-ESD)ocn654832734</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)654832734</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV044381652</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-1046</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.392</subfield><subfield code="2">20</subfield></datafield><datafield tag="110" ind1="2" ind2=" "><subfield code="a">IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications < 1993, Ottawa, Ont.></subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Computer hardware description languages and their applications</subfield><subfield code="b">proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993</subfield><subfield code="c">edited by David Agnew, Luc Claesen, Raul Camposano</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">North-Holland</subfield><subfield code="c">1993</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">xiv, 604 pages</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">IFIP transactions</subfield><subfield code="v">A-32</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes bibliographical references</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computerarchitectuur</subfield><subfield code="2">gtt</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Computer hardware description languages</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Computer hardware description languages</subfield><subfield code="v">Congresses</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Hardwarebeschreibungssprache</subfield><subfield code="0">(DE-588)4159102-1</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="689" ind1="0" ind2="0"><subfield code="a">Hardwarebeschreibungssprache</subfield><subfield code="0">(DE-588)4159102-1</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2=" "><subfield code="8">1\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Agnew, David</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Claesen, Luc J. M.</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="700" ind1="1" ind2=" "><subfield code="a">Camposano, Raul</subfield><subfield code="e">Sonstige</subfield><subfield code="4">oth</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780444816412</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-029783874</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="966" ind1="e" ind2=" "><subfield code="u">http://www.sciencedirect.com/science/book/9780444816412</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-33-ESD</subfield><subfield code="q">FAW_PDA_ESD</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| genre | (DE-588)1071861417 Konferenzschrift gnd-content |
| genre_facet | Konferenzschrift |
| id | DE-604.BV044381652 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T07:51:22Z |
| institution | BVB |
| isbn | 0444816410 9780444816412 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-029783874 |
| oclc_num | 654832734 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | xiv, 604 pages |
| psigel | ZDB-33-ESD ZDB-33-ESD FAW_PDA_ESD |
| publishDate | 1993 |
| publishDateSearch | 1993 |
| publishDateSort | 1993 |
| publisher | North-Holland |
| record_format | marc |
| series2 | IFIP transactions |
| spelling | IFIP WG10.2 International Conference on Computer Hardware Description Languages and Their Applications < 1993, Ottawa, Ont.> Verfasser aut Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 edited by David Agnew, Luc Claesen, Raul Camposano Amsterdam North-Holland 1993 xiv, 604 pages txt rdacontent c rdamedia cr rdacarrier IFIP transactions A-32 Includes bibliographical references Hardware description languages (HDLs) have established themselves as one of the principal means of designing electronic systems. The interest in and usage of HDLs continues to spread rapidly, driven by the increasing complexity of systems, the growth of HDL-driven synthesis, the research on formal design methods and many other related advances.This research-oriented publication aims to make a strong contribution to further developments in the field. The following topics are explored in depth: BDD-based system design and analysis; system level formal verification; formal reasoning on hardware; languages for protocol specification; VHDL; HDL-based design methods; high level synthesis; and text/graphical HDLs. There are short papers covering advanced design capture and recent work in high level synthesis and formal verification. In addition, several invited presentations on key issues discuss and summarize recent advances in real time system design, automatic verification of sequential circuits and languages for protocol specification Computerarchitectuur gtt Computer hardware description languages fast Computer hardware description languages Congresses Hardwarebeschreibungssprache (DE-588)4159102-1 gnd rswk-swf (DE-588)1071861417 Konferenzschrift gnd-content Hardwarebeschreibungssprache (DE-588)4159102-1 s 1\p DE-604 Agnew, David Sonstige oth Claesen, Luc J. M. Sonstige oth Camposano, Raul Sonstige oth http://www.sciencedirect.com/science/book/9780444816412 Verlag URL des Erstveröffentlichers Volltext 1\p cgwrk 20201028 DE-101 https://d-nb.info/provenance/plan#cgwrk |
| spellingShingle | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 Computerarchitectuur gtt Computer hardware description languages fast Computer hardware description languages Congresses Hardwarebeschreibungssprache (DE-588)4159102-1 gnd |
| subject_GND | (DE-588)4159102-1 (DE-588)1071861417 |
| title | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 |
| title_auth | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 |
| title_exact_search | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 |
| title_full | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 edited by David Agnew, Luc Claesen, Raul Camposano |
| title_fullStr | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 edited by David Agnew, Luc Claesen, Raul Camposano |
| title_full_unstemmed | Computer hardware description languages and their applications proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 edited by David Agnew, Luc Claesen, Raul Camposano |
| title_short | Computer hardware description languages and their applications |
| title_sort | computer hardware description languages and their applications proceedings of the 11th ifip wg10 2 international conference on computer hardware description languages and their applications chdl 93 sponsored by ifip wg10 2 and in cooperation with ieee compsoc ottawa ontario canada 26 28 april 1993 |
| title_sub | proceedings of the 11th IFIP WG10.2 International Conference on Computer Hardware Description Languages and their Applications - CHDL'93 sponsored by IFIP WG10.2 and in cooperation with IEEE COMPSOC, Ottawa, Ontario, Canada, 26-28 April, 1993 |
| topic | Computerarchitectuur gtt Computer hardware description languages fast Computer hardware description languages Congresses Hardwarebeschreibungssprache (DE-588)4159102-1 gnd |
| topic_facet | Computerarchitectuur Computer hardware description languages Computer hardware description languages Congresses Hardwarebeschreibungssprache Konferenzschrift |
| url | http://www.sciencedirect.com/science/book/9780444816412 |
| work_keys_str_mv | AT ifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplications1993ottawaont computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsofthe11thifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationschdl93sponsoredbyifipwg102andincooperationwithieeecompsocottawaontariocanada2628april1993 AT agnewdavid computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsofthe11thifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationschdl93sponsoredbyifipwg102andincooperationwithieeecompsocottawaontariocanada2628april1993 AT claesenlucjm computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsofthe11thifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationschdl93sponsoredbyifipwg102andincooperationwithieeecompsocottawaontariocanada2628april1993 AT camposanoraul computerhardwaredescriptionlanguagesandtheirapplicationsproceedingsofthe11thifipwg102internationalconferenceoncomputerhardwaredescriptionlanguagesandtheirapplicationschdl93sponsoredbyifipwg102andincooperationwithieeecompsocottawaontariocanada2628april1993 |