• DocumentCode
    1601192
  • Title

    Test and validation of electronic systems

  • Author

    Fitzhugh, G. ; Comfort, R.

  • Author_Institution
    CPU Tech., Pleasanton, CA, USA
  • Volume
    2
  • fYear
    1999
  • fDate
    6/21/1905 12:00:00 AM
  • Abstract
    Computers are growing in complexity at an ever increasing rate. The ability to properly validate all of the processor´s functions is a problem faced by processor manufacturers. A major area for improvement in reducing acquisition time is eliminating the wait for physical prototypes prior to commencement of software test and debug. It is not unusual for this waiting period to account for as much as one-third of the development cycle. Thus the current interest in hardware/software co-design. By overlapping phases of development, co-design brings the test and validation of a system closer to the architectural phase where it is needed most. Early verification that a design meets the customer´s requirements minimizes the risk of building a system no one wants. CPU Technology´s Behavioral Verification TechnologyTM (BVT) and SystemLabTM provide a means to thoroughly validate complex processors. BVT was invented to address the validation interests of all of the participants in the computer industry. It enables the rapid development of formal instruction-set architecture validation suites for any computer. SystemLab expands beyond hardware/software co-design to the virtual laboratory that consists of virtual prototypes made from software models rather than hardware components
  • Keywords
    formal verification; hardware-software codesign; software architecture; software prototyping; Behavioral Verification Technology; SystemLab; closed loop process; complex processors validation; formal instruction-set architecture validation suites; hardware/software codesign; logic design; modelling environment; rapid development; software models; virtual laboratory; virtual prototypes; Buildings; Central Processing Unit; Computer industry; Electronic equipment testing; Hardware; Manufacturing processes; Software debugging; Software prototyping; Software testing; System testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    Digital Avionics Systems Conference, 1999. Proceedings. 18th
  • Conference_Location
    St Louis, MO
  • Print_ISBN
    0-7803-5749-3
  • Type

    conf

  • DOI
    10.1109/DASC.1999.822072
  • Filename
    822072