• DocumentCode
    3338126
  • 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
  • fYear
    1999
  • fDate
    1999
  • Firstpage
    37
  • Lastpage
    41
  • 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;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    ASIC/SOC Conference, 1999. Proceedings. Twelfth Annual IEEE International
  • Conference_Location
    Washington, DC
  • Print_ISBN
    0-7803-5632-2
  • Type

    conf

  • DOI
    10.1109/ASIC.1999.806469
  • Filename
    806469