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: Correct-by-Construction Approaches for SoC Design
  name:
    name part: Sinha, Roopak.
    role:
      role term: creator
    role:
      role term: author.
  name:
    name part: Roop, Parthasarathi.
    role:
      role term: author.
  name:
    name part: Basu, Samik.
    role:
      role term: author.
  name:
    name part: SpringerLink (Online service)
  type of resource: text
  origin info:
    place:
      place term: xxu
    date issued: 2014
    issuance: monographic
  language:
    language term: eng
  physical description:
    form: electronic
    form: electronic resource
    reformatting quality: access
    form: remote
    extent: XXI, 144 p. online resource.
  abstract: This book describes an approach for designing Systems-on-Chip such that the system meets precise mathematical requirements. The methodologies presented enable embedded systems designers to reuse intellectual property (IP) blocks from existing designs in an efficient, reliable manner, automatically generating correct SoCs from multiple, possibly mismatching, components. · Provides a single-source reference to correct-by-construction SoC design; · Enables optimized design cycles, with techniques to reuse IP blocks reliably; · Uses realistic SoC case studies to highlight the concepts introduced; · Demonstrates techniques using industrial standard SoC frameworks such as ARM AMBA.
  table of contents: System-on-A-Chip Design.- The AMBA SOC Platform.- Automatic Verification using Model and Module Checking -- Models for SoCs and Specifications -- SoC Design Methodology -- Automatic Protocol Conversion -- Related Work and Outlook.- Appendix: Converter Generation Algorithm.
  note: by Roopak Sinha, Parthasarathi Roop, Samik Basu.
  subject:
    topic: Engineering
  subject:
    topic: Microprocessors
  subject:
    topic: Electronics
  subject:
    topic: Microelectronics
  subject:
    topic: Electronic circuits
  subject:
    topic: Engineering
  subject:
    topic: Circuits and Systems
  subject:
    topic: Processor Architectures
  subject:
    topic: Electronics and Microelectronics, Instrumentation
  classification: TK7888.4
  classification: 621.3815
  related item:
    title info:
      title: Springer eBooks
  identifier: 9781461478645
  identifier: http://dx.doi.org/10.1007/978-1-4614-7864-5
  record info:
    record creation date: 130821
    record change date: 20151218131902.0
    record identifier: 978-1-4614-7864-5