Title :
Target processor and co-verification environment independent adapter-a technology to shorten cycle-time for retargeting TI processor simulators in HW/SW co-verification environments
Author :
Shah, Rajesh ; Rao, Ramesh Subba
Author_Institution :
Software Dev. Syst., Texas Instrum., India
Abstract :
Hardware-software co-verification is essential for design and verification of embedded systems at the early development stages to reduce development cycle time. A number of co-verification environments are available from EDA vendors to simulate such designs, each with its own interfaces and mechanisms. TI provides co-verification models for its DSP devices and cDSP megamodules in these environments. We present an approach that enables TI´s instruction set simulators to seamlessly be integrated in these environments. This hides the EDA environment specific interfaces from the simulator/model developer thereby shortening the co-verification model development cycle times
Keywords :
circuit CAD; digital signal processing chips; digital simulation; embedded systems; formal verification; hardware-software codesign; instruction sets; logic simulation; DSP devices; EDA environment specific interfaces; HW/SW co-verification environments; TI processor simulators; cDSP megamodules; co-verification environment independent adapter; co-verification models; development cycle time; development cycle times; embedded systems; instruction set simulators; target processor; Computational modeling; Computer aided instruction; Digital signal processing; Electronic design automation and methodology; Embedded system; Engines; Hardware; Logic; Programming; Random access memory;
Conference_Titel :
ASIC/SOC Conference, 1999. Proceedings. Twelfth Annual IEEE International
Conference_Location :
Washington, DC
Print_ISBN :
0-7803-5632-2
DOI :
10.1109/ASIC.1999.806469