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
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;
Conference_Titel :
VLSI Design, 2000. Thirteenth International Conference on
Conference_Location :
Calcutta
Print_ISBN :
0-7695-0487-6
DOI :
10.1109/ICVD.2000.812644