ASIC and FPGA verification: a guide to component modeling
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
San Francisco, Calif.
Morgan Kaufmann
2005
|
| Series: | Morgan Kaufmann series in systems on silicon
|
| Subjects: | |
| Item Description: | Includes index Print version record |
| Physical Description: | 1 online resource (1 volume) |
| ISBN: | 1417549718 9781417549719 9780125105811 0125105819 9780080475929 0080475922 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV045341129 | ||
| 003 | DE-604 | ||
| 005 | 20200306 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 181206s2005 |||| o||u| ||||||eng d | ||
| 020 | |a 1417549718 |9 1-4175-4971-8 | ||
| 020 | |a 9781417549719 |9 978-1-4175-4971-9 | ||
| 020 | |a 9780125105811 |9 978-0-12-510581-1 | ||
| 020 | |a 0125105819 |9 0-12-510581-9 | ||
| 020 | |a 9780080475929 |9 978-0-08-047592-9 | ||
| 020 | |a 0080475922 |9 0-08-047592-2 | ||
| 035 | |a (ZDB-4-ENC)ocm56837419 | ||
| 035 | |a (OCoLC)56837419 | ||
| 035 | |a (DE-599)BVBBV045341129 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 082 | 0 | |a 621.395 |2 22 | |
| 100 | 1 | |a Munden, Richard |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a ASIC and FPGA verification |b a guide to component modeling |c Richard Munden |
| 264 | 1 | |a San Francisco, Calif. |b Morgan Kaufmann |c 2005 | |
| 300 | |a 1 online resource (1 volume) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 490 | 0 | |a Morgan Kaufmann series in systems on silicon | |
| 500 | |a Includes index | ||
| 500 | |a Print version record | ||
| 505 | 8 | |a Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate verification of todays digital designs. ASIC and FPGA Verification: A Guide to Component Modeling expertly illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system. It is a valuable resource for any designer who simulates multi-chip digital designs. *Provides numerous models and a clearly defined methodology for performing board-level simulation. *Covers the details of modeling for verification of both logic and timing. *First book to collect and teach techniques for using VHDL to model "off-the-shelf" or "IP" digital components for use in FPGA and board-level design verification | |
| 650 | 4 | |a Circuits integres a la demande | |
| 650 | 4 | |a Reseaux logiques programmables par l'utilisateur | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic |2 bisacsh | |
| 650 | 7 | |a COMPUTERS / Logic Design |2 bisacsh | |
| 650 | 7 | |a Application specific integrated circuits |2 cct | |
| 650 | 7 | |a Application-specific integrated circuits |2 fast | |
| 650 | 4 | |a Application-specific integrated circuits | |
| 650 | 0 | 7 | |a Verifikation |0 (DE-588)4135577-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Hierarchische Simulation |0 (DE-588)4426470-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Field programmable gate array |0 (DE-588)4347749-5 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Digitalelektronik |0 (DE-588)4260328-6 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Kundenspezifische Schaltung |0 (DE-588)4122250-7 |2 gnd |9 rswk-swf |
| 650 | 0 | 7 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |2 gnd |9 rswk-swf |
| 689 | 0 | 0 | |a Kundenspezifische Schaltung |0 (DE-588)4122250-7 |D s |
| 689 | 0 | 1 | |a Field programmable gate array |0 (DE-588)4347749-5 |D s |
| 689 | 0 | 2 | |a Hierarchische Simulation |0 (DE-588)4426470-7 |D s |
| 689 | 0 | |8 1\p |5 DE-604 | |
| 689 | 1 | 0 | |a Digitalelektronik |0 (DE-588)4260328-6 |D s |
| 689 | 1 | 1 | |a Integrierte Schaltung |0 (DE-588)4027242-4 |D s |
| 689 | 1 | 2 | |a Verifikation |0 (DE-588)4135577-5 |D s |
| 689 | 1 | |8 2\p |5 DE-604 | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druck-Ausgabe |a Munden, Richard |t ASIC and FPGA verification |d San Francisco, Calif. : Morgan Kaufmann, 2005 |z 0125105819 |
| 912 | |a ZDB-4-ENC | ||
| 999 | |a oai:aleph.bib-bvb.de:BVB01-030727833 | ||
| 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 | |
Record in the Search Index
| _version_ | 1804179157496627200 |
|---|---|
| any_adam_object | |
| author | Munden, Richard |
| author_facet | Munden, Richard |
| author_role | aut |
| author_sort | Munden, Richard |
| author_variant | r m rm |
| building | Verbundindex |
| bvnumber | BV045341129 |
| collection | ZDB-4-ENC |
| contents | Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate verification of todays digital designs. ASIC and FPGA Verification: A Guide to Component Modeling expertly illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system. It is a valuable resource for any designer who simulates multi-chip digital designs. *Provides numerous models and a clearly defined methodology for performing board-level simulation. *Covers the details of modeling for verification of both logic and timing. *First book to collect and teach techniques for using VHDL to model "off-the-shelf" or "IP" digital components for use in FPGA and board-level design verification |
| ctrlnum | (ZDB-4-ENC)ocm56837419 (OCoLC)56837419 (DE-599)BVBBV045341129 |
| dewey-full | 621.395 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.395 |
| dewey-search | 621.395 |
| dewey-sort | 3621.395 |
| 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>03822nmm a2200685zc 4500</leader><controlfield tag="001">BV045341129</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20200306 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">181206s2005 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1417549718</subfield><subfield code="9">1-4175-4971-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781417549719</subfield><subfield code="9">978-1-4175-4971-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780125105811</subfield><subfield code="9">978-0-12-510581-1</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0125105819</subfield><subfield code="9">0-12-510581-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080475929</subfield><subfield code="9">978-0-08-047592-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080475922</subfield><subfield code="9">0-08-047592-2</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-4-ENC)ocm56837419</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)56837419</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV045341129</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">DE-604</subfield><subfield code="b">ger</subfield><subfield code="e">rda</subfield></datafield><datafield tag="041" ind1="0" ind2=" "><subfield code="a">eng</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.395</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Munden, Richard</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">ASIC and FPGA verification</subfield><subfield code="b">a guide to component modeling</subfield><subfield code="c">Richard Munden</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">San Francisco, Calif.</subfield><subfield code="b">Morgan Kaufmann</subfield><subfield code="c">2005</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (1 volume)</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">Morgan Kaufmann series in systems on silicon</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Print version record</subfield></datafield><datafield tag="505" ind1="8" ind2=" "><subfield code="a">Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate verification of todays digital designs. ASIC and FPGA Verification: A Guide to Component Modeling expertly illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system. It is a valuable resource for any designer who simulates multi-chip digital designs. *Provides numerous models and a clearly defined methodology for performing board-level simulation. *Covers the details of modeling for verification of both logic and timing. *First book to collect and teach techniques for using VHDL to model "off-the-shelf" or "IP" digital components for use in FPGA and board-level design verification</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits integres a la demande</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Reseaux logiques programmables par l'utilisateur</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">COMPUTERS / Logic Design</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Application specific integrated circuits</subfield><subfield code="2">cct</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Application-specific integrated circuits</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Application-specific integrated circuits</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">Hierarchische Simulation</subfield><subfield code="0">(DE-588)4426470-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Field programmable gate array</subfield><subfield code="0">(DE-588)4347749-5</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Digitalelektronik</subfield><subfield code="0">(DE-588)4260328-6</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Kundenspezifische Schaltung</subfield><subfield code="0">(DE-588)4122250-7</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="650" ind1="0" ind2="7"><subfield code="a">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="2">gnd</subfield><subfield code="9">rswk-swf</subfield></datafield><datafield tag="689" ind1="0" ind2="0"><subfield code="a">Kundenspezifische Schaltung</subfield><subfield code="0">(DE-588)4122250-7</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="1"><subfield code="a">Field programmable gate array</subfield><subfield code="0">(DE-588)4347749-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="0" ind2="2"><subfield code="a">Hierarchische Simulation</subfield><subfield code="0">(DE-588)4426470-7</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="689" ind1="1" ind2="0"><subfield code="a">Digitalelektronik</subfield><subfield code="0">(DE-588)4260328-6</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="1"><subfield code="a">Integrierte Schaltung</subfield><subfield code="0">(DE-588)4027242-4</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2="2"><subfield code="a">Verifikation</subfield><subfield code="0">(DE-588)4135577-5</subfield><subfield code="D">s</subfield></datafield><datafield tag="689" ind1="1" ind2=" "><subfield code="8">2\p</subfield><subfield code="5">DE-604</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druck-Ausgabe</subfield><subfield code="a">Munden, Richard</subfield><subfield code="t">ASIC and FPGA verification</subfield><subfield code="d">San Francisco, Calif. : Morgan Kaufmann, 2005</subfield><subfield code="z">0125105819</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-ENC</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-030727833</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></record></collection> |
| id | DE-604.BV045341129 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T08:15:24Z |
| institution | BVB |
| isbn | 1417549718 9781417549719 9780125105811 0125105819 9780080475929 0080475922 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-030727833 |
| oclc_num | 56837419 |
| open_access_boolean | |
| physical | 1 online resource (1 volume) |
| psigel | ZDB-4-ENC |
| publishDate | 2005 |
| publishDateSearch | 2005 |
| publishDateSort | 2005 |
| publisher | Morgan Kaufmann |
| record_format | marc |
| series2 | Morgan Kaufmann series in systems on silicon |
| spelling | Munden, Richard Verfasser aut ASIC and FPGA verification a guide to component modeling Richard Munden San Francisco, Calif. Morgan Kaufmann 2005 1 online resource (1 volume) txt rdacontent c rdamedia cr rdacarrier Morgan Kaufmann series in systems on silicon Includes index Print version record Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate verification of todays digital designs. ASIC and FPGA Verification: A Guide to Component Modeling expertly illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system. It is a valuable resource for any designer who simulates multi-chip digital designs. *Provides numerous models and a clearly defined methodology for performing board-level simulation. *Covers the details of modeling for verification of both logic and timing. *First book to collect and teach techniques for using VHDL to model "off-the-shelf" or "IP" digital components for use in FPGA and board-level design verification Circuits integres a la demande Reseaux logiques programmables par l'utilisateur TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI. bisacsh TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic bisacsh COMPUTERS / Logic Design bisacsh Application specific integrated circuits cct Application-specific integrated circuits fast Application-specific integrated circuits Verifikation (DE-588)4135577-5 gnd rswk-swf Hierarchische Simulation (DE-588)4426470-7 gnd rswk-swf Field programmable gate array (DE-588)4347749-5 gnd rswk-swf Digitalelektronik (DE-588)4260328-6 gnd rswk-swf Kundenspezifische Schaltung (DE-588)4122250-7 gnd rswk-swf Integrierte Schaltung (DE-588)4027242-4 gnd rswk-swf Kundenspezifische Schaltung (DE-588)4122250-7 s Field programmable gate array (DE-588)4347749-5 s Hierarchische Simulation (DE-588)4426470-7 s 1\p DE-604 Digitalelektronik (DE-588)4260328-6 s Integrierte Schaltung (DE-588)4027242-4 s Verifikation (DE-588)4135577-5 s 2\p DE-604 Erscheint auch als Druck-Ausgabe Munden, Richard ASIC and FPGA verification San Francisco, Calif. : Morgan Kaufmann, 2005 0125105819 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 |
| spellingShingle | Munden, Richard ASIC and FPGA verification a guide to component modeling Richard Munden demonstrates how to create and use simulation models for verifying ASIC and FPGA designs and board-level designs that use off-the-shelf digital components. Based on the VHDL/VITAL standard, these models include timing constraints and propagation delays that are required for accurate verification of todays digital designs. ASIC and FPGA Verification: A Guide to Component Modeling expertly illustrates how ASICs and FPGAs can be verified in the larger context of a board or a system. It is a valuable resource for any designer who simulates multi-chip digital designs. *Provides numerous models and a clearly defined methodology for performing board-level simulation. *Covers the details of modeling for verification of both logic and timing. *First book to collect and teach techniques for using VHDL to model "off-the-shelf" or "IP" digital components for use in FPGA and board-level design verification Circuits integres a la demande Reseaux logiques programmables par l'utilisateur TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI. bisacsh TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic bisacsh COMPUTERS / Logic Design bisacsh Application specific integrated circuits cct Application-specific integrated circuits fast Application-specific integrated circuits Verifikation (DE-588)4135577-5 gnd Hierarchische Simulation (DE-588)4426470-7 gnd Field programmable gate array (DE-588)4347749-5 gnd Digitalelektronik (DE-588)4260328-6 gnd Kundenspezifische Schaltung (DE-588)4122250-7 gnd Integrierte Schaltung (DE-588)4027242-4 gnd |
| subject_GND | (DE-588)4135577-5 (DE-588)4426470-7 (DE-588)4347749-5 (DE-588)4260328-6 (DE-588)4122250-7 (DE-588)4027242-4 |
| title | ASIC and FPGA verification a guide to component modeling |
| title_auth | ASIC and FPGA verification a guide to component modeling |
| title_exact_search | ASIC and FPGA verification a guide to component modeling |
| title_full | ASIC and FPGA verification a guide to component modeling Richard Munden |
| title_fullStr | ASIC and FPGA verification a guide to component modeling Richard Munden |
| title_full_unstemmed | ASIC and FPGA verification a guide to component modeling Richard Munden |
| title_short | ASIC and FPGA verification |
| title_sort | asic and fpga verification a guide to component modeling |
| title_sub | a guide to component modeling |
| topic | Circuits integres a la demande Reseaux logiques programmables par l'utilisateur TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI. bisacsh TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic bisacsh COMPUTERS / Logic Design bisacsh Application specific integrated circuits cct Application-specific integrated circuits fast Application-specific integrated circuits Verifikation (DE-588)4135577-5 gnd Hierarchische Simulation (DE-588)4426470-7 gnd Field programmable gate array (DE-588)4347749-5 gnd Digitalelektronik (DE-588)4260328-6 gnd Kundenspezifische Schaltung (DE-588)4122250-7 gnd Integrierte Schaltung (DE-588)4027242-4 gnd |
| topic_facet | Circuits integres a la demande Reseaux logiques programmables par l'utilisateur TECHNOLOGY & ENGINEERING / Electronics / Circuits / VLSI & ULSI. TECHNOLOGY & ENGINEERING / Electronics / Circuits / Logic COMPUTERS / Logic Design Application specific integrated circuits Application-specific integrated circuits Verifikation Hierarchische Simulation Field programmable gate array Digitalelektronik Kundenspezifische Schaltung Integrierte Schaltung |
| work_keys_str_mv | AT mundenrichard asicandfpgaverificationaguidetocomponentmodeling |