• DocumentCode
    3418051
  • Title

    Retargetable functional simulator using high level processor models

  • Author

    Chandra, Subhash ; Moona, Rajat

  • Author_Institution
    Dept. of Comput. Sci. & Eng., Indian Inst. of Technol., Kanpur, India
  • fYear
    2000
  • fDate
    2000
  • Firstpage
    424
  • Lastpage
    429
  • Abstract
    The current embedded systems design typically also involves the design of application specific integrated processors. In such scenarios, the designer needs to study various designs for choosing the best suited one with respect to the performance and the cost. The use of high level processor models along with automated tools is becoming popular in the performance study of the designs. This work involves the design and implementation of a Retargetable Functional Simulator Generator (RFSG) which is capable of generating a functional simulator for a processor given its high level model in the Sim-nML language and a binary for the processor in ELF format. The functional simulator so generated simulates the binary program for the described processor on any other host. It can also produce an uncompressed instruction trace for the binary program
  • Keywords
    embedded systems; formal verification; logic CAD; performance evaluation; virtual machines; ELF format; Sim-nML language; application specific integrated processors; automated tools; binary program simulation; embedded systems design; high level model; high level processor models; retargetable functional simulator; uncompressed instruction trace; Application software; Application specific processors; Computational modeling; Computer science; Costs; Design engineering; Embedded system; Ground penetrating radar; Process design; Testing;
  • fLanguage
    English
  • Publisher
    ieee
  • Conference_Titel
    VLSI Design, 2000. Thirteenth International Conference on
  • Conference_Location
    Calcutta
  • ISSN
    1063-9667
  • Print_ISBN
    0-7695-0487-6
  • Type

    conf

  • DOI
    10.1109/ICVD.2000.812644
  • Filename
    812644