SystemVerilog assertions and functional coverage: guide to language, methodology and applications
Saved in:
| Main Author: | |
|---|---|
| Format: | Electronic eBook |
| Language: | English |
| Published: |
[Cham]
Springer International Publishing
[2016]
|
| Edition: | Second edition |
| Subjects: | |
| Online Access: | BTU01 FAB01 FAW01 FHA01 FHI01 FHN01 FHR01 FKE01 FRO01 FWS01 FWS02 UBY01 Volltext Inhaltsverzeichnis Abstract |
| Physical Description: | 1 Online-Ressource (xxxv, 406 p. 247 illus., 9 illus. in color) |
| ISBN: | 9783319305394 |
| DOI: | 10.1007/978-3-319-30539-4 |
Staff View
MARC
| LEADER | 00000nmm a2200000zc 4500 | ||
|---|---|---|---|
| 001 | BV043546520 | ||
| 003 | DE-604 | ||
| 005 | 20160603 | ||
| 007 | cr|uuu---uuuuu | ||
| 008 | 160510s2016 |||| o||u| ||||||eng d | ||
| 020 | |a 9783319305394 |c Online |9 978-3-319-30539-4 | ||
| 024 | 7 | |a 10.1007/978-3-319-30539-4 |2 doi | |
| 035 | |a (ZDB-2-ENG)978-3-319-30539-4 | ||
| 035 | |a (OCoLC)950944695 | ||
| 035 | |a (DE-599)BVBBV043546520 | ||
| 040 | |a DE-604 |b ger |e rda | ||
| 041 | 0 | |a eng | |
| 049 | |a DE-706 |a DE-1046 |a DE-1043 |a DE-Aug4 |a DE-898 |a DE-861 |a DE-573 |a DE-859 |a DE-863 |a DE-634 |a DE-862 |a DE-92 | ||
| 082 | 0 | |a 621.3815 |2 23 | |
| 100 | 1 | |a Mehta, Ashok B. |e Verfasser |4 aut | |
| 245 | 1 | 0 | |a SystemVerilog assertions and functional coverage |b guide to language, methodology and applications |c Ashok B. Mehta |
| 250 | |a Second edition | ||
| 264 | 1 | |a [Cham] |b Springer International Publishing |c [2016] | |
| 264 | 4 | |c © 2016 | |
| 300 | |a 1 Online-Ressource (xxxv, 406 p. 247 illus., 9 illus. in color) | ||
| 336 | |b txt |2 rdacontent | ||
| 337 | |b c |2 rdamedia | ||
| 338 | |b cr |2 rdacarrier | ||
| 650 | 4 | |a Engineering | |
| 650 | 4 | |a Microprocessors | |
| 650 | 4 | |a Electronics | |
| 650 | 4 | |a Microelectronics | |
| 650 | 4 | |a Electronic circuits | |
| 650 | 4 | |a Circuits and Systems | |
| 650 | 4 | |a Electronics and Microelectronics, Instrumentation | |
| 650 | 4 | |a Processor Architectures | |
| 650 | 4 | |a Ingenieurwissenschaften | |
| 776 | 0 | 8 | |i Erscheint auch als |n Druckausgabe |z 978-3-319-30538-7 |
| 856 | 4 | 0 | |u https://doi.org/10.1007/978-3-319-30539-4 |x Verlag |z URL des Erstveröffentlichers |3 Volltext |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961883&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA |3 Inhaltsverzeichnis |
| 856 | 4 | 2 | |m Springer Fremddatenuebernahme |q application/pdf |u http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961883&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |3 Abstract |
| 912 | |a ZDB-2-ENG | ||
| 940 | 1 | |q ZDB-2-ENG_2016 | |
| 999 | |a oai:aleph.bib-bvb.de:BVB01-028961883 | ||
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l BTU01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FAB01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FAW01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FHA01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FHI01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FHN01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FHR01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FKE01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FRO01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FWS01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l FWS02 |p ZDB-2-ENG |x Verlag |3 Volltext | |
| 966 | e | |u https://doi.org/10.1007/978-3-319-30539-4 |l UBY01 |p ZDB-2-ENG |x Verlag |3 Volltext | |
Record in the Search Index
| DE-BY-FWS_katkey | 617256 |
|---|---|
| _version_ | 1824554521537282048 |
| adam_text | SYSTEMVERILOG ASSERTIONS AND FUNCTIONAL COVERAGE
/ MEHTA, ASHOK B.
: 2016
TABLE OF CONTENTS / INHALTSVERZEICHNIS
INTRODUCTION
SYSTEM VERILOG ASSERTIONS
IMMEDIATE ASSERTIONS
CONCURRENT ASSERTIONS – BASICS (SEQUENCE, PROPERTY, ASSERT)
SAMPLED VALUE FUNCTIONS $ROSE, $FELL
OPERATORS
SYSTEM FUNCTIONS AND TASKS
MULTIPLE CLOCKS
LOCAL VARIABLES
RECURSIVE PROPERTY
DETECTING AND USING ENDPOINT OF A SEQUENCE
‘EXPECT’
‘ASSUME’ AND FORMAL (STATIC FUNCTIONAL) VERIFICATION
OTHER IMPORTANT TOPICS
ASYNCHRONOUS ASSERTIONS !!!
IEEE-1800–2009 FEATURES
SYSTEMVERILOG ASSERTIONS LABS
SYSTEM VERILOG ASSERTIONS – LAB ANSWERS
FUNCTIONAL COVERAGE
PERFORMANCE IMPLICATIONS OF COVERAGE METHODOLOGY
COVERAGE OPTIONS
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
SYSTEMVERILOG ASSERTIONS AND FUNCTIONAL COVERAGE
/ MEHTA, ASHOK B.
: 2016
ABSTRACT / INHALTSTEXT
THIS BOOK PROVIDES A HANDS-ON, APPLICATION-ORIENTED GUIDE TO THE
LANGUAGE AND METHODOLOGY OF BOTH SYSTEMVERILOG ASSERTIONS AND
SYSTEMVERILOG FUNCTIONAL COVERAGE. READERS WILL BENEFIT FROM THE
STEP-BY-STEP APPROACH TO FUNCTIONAL HARDWARE VERIFICATION USING
SYSTEMVERILOG ASSERTIONS AND FUNCTIONAL COVERAGE, WHICH WILL ENABLE THEM
TO UNCOVER HIDDEN AND HARD TO FIND BUGS, POINT DIRECTLY TO THE SOURCE OF
THE BUG, PROVIDE FOR A CLEAN AND EASY WAY TO MODEL COMPLEX TIMING CHECKS
AND OBJECTIVELY ANSWER THE QUESTION ‘HAVE WE FUNCTIONALLY VERIFIED
EVERYTHING’. WRITTEN BY A PROFESSIONAL END-USER OF ASIC/SOC/CPU AND
FPGA DESIGN AND VERIFICATION, THIS BOOK EXPLAINS EACH CONCEPT WITH EASY
TO UNDERSTAND EXAMPLES, SIMULATION LOGS AND APPLICATIONS DERIVED FROM
REAL PROJECTS. READERS WILL BE EMPOWERED TO TACKLE THE MODELING OF
COMPLEX CHECKERS FOR FUNCTIONAL VERIFICATION, THEREBY DRASTICALLY
REDUCING THEIR TIME TO DESIGN AND DEBUG. THIS UPDATED SECOND EDITION
ADDRESSES THE LATEST FUNCTIONAL SET RELEASED IN IEEE-1800 (2012) LRM,
INCLUDING NUMEROUS ADDITIONAL OPERATORS AND FEATURES. ADDITIONALLY, MANY
OF THE CONCURRENT ASSERTIONS/OPERATORS EXPLANATIONS ARE ENHANCED, WITH
THE ADDITION OF MORE EXAMPLES AND FIGURES. COVERS IN ITS ENTIRETY THE
LATEST IEEE-1800 2012 LRM SYNTAX AND SEMANTICS; COVERS BOTH
SYSTEMVERILOG ASSERTIONS AND SYSTEMVERILOG FUNCTIONAL COVERAGE LANGUAGE
AND METHODOLOGIES; PROVIDES PRACTICAL EXAMPLES OF THE WHAT, HOW AND
WHY OF ASSERTION BASED VERIFICATION AND FUNCTIONAL COVERAGE
METHODOLOGIES; EXPLAINS EACH CONCEPT IN A STEP-BY-STEP FASHION AND
APPLIES IT TO A PRACTICAL REAL LIFE EXAMPLE; INCLUDES 6 PRACTICAL
LABS THAT ENABLE READERS TO PUT IN PRACTICE THE CONCEPTS EXPLAINED IN
THE BOOK
DIESES SCHRIFTSTUECK WURDE MASCHINELL ERZEUGT.
|
| any_adam_object | 1 |
| author | Mehta, Ashok B. |
| author_facet | Mehta, Ashok B. |
| author_role | aut |
| author_sort | Mehta, Ashok B. |
| author_variant | a b m ab abm |
| building | Verbundindex |
| bvnumber | BV043546520 |
| collection | ZDB-2-ENG |
| ctrlnum | (ZDB-2-ENG)978-3-319-30539-4 (OCoLC)950944695 (DE-599)BVBBV043546520 |
| dewey-full | 621.3815 |
| dewey-hundreds | 600 - Technology (Applied sciences) |
| dewey-ones | 621 - Applied physics |
| dewey-raw | 621.3815 |
| dewey-search | 621.3815 |
| dewey-sort | 3621.3815 |
| dewey-tens | 620 - Engineering and allied operations |
| discipline | Elektrotechnik / Elektronik / Nachrichtentechnik |
| doi_str_mv | 10.1007/978-3-319-30539-4 |
| edition | Second edition |
| format | Electronic eBook |
| fullrecord | <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>03320nmm a2200637zc 4500</leader><controlfield tag="001">BV043546520</controlfield><controlfield tag="003">DE-604</controlfield><controlfield tag="005">20160603 </controlfield><controlfield tag="007">cr|uuu---uuuuu</controlfield><controlfield tag="008">160510s2016 |||| o||u| ||||||eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319305394</subfield><subfield code="c">Online</subfield><subfield code="9">978-3-319-30539-4</subfield></datafield><datafield tag="024" ind1="7" ind2=" "><subfield code="a">10.1007/978-3-319-30539-4</subfield><subfield code="2">doi</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(ZDB-2-ENG)978-3-319-30539-4</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)950944695</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(DE-599)BVBBV043546520</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="049" ind1=" " ind2=" "><subfield code="a">DE-706</subfield><subfield code="a">DE-1046</subfield><subfield code="a">DE-1043</subfield><subfield code="a">DE-Aug4</subfield><subfield code="a">DE-898</subfield><subfield code="a">DE-861</subfield><subfield code="a">DE-573</subfield><subfield code="a">DE-859</subfield><subfield code="a">DE-863</subfield><subfield code="a">DE-634</subfield><subfield code="a">DE-862</subfield><subfield code="a">DE-92</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.3815</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mehta, Ashok B.</subfield><subfield code="e">Verfasser</subfield><subfield code="4">aut</subfield></datafield><datafield tag="245" ind1="1" ind2="0"><subfield code="a">SystemVerilog assertions and functional coverage</subfield><subfield code="b">guide to language, methodology and applications</subfield><subfield code="c">Ashok B. Mehta</subfield></datafield><datafield tag="250" ind1=" " ind2=" "><subfield code="a">Second edition</subfield></datafield><datafield tag="264" ind1=" " ind2="1"><subfield code="a">[Cham]</subfield><subfield code="b">Springer International Publishing</subfield><subfield code="c">[2016]</subfield></datafield><datafield tag="264" ind1=" " ind2="4"><subfield code="c">© 2016</subfield></datafield><datafield tag="300" ind1=" " ind2=" "><subfield code="a">1 Online-Ressource (xxxv, 406 p. 247 illus., 9 illus. in color)</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="650" ind1=" " ind2="4"><subfield code="a">Engineering</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microprocessors</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Microelectronics</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronic circuits</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Circuits and Systems</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Electronics and Microelectronics, Instrumentation</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Processor Architectures</subfield></datafield><datafield tag="650" ind1=" " ind2="4"><subfield code="a">Ingenieurwissenschaften</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Erscheint auch als</subfield><subfield code="n">Druckausgabe</subfield><subfield code="z">978-3-319-30538-7</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="x">Verlag</subfield><subfield code="z">URL des Erstveröffentlichers</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961883&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Inhaltsverzeichnis</subfield></datafield><datafield tag="856" ind1="4" ind2="2"><subfield code="m">Springer Fremddatenuebernahme</subfield><subfield code="q">application/pdf</subfield><subfield code="u">http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961883&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA</subfield><subfield code="3">Abstract</subfield></datafield><datafield tag="912" ind1=" " ind2=" "><subfield code="a">ZDB-2-ENG</subfield></datafield><datafield tag="940" ind1="1" ind2=" "><subfield code="q">ZDB-2-ENG_2016</subfield></datafield><datafield tag="999" ind1=" " ind2=" "><subfield code="a">oai:aleph.bib-bvb.de:BVB01-028961883</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">BTU01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FAB01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FAW01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FHA01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FHI01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FHN01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FHR01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FKE01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FRO01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FWS01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">FWS02</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield><datafield tag="966" ind1="e" ind2=" "><subfield code="u">https://doi.org/10.1007/978-3-319-30539-4</subfield><subfield code="l">UBY01</subfield><subfield code="p">ZDB-2-ENG</subfield><subfield code="x">Verlag</subfield><subfield code="3">Volltext</subfield></datafield></record></collection> |
| id | DE-604.BV043546520 |
| illustrated | Not Illustrated |
| indexdate | 2025-02-20T06:53:06Z |
| institution | BVB |
| isbn | 9783319305394 |
| language | English |
| oai_aleph_id | oai:aleph.bib-bvb.de:BVB01-028961883 |
| oclc_num | 950944695 |
| open_access_boolean | |
| owner | DE-706 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-862 DE-BY-FWS DE-92 |
| owner_facet | DE-706 DE-1046 DE-1043 DE-Aug4 DE-898 DE-BY-UBR DE-861 DE-573 DE-859 DE-863 DE-BY-FWS DE-634 DE-862 DE-BY-FWS DE-92 |
| physical | 1 Online-Ressource (xxxv, 406 p. 247 illus., 9 illus. in color) |
| psigel | ZDB-2-ENG ZDB-2-ENG_2016 |
| publishDate | 2016 |
| publishDateSearch | 2016 |
| publishDateSort | 2016 |
| publisher | Springer International Publishing |
| record_format | marc |
| spellingShingle | Mehta, Ashok B. SystemVerilog assertions and functional coverage guide to language, methodology and applications Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures Ingenieurwissenschaften |
| title | SystemVerilog assertions and functional coverage guide to language, methodology and applications |
| title_auth | SystemVerilog assertions and functional coverage guide to language, methodology and applications |
| title_exact_search | SystemVerilog assertions and functional coverage guide to language, methodology and applications |
| title_full | SystemVerilog assertions and functional coverage guide to language, methodology and applications Ashok B. Mehta |
| title_fullStr | SystemVerilog assertions and functional coverage guide to language, methodology and applications Ashok B. Mehta |
| title_full_unstemmed | SystemVerilog assertions and functional coverage guide to language, methodology and applications Ashok B. Mehta |
| title_short | SystemVerilog assertions and functional coverage |
| title_sort | systemverilog assertions and functional coverage guide to language methodology and applications |
| title_sub | guide to language, methodology and applications |
| topic | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures Ingenieurwissenschaften |
| topic_facet | Engineering Microprocessors Electronics Microelectronics Electronic circuits Circuits and Systems Electronics and Microelectronics, Instrumentation Processor Architectures Ingenieurwissenschaften |
| url | https://doi.org/10.1007/978-3-319-30539-4 http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961883&sequence=000001&line_number=0001&func_code=DB_RECORDS&service_type=MEDIA http://bvbr.bib-bvb.de:8991/F?func=service&doc_library=BVB01&local_base=BVB01&doc_number=028961883&sequence=000003&line_number=0002&func_code=DB_RECORDS&service_type=MEDIA |
| work_keys_str_mv | AT mehtaashokb systemverilogassertionsandfunctionalcoverageguidetolanguagemethodologyandapplications |