<?xml version="1.0" encoding="UTF-8"?>
<record
    xmlns:xsi="http://www.w3.org/2001/XMLSchema-instance"
    xsi:schemaLocation="http://www.loc.gov/MARC21/slim http://www.loc.gov/standards/marcxml/schema/MARC21slim.xsd"
    xmlns="http://www.loc.gov/MARC21/slim">

  <leader>01272nam a2200301 a 4500</leader>
  <controlfield tag="001">vtls000033646</controlfield>
  <controlfield tag="003">KUKTEM</controlfield>
  <controlfield tag="005">20251117145604.0</controlfield>
  <controlfield tag="008">090108t2007    nyua   f b    001 0 eng d</controlfield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780387717388 (hbk. : alk. paper)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0387717382 (hbk. : alk. paper)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">9780387717401 (ebook)</subfield>
  </datafield>
  <datafield tag="020" ind1=" " ind2=" ">
    <subfield code="a">0387717404 (ebook)</subfield>
  </datafield>
  <datafield tag="039" ind1=" " ind2="9">
    <subfield code="a">201107132244</subfield>
    <subfield code="b">VLOAD</subfield>
    <subfield code="c">200908141654</subfield>
    <subfield code="d">VLOAD</subfield>
    <subfield code="c">200908141637</subfield>
    <subfield code="d">VLOAD</subfield>
    <subfield code="c">200908132133</subfield>
    <subfield code="d">VLOAD</subfield>
    <subfield code="y">200901081132</subfield>
    <subfield code="z">saini</subfield>
  </datafield>
  <datafield tag="040" ind1=" " ind2=" ">
    <subfield code="a">UMP</subfield>
  </datafield>
  <datafield tag="090" ind1=" " ind2=" ">
    <subfield code="a">TK7885.7 .M56 2007</subfield>
  </datafield>
  <datafield tag="100" ind1="1" ind2=" ">
    <subfield code="a">Mintz, Mike</subfield>
  </datafield>
  <datafield tag="245" ind1="1" ind2="0">
    <subfield code="a">Hardware verification with SystemVerilog :</subfield>
    <subfield code="b">an object-oriented framework /</subfield>
    <subfield code="c">Mike Mintz, Robert Ekendahl</subfield>
  </datafield>
  <datafield tag="260" ind1=" " ind2=" ">
    <subfield code="a">New York, NY :</subfield>
    <subfield code="b">Springer,</subfield>
    <subfield code="c">c2007</subfield>
  </datafield>
  <datafield tag="300" ind1=" " ind2=" ">
    <subfield code="a">xxii, 314 p. :</subfield>
    <subfield code="b">ill. ;</subfield>
    <subfield code="c">26 cm.</subfield>
  </datafield>
  <datafield tag="504" ind1=" " ind2=" ">
    <subfield code="a">Includes bibliographical references and index</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">Integrated circuits</subfield>
    <subfield code="x">Verification</subfield>
  </datafield>
  <datafield tag="650" ind1=" " ind2="0">
    <subfield code="a">Object-oriented programming (Computer science)</subfield>
  </datafield>
  <datafield tag="700" ind1="1" ind2=" ">
    <subfield code="a">Ekendahl, Robert</subfield>
  </datafield>
  <datafield tag="856" ind1="4" ind2="1">
    <subfield code="3">Table of contents only</subfield>
    <subfield code="u">http://www.loc.gov/catdir/enhancements/fy0826/2007923923-t.html</subfield>
  </datafield>
  <datafield tag="952" ind1=" " ind2=" ">
    <subfield code="0">0</subfield>
    <subfield code="1">0</subfield>
    <subfield code="4">0</subfield>
    <subfield code="7">0</subfield>
    <subfield code="a">20000</subfield>
    <subfield code="b">20000</subfield>
    <subfield code="d">2019-09-04</subfield>
    <subfield code="g">482.76</subfield>
    <subfield code="l">0</subfield>
    <subfield code="o">TK7885.7 .M56 2007</subfield>
    <subfield code="p">0000038881</subfield>
    <subfield code="r">2019-09-04 00:00:00</subfield>
    <subfield code="t">1</subfield>
    <subfield code="v">482.76</subfield>
    <subfield code="w">2019-09-04</subfield>
    <subfield code="y">OPEN</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="a">VIRTUA40</subfield>
    <subfield code="c">49367</subfield>
    <subfield code="d">49373</subfield>
  </datafield>
  <datafield tag="999" ind1=" " ind2=" ">
    <subfield code="a">VTLSSORT0080*0200*0201*0202*0203*0400*0900*1000*2450*2600*3000*5040*6500*6501*6502*7000*8560*9991</subfield>
  </datafield>
</record>
