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