Principles of functional verification:
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam
Newnes
2003
|
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Beschreibung: | As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification. In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. * Takes a "holistic" approach to verification issues * Approach is not restricted to one language * Discussed the verification process, not just how to use the verification language |
| Beschreibung: | 1 Online-Ressource (x, 206 p.) |
| ISBN: | 9780750676175 0750676175 9780080469942 0080469949 1280964308 9781280964305 |
Internformat
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV042315985 | ||
| 003 | DE-604 | ||
| 005 | 00000000000000.0 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 150129s2003 |||| o||u| ||||||eng d | ||
| 020 | |a 9780750676175 |9 978-0-7506-7617-5 | ||
| 020 | |a 0750676175 |9 0-7506-7617-5 | ||
| 020 | |a 9780080469942 |c electronic bk. |9 978-0-08-046994-2 | ||
| 020 | |a 0080469949 |c electronic bk. |9 0-08-046994-9 | ||
| 020 | |a 1280964308 |9 1-280-96430-8 | ||
| 020 | |a 9781280964305 |9 978-1-280-96430-5 | ||
| 035 | |a (ZDB-33-EBS)ocn162592426 | ||
| 035 | |a (OCoLC)162592426 | ||
| 035 | |a (DE-599)BVBBV042315985 | ||
| 040 | |a DE-604 |b ger |e aacr | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-1046 | ||
| 082 | 0 | |a 621.3815/48 |2 22 | |
| 100 | 1 | |a Meyer, Andreas, (Andreas S.) |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a Principles of functional verification |c Andreas Meyer |
| 264 | 1 | |a Amsterdam |b Newnes |c 2003 | |
| 300 | |a 1 Online-Ressource (x, 206 p.) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 500 | |a As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification. In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. * Takes a "holistic" approach to verification issues * Approach is not restricted to one language * Discussed the verification process, not just how to use the verification language | ||
| 650 | 7 | |a TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING / Electronics / Circuits / General |2 bisacsh | |
| 650 | 7 | |a Integrated circuits / Verification |2 fast | |
| 650 | 4 | |a Integrated circuits |x Verification | |
| 856 | 4 | 0 | |u http://www.sciencedirect.com/science/book/9780750676175 |x Verlag |3 Volltext |
| 912 | |a ZDB-33-ESD |a ZDB-33-EBS | ||
| 940 | 1 | |q FAW_PDA_ESD | |
| 940 | 1 | |q FLA_PDA_ESD | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-027752976 | ||
Datensatz im Suchindex
| _version_ | 1804152910804680704 |
|---|---|
| any_adam_object | |
| author | Meyer, Andreas, (Andreas S.) |
| author_facet | Meyer, Andreas, (Andreas S.) |
| author_role | aut |
| author_sort | Meyer, Andreas, (Andreas S.) |
| author_variant | a a s m aas aasm |
| building | Verbundindex |
| bvnumber | BV042315985 |
| collection | ZDB-33-ESD ZDB-33-EBS |
| ctrlnum | (ZDB-33-EBS)ocn162592426 (OCoLC)162592426 (DE-599)BVBBV042315985 |
| dewey-full | 621.3815/48 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815/48 |
| dewey-search | 621.3815/48 |
| dewey-sort | 3621.3815 248 |
| 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>03074nmm a2200445zc 4500</leader><controlfield tag="001">BV042315985</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">00000000000000.0</controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">150129s2003 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780750676175</subfield><subfield code="9">978-0-7506-7617-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0750676175</subfield><subfield code="9">0-7506-7617-5</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080469942</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">978-0-08-046994-2</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080469949</subfield><subfield code="c">electronic bk.</subfield><subfield code="9">0-08-046994-9</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280964308</subfield><subfield code="9">1-280-96430-8</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280964305</subfield><subfield code="9">978-1-280-96430-5</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-33-EBS)ocn162592426</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162592426</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV042315985</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.3815/48</subfield><subfield code="2">22</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meyer, Andreas, (Andreas S.)</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">Principles of functional verification</subfield><subfield code="c">Andreas Meyer</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">Amsterdam</subfield><subfield code="b">Newnes</subfield><subfield code="c">2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (x, 206 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="500" ind1=" " ind2=" "><subfield code="a">As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification. In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. * Takes a "holistic" approach to verification issues * Approach is not restricted to one language * Discussed the verification process, not just how to use the verification language</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING / Electronics / Circuits / General</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Integrated circuits / Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">http://www.sciencedirect.com/science/book/9780750676175</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-33-ESD</subfield><subfield code="a">ZDB-33-EBS</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FAW_PDA_ESD</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">FLA_PDA_ESD</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-027752976</subfield></datafield></record></collection> |
| id | DE-604.BV042315985 |
| illustrated | Not Illustrated |
| indexdate | 2024-07-10T01:18:13Z |
| institution | BVB |
| isbn | 9780750676175 0750676175 9780080469942 0080469949 1280964308 9781280964305 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-027752976 |
| oclc_num | 162592426 |
| open_access_boolean | |
| owner | DE-1046 |
| owner_facet | DE-1046 |
| physical | 1 Online-Ressource (x, 206 p.) |
| psigel | ZDB-33-ESD ZDB-33-EBS FAW_PDA_ESD FLA_PDA_ESD |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Newnes |
| record_format | marc |
| spelling | Meyer, Andreas, (Andreas S.) Verfasser aut Principles of functional verification Andreas Meyer Amsterdam Newnes 2003 1 Online-Ressource (x, 206 p.) txt rdacontent c rdamedia cr rdacarrier As design complexity in chips and devices continues to rise, so, too, does the demand for functional verification. Principles of Functional Verification is a hands-on, practical text that will help train professionals in the field of engineering on the methodology and approaches to verification. In practice, the architectural intent of a device is necessarily abstract. The implementation process, however, must define the detailed mechanisms to achieve the architectural goals. Based on a decade of experience, Principles of Functional Verification intends to pinpoint the issues, provide strategies to solve the issues, and present practical applications for narrowing the gap between architectural intent and implementation. The book is divided into three parts, each building upon the chapters within the previous part. Part One addresses why functional verification is necessary, its definition and goals. In Part Two, the heart of the methodology and approaches to solving verification issues are examined. Each chapter in this part ends with exercises to apply what was discussed in the chapter. Part Three looks at practical applications, discussing project planning, resource requirements, and costs. Each chapter throughout all three parts will open with Key Objectives, focal points the reader can expect to review in the chapter. * Takes a "holistic" approach to verification issues * Approach is not restricted to one language * Discussed the verification process, not just how to use the verification language TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated bisacsh TECHNOLOGY & ENGINEERING / Electronics / Circuits / General bisacsh Integrated circuits / Verification fast Integrated circuits Verification http://www.sciencedirect.com/science/book/9780750676175 Verlag Volltext |
| spellingShingle | Meyer, Andreas, (Andreas S.) Principles of functional verification TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated bisacsh TECHNOLOGY & ENGINEERING / Electronics / Circuits / General bisacsh Integrated circuits / Verification fast Integrated circuits Verification |
| title | Principles of functional verification |
| title_auth | Principles of functional verification |
| title_exact_search | Principles of functional verification |
| title_full | Principles of functional verification Andreas Meyer |
| title_fullStr | Principles of functional verification Andreas Meyer |
| title_full_unstemmed | Principles of functional verification Andreas Meyer |
| title_short | Principles of functional verification |
| title_sort | principles of functional verification |
| topic | TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated bisacsh TECHNOLOGY & ENGINEERING / Electronics / Circuits / General bisacsh Integrated circuits / Verification fast Integrated circuits Verification |
| topic_facet | TECHNOLOGY & ENGINEERING / Electronics / Circuits / Integrated TECHNOLOGY & ENGINEERING / Electronics / Circuits / General Integrated circuits / Verification Integrated circuits Verification |
| url | http://www.sciencedirect.com/science/book/9780750676175 |
| work_keys_str_mv | AT meyerandreasandreass principlesoffunctionalverification |