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