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
Link To Document :
بازگشت