• DocumentCode
    2297226
  • Title

    Hardware/software co-verification, an IP vendors viewpoint

  • Author

    Hopes, Tim

  • Author_Institution
    ARM Ltd., Cambridge, UK
  • fYear
    1998
  • fDate
    5-7 Oct 1998
  • Firstpage
    242
  • Lastpage
    246
  • Abstract
    The increasing predominance and complexity of System on Chip (SoC) poses new challenges to both software and hardware designers, no more so than in the area of verification. As Intellectual Property (IP) from IP Vendors such as ARM Ltd., is incorporated into these designs to make maximum use of the integration capabilities of the Silicon Vendors, this verification problem is further compounded by the complex interactions between system software and hardware. At the same time as the ARM7TDMI has emerged as the embedded RISC processor of choice, the major EDA companies have made available the `Co-verification Environment´ which brings together the verification environments for both hardware and software developers. In order to make full use of the Co-verification Environment, the IP provider must work in conjunction with the EDA Vendors to make the required model views available. This paper outlines the needs and requirements for such model development work and the approach that was taken by the EDA Engineering Group within ARM Ltd
  • Keywords
    computational complexity; formal verification; hardware-software codesign; industrial property; reduced instruction set computing; ARM7TDMI; complex interactions; embedded RISC processor; hardware/software co-verification; integration capabilities; system software; Electronic design automation and methodology; Energy consumption; Engineering management; Hardware; Logic gates; Operating systems; Real time systems; Reduced instruction set computing; Silicon; System-on-a-chip;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Computer Design: VLSI in Computers and Processors, 1998. ICCD '98. Proceedings. International Conference on
  • Conference_Location
    Austin, TX
  • ISSN
    1063-6404
  • Print_ISBN
    0-8186-9099-2
  • Type

    conf

  • DOI
    10.1109/ICCD.1998.727057
  • Filename
    727057