SystemVerilog assertions and functional coverage : : guide to language, methodology and applications /

SystemVerilog assertions and functional coverage : : guide to language, methodology and applications / / Ashok B. Mehta.

Saved in:
Bibliographic Details
VerfasserIn:
Mehta, Ashok B.,
Place / Publishing House:[Cham], Switzerland : : Springer,, 2016.
2016
Year of Publication:2016
Edition:Second edition.
Language:English
Online Access:
Physical Description:1 online resource (424 pages) :; illustrations, tables
Notes:Includes index.
Tags: Add Tag
No Tags, Be the first to tag this record!
id 5004526856
ctrlnum (MiAaPQ)5004526856
(Au-PeEL)EBL4526856
(CaPaEBR)ebr11211403
(CaONFJC)MIL923089
(OCoLC)948607446
collection bib_alma
record_format marc
spelling Mehta, Ashok B., author.
SystemVerilog assertions and functional coverage : guide to language, methodology and applications / Ashok B. Mehta.
Second edition.
[Cham], Switzerland : Springer, 2016.
2016
1 online resource (424 pages) : illustrations, tables
text rdacontent
computer rdamedia
online resource rdacarrier
Includes index.
Description based on print version record.
Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.
Verilog (Computer hardware description language)
Electronic digital computers Design and construction.
Integrated circuits Verification.
Electronic books.
Print version: Mehta, Ashok B. SystemVerilog assertions and functional coverage : guide to language, methodology and applications. Second edition. [Cham], Switzerland : Springer, c2016 xxxv, 406 pages 9783319305387 2016932750
ProQuest (Firm)
https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4526856 Click to View
language English
format eBook
author Mehta, Ashok B.,
spellingShingle Mehta, Ashok B.,
SystemVerilog assertions and functional coverage : guide to language, methodology and applications /
author_facet Mehta, Ashok B.,
author_variant a b m ab abm
author_role VerfasserIn
author_sort Mehta, Ashok B.,
title SystemVerilog assertions and functional coverage : guide to language, methodology and applications /
title_sub 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_auth SystemVerilog assertions and functional coverage : guide to language, methodology and applications /
title_new SystemVerilog assertions and functional coverage :
title_sort systemverilog assertions and functional coverage : guide to language, methodology and applications /
publisher Springer,
publishDate 2016
physical 1 online resource (424 pages) : illustrations, tables
edition Second edition.
isbn 9783319305394 (e-book)
9783319305387
callnumber-first T - Technology
callnumber-subject TK - Electrical and Nuclear Engineering
callnumber-label TK7885
callnumber-sort TK 47885.7 M448 42016
genre Electronic books.
genre_facet Electronic books.
url https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4526856
illustrated Illustrated
dewey-hundreds 600 - Technology
dewey-tens 620 - Engineering
dewey-ones 621 - Applied physics
dewey-full 621.392
dewey-sort 3621.392
dewey-raw 621.392
dewey-search 621.392
oclc_num 948607446
work_keys_str_mv AT mehtaashokb systemverilogassertionsandfunctionalcoverageguidetolanguagemethodologyandapplications
status_str n
ids_txt_mv (MiAaPQ)5004526856
(Au-PeEL)EBL4526856
(CaPaEBR)ebr11211403
(CaONFJC)MIL923089
(OCoLC)948607446
is_hierarchy_title SystemVerilog assertions and functional coverage : guide to language, methodology and applications /
_version_ 1792330912544849920
fullrecord <?xml version="1.0" encoding="UTF-8"?><collection xmlns="http://www.loc.gov/MARC21/slim"><record><leader>01899nam a2200445 i 4500</leader><controlfield tag="001">5004526856</controlfield><controlfield tag="003">MiAaPQ</controlfield><controlfield tag="005">20200520144314.0</controlfield><controlfield tag="006">m o d | </controlfield><controlfield tag="007">cr cnu||||||||</controlfield><controlfield tag="008">160606t20162016sz a o 001 0 eng d</controlfield><datafield tag="020" ind1=" " ind2=" "><subfield code="z">9783319305387</subfield></datafield><datafield tag="020" ind1=" " ind2=" "><subfield code="a">9783319305394 (e-book)</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(MiAaPQ)5004526856</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(Au-PeEL)EBL4526856</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaPaEBR)ebr11211403</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(CaONFJC)MIL923089</subfield></datafield><datafield tag="035" ind1=" " ind2=" "><subfield code="a">(OCoLC)948607446</subfield></datafield><datafield tag="040" ind1=" " ind2=" "><subfield code="a">MiAaPQ</subfield><subfield code="b">eng</subfield><subfield code="e">rda</subfield><subfield code="e">pn</subfield><subfield code="c">MiAaPQ</subfield><subfield code="d">MiAaPQ</subfield></datafield><datafield tag="050" ind1=" " ind2="4"><subfield code="a">TK7885.7</subfield><subfield code="b">.M448 2016</subfield></datafield><datafield tag="082" ind1="0" ind2=" "><subfield code="a">621.392</subfield><subfield code="2">23</subfield></datafield><datafield tag="100" ind1="1" ind2=" "><subfield code="a">Mehta, Ashok B.,</subfield><subfield code="e">author.</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], Switzerland :</subfield><subfield code="b">Springer,</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 resource (424 pages) :</subfield><subfield code="b">illustrations, tables</subfield></datafield><datafield tag="336" ind1=" " ind2=" "><subfield code="a">text</subfield><subfield code="2">rdacontent</subfield></datafield><datafield tag="337" ind1=" " ind2=" "><subfield code="a">computer</subfield><subfield code="2">rdamedia</subfield></datafield><datafield tag="338" ind1=" " ind2=" "><subfield code="a">online resource</subfield><subfield code="2">rdacarrier</subfield></datafield><datafield tag="500" ind1=" " ind2=" "><subfield code="a">Includes index.</subfield></datafield><datafield tag="588" ind1=" " ind2=" "><subfield code="a">Description based on print version record.</subfield></datafield><datafield tag="590" ind1=" " ind2=" "><subfield code="a">Electronic reproduction. Ann Arbor, MI : ProQuest, 2016. Available via World Wide Web. Access may be limited to ProQuest affiliated libraries.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Verilog (Computer hardware description language)</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Electronic digital computers</subfield><subfield code="x">Design and construction.</subfield></datafield><datafield tag="650" ind1=" " ind2="0"><subfield code="a">Integrated circuits</subfield><subfield code="x">Verification.</subfield></datafield><datafield tag="655" ind1=" " ind2="4"><subfield code="a">Electronic books.</subfield></datafield><datafield tag="776" ind1="0" ind2="8"><subfield code="i">Print version:</subfield><subfield code="a">Mehta, Ashok B.</subfield><subfield code="t">SystemVerilog assertions and functional coverage : guide to language, methodology and applications.</subfield><subfield code="b">Second edition.</subfield><subfield code="d">[Cham], Switzerland : Springer, c2016 </subfield><subfield code="h">xxxv, 406 pages </subfield><subfield code="z">9783319305387 </subfield><subfield code="w">2016932750</subfield></datafield><datafield tag="797" ind1="2" ind2=" "><subfield code="a">ProQuest (Firm)</subfield></datafield><datafield tag="856" ind1="4" ind2="0"><subfield code="u">https://ebookcentral.proquest.com/lib/oeawat/detail.action?docID=4526856</subfield><subfield code="z">Click to View</subfield></datafield></record></collection>

Similar Items