rdf-syntax-grammar
mods:
  schema location: http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
  title info:
    title: SystemVerilog assertions and functional coverage
    sub title: guide to language, methodology and applications
  name:
    name part: Mehta, Ashok B.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: ebrary, Inc
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: sz
    date issued: 2016
    edition: Second edition.
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource.
  table of contents: 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.
  note: Ashok B. Mehta.
  note: Electronic resource.
  subject:
    topic: Verilog (Computer hardware description language)
  subject:
    topic: Electronic digital computers
    topic: Design and construction
  subject:
    topic: Integrated circuits
    topic: Verification
  classification: TK7885.7 .M44 2016
  classification: 621.39/2
  identifier: 9783319305394
  identifier: 3319305395
  identifier: 9783319305387
  identifier: 3319305387 (print)
  identifier: 9783319305387 (print)
  identifier: https://ebookcentral.proquest.com/lib/tamucs/detail.action
  related item:
    location:
      url: https://ebookcentral.proquest.com/lib/tamucs/detail.action
  record info:
    record content source: NhCcYBP
    record creation date: 160503
    record change date: 20250816204216.2
    record identifier: in00003768595