DocumentCode :
2297226
Title :
Hardware/software co-verification, an IP vendors viewpoint
Author :
Hopes, Tim
Author_Institution :
ARM Ltd., Cambridge, UK
fYear :
1998
fDate :
5-7 Oct 1998
Firstpage :
242
Lastpage :
246
Abstract :
The increasing predominance and complexity of System on Chip (SoC) poses new challenges to both software and hardware designers, no more so than in the area of verification. As Intellectual Property (IP) from IP Vendors such as ARM Ltd., is incorporated into these designs to make maximum use of the integration capabilities of the Silicon Vendors, this verification problem is further compounded by the complex interactions between system software and hardware. At the same time as the ARM7TDMI has emerged as the embedded RISC processor of choice, the major EDA companies have made available the `Co-verification Environment´ which brings together the verification environments for both hardware and software developers. In order to make full use of the Co-verification Environment, the IP provider must work in conjunction with the EDA Vendors to make the required model views available. This paper outlines the needs and requirements for such model development work and the approach that was taken by the EDA Engineering Group within ARM Ltd
Keywords :
computational complexity; formal verification; hardware-software codesign; industrial property; reduced instruction set computing; ARM7TDMI; complex interactions; embedded RISC processor; hardware/software co-verification; integration capabilities; system software; Electronic design automation and methodology; Energy consumption; Engineering management; Hardware; Logic gates; Operating systems; Real time systems; Reduced instruction set computing; Silicon; System-on-a-chip;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Computer Design: VLSI in Computers and Processors, 1998. ICCD '98. Proceedings. International Conference on
Conference_Location :
Austin, TX
ISSN :
1063-6404
Print_ISBN :
0-8186-9099-2
Type :
conf
DOI :
10.1109/ICCD.1998.727057
Filename :
727057
Link To Document :
بازگشت