• DocumentCode
    3002389
  • Title

    Co-verification as risk management: minimizing the risk of incorporating a new processor in your next embedded system design

  • Author

    Kenney, Jim

  • Author_Institution
    Mentor Graphics Corp., Wilsonville, OR, USA
  • Volume
    6
  • fYear
    1999
  • fDate
    36342
  • Firstpage
    474
  • Abstract
    According to EE-Times over 60% of current 8-bit and 16-bit users are considering moving to 32-bit embedded controllers. However, many development teams are not able to accurately assess the impact to the project schedule of adopting a new processor. New busses, peripherals and a more complex initialization sequence increase the project risk, especially when few engineers on the team have experience with the new target. Hardware/Software Co-Verification is a proven method for reducing the risk associated with introducing a new CPU into the project. This paper will discuss the features and limitations of co-verification as well as detail some customer experiences. The type of software that is practical to execute using co-verification and specific customer design errors exposed will be presented
  • Keywords
    embedded systems; formal verification; hardware-software codesign; microcontrollers; risk management; 32 bit; CPU; controller; embedded system design; hardware/software co-verification; processor; risk management; Control systems; Embedded system; Graphics; Hardware; Logic testing; Processor scheduling; Prototypes; Random access memory; Risk management; Software prototyping;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Circuits and Systems, 1999. ISCAS '99. Proceedings of the 1999 IEEE International Symposium on
  • Conference_Location
    Orlando, FL
  • Print_ISBN
    0-7803-5471-0
  • Type

    conf

  • DOI
    10.1109/ISCAS.1999.780197
  • Filename
    780197