Principles of functional verification /:
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...
Gespeichert in:
| 1. Verfasser: | |
|---|---|
| Format: | Elektronisch E-Book |
| Sprache: | English |
| Veröffentlicht: |
Amsterdam ; Boston :
Newnes,
2003.
©2003 |
| Schlagworte: | |
| Online-Zugang: | Volltext Volltext |
| Zusammenfassung: | 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 resource (x, 206 pages) : illustrations |
| ISBN: | 9780750676175 0750676175 9780080469942 0080469949 1280964308 9781280964305 9786610964307 6610964300 |
Internformat
MARC
| LEADER | 00000cam a2200000 a 4500 | ||
|---|---|---|---|
| 001 | ZDB-4-EBA-ocn162592426 | ||
| 003 | OCoLC | ||
| 005 | 20241004212047.0 | ||
| 006 | m o d | ||
| 007 | cr cn||||||||| | ||
| 008 | 070806s2003 ne a o 001 0 eng d | ||
| 040 | |a OPELS |b eng |e pn |c OPELS |d OCLCG |d OCLCQ |d N$T |d YDXCP |d IDEBK |d E7B |d DEBBG |d MERUC |d OCLCO |d OCLCF |d OCLCQ |d AGLDB |d OCLCQ |d STF |d D6H |d OCLCQ |d VTS |d CEF |d OCLCQ |d G3B |d LEAUB |d M8D |d VLY |d OCLCQ |d OCLCO |d OCLCQ |d INARC |d OCLCO |d OCLCQ |d OCLCL |d SXB |d OCLCQ | ||
| 019 | |a 123306140 |a 154712673 |a 648163008 |a 823858779 |a 823929071 |a 824117673 |a 824171438 |a 856960913 |a 1035656366 |a 1162024426 |a 1241927453 |a 1300648269 | ||
| 020 | |a 9780750676175 | ||
| 020 | |a 0750676175 | ||
| 020 | |a 9780080469942 |q (electronic bk.) | ||
| 020 | |a 0080469949 |q (electronic bk.) | ||
| 020 | |a 1280964308 | ||
| 020 | |a 9781280964305 | ||
| 020 | |a 9786610964307 | ||
| 020 | |a 6610964300 | ||
| 035 | |a (OCoLC)162592426 |z (OCoLC)123306140 |z (OCoLC)154712673 |z (OCoLC)648163008 |z (OCoLC)823858779 |z (OCoLC)823929071 |z (OCoLC)824117673 |z (OCoLC)824171438 |z (OCoLC)856960913 |z (OCoLC)1035656366 |z (OCoLC)1162024426 |z (OCoLC)1241927453 |z (OCoLC)1300648269 | ||
| 037 | |a 94400:94399 |b Elsevier Science & Technology |n http://www.sciencedirect.com | ||
| 050 | 4 | |a TK7885.7 |b .M49 2003eb | |
| 072 | 7 | |a TEC |x 008020 |2 bisacsh | |
| 072 | 7 | |a TEC |x 008010 |2 bisacsh | |
| 072 | 7 | |a TJF |2 bicssc | |
| 082 | 7 | |a 621.3815/48 |2 22 | |
| 049 | |a MAIN | ||
| 100 | 1 | |a Meyer, Andreas |q (Andreas S.) |1 https://id.oclc.org/worldcat/entity/E39PCjHPBFTMrRvPDkTpPW9Q4q |0 http://id.loc.gov/authorities/names/n2004006835 | |
| 245 | 1 | 0 | |a Principles of functional verification / |c Andreas Meyer. |
| 260 | |a Amsterdam ; |a Boston : |b Newnes, |c 2003. | ||
| 264 | 4 | |c ©2003 | |
| 300 | |a 1 online resource (x, 206 pages) : |b illustrations | ||
| 336 | |a text |b txt |2 rdacontent | ||
| 337 | |a computer |b c |2 rdamedia | ||
| 338 | |a online resource |b cr |2 rdacarrier | ||
| 520 | |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 | ||
| 505 | 0 | |a Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems. | |
| 588 | 0 | |a Print version record. | |
| 546 | |a English. | ||
| 650 | 0 | |a Integrated circuits |x Verification. |0 http://id.loc.gov/authorities/subjects/sh93005422 | |
| 650 | 6 | |a Circuits intégrés |x Vérification. | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x Integrated. |2 bisacsh | |
| 650 | 7 | |a TECHNOLOGY & ENGINEERING |x Electronics |x Circuits |x General. |2 bisacsh | |
| 650 | 7 | |a Integrated circuits |x Verification |2 fast | |
| 758 | |i has work: |a Principles of functional verification (Text) |1 https://id.oclc.org/worldcat/entity/E39PCGtv4wvhpy998w9Hh6fjG3 |4 https://id.oclc.org/worldcat/ontology/hasWork | ||
| 776 | 0 | 8 | |i Print version: |a Meyer, Andreas (Andreas S.). |t Principles of functional verification. |d Amsterdam ; Boston : Newnes, 2003 |z 0750676175 |z 9780750676175 |w (DLC) 2003056421 |w (OCoLC)52477339 |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=104792 |3 Volltext |
| 856 | 4 | 0 | |l FWS01 |p ZDB-4-EBA |q FWS_PDA_EBA |u https://www.sciencedirect.com/science/book/9780750676175 |3 Volltext |
| 938 | |a Internet Archive |b INAR |n principlesoffunc0000meye | ||
| 938 | |a ebrary |b EBRY |n ebr10166951 | ||
| 938 | |a EBSCOhost |b EBSC |n 104792 | ||
| 938 | |a ProQuest MyiLibrary Digital eBook Collection |b IDEB |n 96430 | ||
| 938 | |a YBP Library Services |b YANK |n 2555040 | ||
| 994 | |a 92 |b GEBAY | ||
| 912 | |a ZDB-4-EBA | ||
| 049 | |a DE-863 | ||
Datensatz im Suchindex
| DE-BY-FWS_katkey | ZDB-4-EBA-ocn162592426 |
|---|---|
| _version_ | 1816881652484276224 |
| adam_text | |
| any_adam_object | |
| author | Meyer, Andreas (Andreas S.) |
| author_GND | http://id.loc.gov/authorities/names/n2004006835 |
| author_facet | Meyer, Andreas (Andreas S.) |
| author_role | |
| author_sort | Meyer, Andreas |
| author_variant | a m am |
| building | Verbundindex |
| bvnumber | localFWS |
| callnumber-first | T - Technology |
| callnumber-label | TK7885 |
| callnumber-raw | TK7885.7 .M49 2003eb |
| callnumber-search | TK7885.7 .M49 2003eb |
| callnumber-sort | TK 47885.7 M49 42003EB |
| callnumber-subject | TK - Electrical and Nuclear Engineering |
| collection | ZDB-4-EBA |
| contents | Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems. |
| ctrlnum | (OCoLC)162592426 |
| 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>05355cam a2200637 a 4500</leader><controlfield tag="001">ZDB-4-EBA-ocn162592426</controlfield><controlfield tag="003">OCoLC</controlfield><controlfield tag="005">20241004212047.0</controlfield><controlfield tag="006">m o d </controlfield><controlfield tag="007">cr cn|||||||||</controlfield><controlfield tag="008">070806s2003 ne a o 001 0 eng d</controlfield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">OPELS</subfield><subfield code="b">eng</subfield><subfield code="e">pn</subfield><subfield code="c">OPELS</subfield><subfield code="d">OCLCG</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">N$T</subfield><subfield code="d">YDXCP</subfield><subfield code="d">IDEBK</subfield><subfield code="d">E7B</subfield><subfield code="d">DEBBG</subfield><subfield code="d">MERUC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">AGLDB</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">STF</subfield><subfield code="d">D6H</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">VTS</subfield><subfield code="d">CEF</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">G3B</subfield><subfield code="d">LEAUB</subfield><subfield code="d">M8D</subfield><subfield code="d">VLY</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">INARC</subfield><subfield code="d">OCLCO</subfield><subfield code="d">OCLCQ</subfield><subfield code="d">OCLCL</subfield><subfield code="d">SXB</subfield><subfield code="d">OCLCQ</subfield></datafield><datafield tag="019" ind1=" " ind2=" "><subfield code="a">123306140</subfield><subfield code="a">154712673</subfield><subfield code="a">648163008</subfield><subfield code="a">823858779</subfield><subfield code="a">823929071</subfield><subfield code="a">824117673</subfield><subfield code="a">824171438</subfield><subfield code="a">856960913</subfield><subfield code="a">1035656366</subfield><subfield code="a">1162024426</subfield><subfield code="a">1241927453</subfield><subfield code="a">1300648269</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780750676175</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0750676175</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9780080469942</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">0080469949</subfield><subfield code="q">(electronic bk.)</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">1280964308</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9781280964305</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9786610964307</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">6610964300</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)162592426</subfield><subfield code="z">(OCoLC)123306140</subfield><subfield code="z">(OCoLC)154712673</subfield><subfield code="z">(OCoLC)648163008</subfield><subfield code="z">(OCoLC)823858779</subfield><subfield code="z">(OCoLC)823929071</subfield><subfield code="z">(OCoLC)824117673</subfield><subfield code="z">(OCoLC)824171438</subfield><subfield code="z">(OCoLC)856960913</subfield><subfield code="z">(OCoLC)1035656366</subfield><subfield code="z">(OCoLC)1162024426</subfield><subfield code="z">(OCoLC)1241927453</subfield><subfield code="z">(OCoLC)1300648269</subfield></datafield><datafield tag="037" ind1=" " ind2=" "><subfield code="a">94400:94399</subfield><subfield code="b">Elsevier Science & Technology</subfield><subfield code="n">http://www.sciencedirect.com</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7885.7</subfield><subfield code="b">.M49 2003eb</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TEC</subfield><subfield code="x">008020</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TEC</subfield><subfield code="x">008010</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="072" ind1=" " ind2="7"><subfield code="a">TJF</subfield><subfield code="2">bicssc</subfield></datafield><datafield tag="082" ind1="7" ind2=" "><subfield code="a">621.3815/48</subfield><subfield code="2">22</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">MAIN</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Meyer, Andreas</subfield><subfield code="q">(Andreas S.)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCjHPBFTMrRvPDkTpPW9Q4q</subfield><subfield code="0">http://id.loc.gov/authorities/names/n2004006835</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="260" ind1=" " ind2=" "><subfield code="a">Amsterdam ;</subfield><subfield code="a">Boston :</subfield><subfield code="b">Newnes,</subfield><subfield code="c">2003.</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">©2003</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 online resource (x, 206 pages) :</subfield><subfield code="b">illustrations</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="b">txt</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="b">c</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="b">cr</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="520" 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="505" ind1="0" ind2=" "><subfield code="a">Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems.</subfield></datafield><datafield tag="588" ind1="0" ind2=" "><subfield code="a">Print version record.</subfield></datafield><datafield tag="546" ind1=" " ind2=" "><subfield code="a">English.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification.</subfield><subfield code="0">http://id.loc.gov/authorities/subjects/sh93005422</subfield></datafield><datafield tag="650" ind1=" " ind2="6"><subfield code="a">Circuits intégrés</subfield><subfield code="x">Vérification.</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING</subfield><subfield code="x">Electronics</subfield><subfield code="x">Circuits</subfield><subfield code="x">Integrated.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">TECHNOLOGY & ENGINEERING</subfield><subfield code="x">Electronics</subfield><subfield code="x">Circuits</subfield><subfield code="x">General.</subfield><subfield code="2">bisacsh</subfield></datafield><datafield tag="650" ind1=" " ind2="7"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification</subfield><subfield code="2">fast</subfield></datafield><datafield tag="758" ind1=" " ind2=" "><subfield code="i">has work:</subfield><subfield code="a">Principles of functional verification (Text)</subfield><subfield code="1">https://id.oclc.org/worldcat/entity/E39PCGtv4wvhpy998w9Hh6fjG3</subfield><subfield code="4">https://id.oclc.org/worldcat/ontology/hasWork</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Meyer, Andreas (Andreas S.).</subfield><subfield code="t">Principles of functional verification.</subfield><subfield code="d">Amsterdam ; Boston : Newnes, 2003</subfield><subfield code="z">0750676175</subfield><subfield code="z">9780750676175</subfield><subfield code="w">(DLC) 2003056421</subfield><subfield code="w">(OCoLC)52477339</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=104792</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="l">FWS01</subfield><subfield code="p">ZDB-4-EBA</subfield><subfield code="q">FWS_PDA_EBA</subfield><subfield code="u">https://www.sciencedirect.com/science/book/9780750676175</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">Internet Archive</subfield><subfield code="b">INAR</subfield><subfield code="n">principlesoffunc0000meye</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ebrary</subfield><subfield code="b">EBRY</subfield><subfield code="n">ebr10166951</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">EBSCOhost</subfield><subfield code="b">EBSC</subfield><subfield code="n">104792</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">ProQuest MyiLibrary Digital eBook Collection</subfield><subfield code="b">IDEB</subfield><subfield code="n">96430</subfield></datafield><datafield tag="938" ind1=" " ind2=" "><subfield code="a">YBP Library Services</subfield><subfield code="b">YANK</subfield><subfield code="n">2555040</subfield></datafield><datafield tag="994" ind1=" " ind2=" "><subfield code="a">92</subfield><subfield code="b">GEBAY</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-4-EBA</subfield></datafield><datafield tag="049" ind1=" " ind2=" "><subfield code="a">DE-863</subfield></datafield></record></collection> |
| id | ZDB-4-EBA-ocn162592426 |
| illustrated | Illustrated |
| indexdate | 2024-11-27T13:16:07Z |
| institution | BVB |
| isbn | 9780750676175 0750676175 9780080469942 0080469949 1280964308 9781280964305 9786610964307 6610964300 |
| language | English |
| oclc_num | 162592426 |
| open_access_boolean | |
| owner | MAIN DE-863 DE-BY-FWS |
| owner_facet | MAIN DE-863 DE-BY-FWS |
| physical | 1 online resource (x, 206 pages) : illustrations |
| psigel | ZDB-4-EBA |
| publishDate | 2003 |
| publishDateSearch | 2003 |
| publishDateSort | 2003 |
| publisher | Newnes, |
| record_format | marc |
| spelling | Meyer, Andreas (Andreas S.) https://id.oclc.org/worldcat/entity/E39PCjHPBFTMrRvPDkTpPW9Q4q http://id.loc.gov/authorities/names/n2004006835 Principles of functional verification / Andreas Meyer. Amsterdam ; Boston : Newnes, 2003. ©2003 1 online resource (x, 206 pages) : illustrations text txt rdacontent computer c rdamedia online resource 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 Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems. Print version record. English. Integrated circuits Verification. http://id.loc.gov/authorities/subjects/sh93005422 Circuits intégrés Vérification. TECHNOLOGY & ENGINEERING Electronics Circuits Integrated. bisacsh TECHNOLOGY & ENGINEERING Electronics Circuits General. bisacsh Integrated circuits Verification fast has work: Principles of functional verification (Text) https://id.oclc.org/worldcat/entity/E39PCGtv4wvhpy998w9Hh6fjG3 https://id.oclc.org/worldcat/ontology/hasWork Print version: Meyer, Andreas (Andreas S.). Principles of functional verification. Amsterdam ; Boston : Newnes, 2003 0750676175 9780750676175 (DLC) 2003056421 (OCoLC)52477339 FWS01 ZDB-4-EBA FWS_PDA_EBA https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=104792 Volltext FWS01 ZDB-4-EBA FWS_PDA_EBA https://www.sciencedirect.com/science/book/9780750676175 Volltext |
| spellingShingle | Meyer, Andreas (Andreas S.) Principles of functional verification / Part One: Why Functional Verification is Necessary; Definition and Goals; Architecture; A Look at What is Being Verified; Part Two: How Functional Verification Works; Determining the Validity of the Model; Verification Methods; Random Testing; Co-Simulation; Measuring Verification Quality; Verification Languages; Part Three: Application of Functional Verification; The Verification Plan; Projecting Costs; Summary: The Project; Verification Languages: Testbuilder, Vera, E; Other Project Verification Tools: Bug-tracking Systems; Other Project Verification Tools: Revision & Release Control Systems. Integrated circuits Verification. http://id.loc.gov/authorities/subjects/sh93005422 Circuits intégrés Vérification. TECHNOLOGY & ENGINEERING Electronics Circuits Integrated. bisacsh TECHNOLOGY & ENGINEERING Electronics Circuits General. bisacsh Integrated circuits Verification fast |
| subject_GND | http://id.loc.gov/authorities/subjects/sh93005422 |
| 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 | Integrated circuits Verification. http://id.loc.gov/authorities/subjects/sh93005422 Circuits intégrés Vérification. TECHNOLOGY & ENGINEERING Electronics Circuits Integrated. bisacsh TECHNOLOGY & ENGINEERING Electronics Circuits General. bisacsh Integrated circuits Verification fast |
| topic_facet | Integrated circuits Verification. Circuits intégrés Vérification. TECHNOLOGY & ENGINEERING Electronics Circuits Integrated. TECHNOLOGY & ENGINEERING Electronics Circuits General. Integrated circuits Verification |
| url | https://search.ebscohost.com/login.aspx?direct=true&scope=site&db=nlebk&AN=104792 https://www.sciencedirect.com/science/book/9780750676175 |
| work_keys_str_mv | AT meyerandreas principlesoffunctionalverification |