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: Principles of functional verification
  name:
    name part: Meyer, Andreas (Andreas S.)
    role:
      role term: creator
  name:
    name part: ScienceDirect (Online service)
  type of resource: text
  genre: Electronic books.
  origin info:
    place:
      place term: ne
    place:
      place term: Amsterdam
    place:
      place term: Boston
    publisher: Newnes
    date issued: 2003
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: remote
    extent: 1 online resource (x, 206 pages) : illustrations
  abstract: 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
  table of 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.
  note: Andreas Meyer.
  note: English.
  subject:
    topic: Integrated circuits
    topic: Verification
  subject:
    topic: Circuits intégrés
    topic: Vérification
  subject:
    topic: TECHNOLOGY & ENGINEERING
    topic: Electronics
    topic: Circuits
    topic: Integrated
  subject:
    topic: TECHNOLOGY & ENGINEERING
    topic: Electronics
    topic: Circuits
    topic: General
  subject:
    topic: Integrated circuits
    topic: Verification
  classification: TK7885.7 .M49 2003eb
  classification: 621.3815/48
  related item:
    title info:
      title: Principles of functional verification
    name:
      name part: Meyer, Andreas (Andreas S.).
    origin info:
      publisher: Amsterdam ; Boston : Newnes, 2003
    identifier: (DLC) 2003056421
    identifier: (OCoLC)52477339
  identifier: 9780750676175
  identifier: 0750676175
  identifier: 9780080469942
  identifier: 0080469949
  identifier: 1280964308
  identifier: 9781280964305
  identifier: 9786610964307
  identifier: 6610964300
  identifier: 94400:94399 Elsevier Science & Technology
  identifier: http://proxy.library.tamu.edu/login
  record info:
    record content source: OPELS
    record creation date: 070806
    record change date: 20260326152228.4
    record identifier: in00005733463
    language of cataloging:
      language term: eng