Co-verification of Hardware and Software for ARM SoC Design

Saved in:
Bibliographic Details
Title: Co-verification of Hardware and Software for ARM SoC Design
Description: Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly designed to run the software successfully -before large sums are spent on prototypes or manufacturing. This is the first book to apply this verification technique to the rapidly growing field of embedded systems-on-a-chip(SoC). As traditional embedded system design evolves into single-chip design, embedded engineers must be armed with the necessary information to make educated decisions about which tools and methodology to deploy. SoC verification requires a mix of expertise from the disciplines of microprocessor and computer architecture, logic design and simulation, and C and Assembly language embedded software. Until now, the relevant information on how it all fits together has not been available. Andrews, a recognized expert, provides in-depth information about how co-verification really works, how to be successful using it, and pitfalls to avoid. He illustrates these concepts using concrete examples with the ARM core - a technology that has the dominant market share in embedded system product design. The companion CD-ROM contains all source code used in the design examples, a searchable e-book version, and useful design tools.• The only book on verification for systems-on-a-chip (SoC) on the market• Will save engineers and their companies time and money by showing them how to speed up the testing process, while still avoiding costly mistakes• Design examples use the ARM core, the dominant technology in SoC, and all the source code is included on the accompanying CD-Rom, so engineers can easily use it in their own designs
Authors: Jason Andrews
Resource Type: eBook.
Subjects: Integrated circuits--Verification, Computer software--Verification, Systems on a chip
Categories: TECHNOLOGY & ENGINEERING / Electrical, TECHNOLOGY & ENGINEERING / Electronics / Microelectronics
Database: eBook Collection (EBSCOhost)
FullText Links:
  – Type: ebook-pdf
Text:
  Availability: 0
Header DbId: nlebk
DbLabel: eBook Collection (EBSCOhost)
An: 117129
RelevancyScore: 998
AccessLevel: 6
PubType: eBook
PubTypeId: ebook
PreciseRelevancyScore: 998.4384765625
IllustrationInfo
ImageInfo – Size: thumb
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$117129$PDF&s=r
– Size: medium
  Target: https://rps2images.ebscohost.com/rpsweb/othumb?id=NL$117129$PDF&s=d
Items – Name: Title
  Label: Title
  Group: Ti
  Data: Co-verification of Hardware and Software for ARM SoC Design
– Name: Abstract
  Label: Description
  Group: Ab
  Data: Hardware/software co-verification is how to make sure that embedded system software works correctly with the hardware, and that the hardware has been properly designed to run the software successfully -before large sums are spent on prototypes or manufacturing. This is the first book to apply this verification technique to the rapidly growing field of embedded systems-on-a-chip(SoC). As traditional embedded system design evolves into single-chip design, embedded engineers must be armed with the necessary information to make educated decisions about which tools and methodology to deploy. SoC verification requires a mix of expertise from the disciplines of microprocessor and computer architecture, logic design and simulation, and C and Assembly language embedded software. Until now, the relevant information on how it all fits together has not been available. Andrews, a recognized expert, provides in-depth information about how co-verification really works, how to be successful using it, and pitfalls to avoid. He illustrates these concepts using concrete examples with the ARM core - a technology that has the dominant market share in embedded system product design. The companion CD-ROM contains all source code used in the design examples, a searchable e-book version, and useful design tools.• The only book on verification for systems-on-a-chip (SoC) on the market• Will save engineers and their companies time and money by showing them how to speed up the testing process, while still avoiding costly mistakes• Design examples use the ARM core, the dominant technology in SoC, and all the source code is included on the accompanying CD-Rom, so engineers can easily use it in their own designs
– Name: Author
  Label: Authors
  Group: Au
  Data: <searchLink fieldCode="AR" term="%22Jason+Andrews%22">Jason Andrews</searchLink>
– Name: TypePub
  Label: Resource Type
  Group: TypPub
  Data: eBook.
– Name: Subject
  Label: Subjects
  Group: Su
  Data: <searchLink fieldCode="DE" term="%22Integrated+circuits--Verification%22">Integrated circuits--Verification</searchLink><br /><searchLink fieldCode="DE" term="%22Computer+software--Verification%22">Computer software--Verification</searchLink><br /><searchLink fieldCode="DE" term="%22Systems+on+a+chip%22">Systems on a chip</searchLink>
– Name: SubjectBISAC
  Label: Categories
  Group: Su
  Data: <searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Electrical%22">TECHNOLOGY & ENGINEERING / Electrical</searchLink><br /><searchLink fieldCode="ZK" term="%22TECHNOLOGY+%26+ENGINEERING+%2F+Electronics+%2F+Microelectronics%22">TECHNOLOGY & ENGINEERING / Electronics / Microelectronics</searchLink>
PLink https://search.ebscohost.com/login.aspx?direct=true&site=eds-live&db=nlebk&AN=117129
RecordInfo BibRecord:
  BibEntity:
    Classifications:
      – Code: 005.14
        Scheme: ddc
        Type: prePub
    Languages:
      – Code: eng
        Text: English
    Subjects:
      – SubjectFull: Integrated circuits--Verification
        Type: general
      – SubjectFull: Computer software--Verification
        Type: general
      – SubjectFull: Systems on a chip
        Type: general
    Titles:
      – TitleFull: Co-verification of Hardware and Software for ARM SoC Design
        Type: main
  BibRelationships:
    HasContributorRelationships:
      – PersonEntity:
          Name:
            NameFull: Jason Andrews
      – PersonEntity:
          Name:
            NameFull: Jason Andrews
    IsPartOfRelationships:
      – BibEntity:
          Dates:
            – D: 01
              M: 01
              Type: published
              Y: 2005
            – D: 04
              M: 02
              Type: profile
              Y: 2014
          Identifiers:
            – Type: isbn-print
              Value: 9780750677301
            – Type: isbn-electronic
              Value: 9780080476902
          Titles:
            – TitleFull: Co-verification of Hardware and Software for ARM SoC Design
              Type: main
ResultId 1