Designing a CPU model: from a pseudo-formal document to fast code

Details Designing a CPU model: from a pseudo-formal document to fast code Designing a CPU model: from a pseudo-formal document to fast code

2011-09-20

arxiv.org/abs/1109.4351v1

Computer Science

Software Engineering

3rd Workshop on: Rapid Simulation and Performance Evaluation: Methods and Tools (2011)

Scientific paper

For validating low level embedded software, engineers use simulators that take the real binary as input. Like the real hardware, these full-system simulators are organized as a set of components. The main component is the CPU simulator (ISS), because it is the usual bottleneck for the simulation speed, and its development is a long and repetitive task. Previous work showed that an ISS can be generated from an Architecture Description Language (ADL). In the work reported in this paper, we generate a CPU simulator directly from the pseudo-formal descriptions of the reference manual. For each instruction, we extract the information describing its behavior, its binary encoding, and its assembly syntax. Next, after automatically applying many optimizations on the extracted information, we generate a SystemC/TLM ISS. We also generate tests for the decoder and a formal specification in Coq. Experiments show that the generated ISS is as fast and stable as our previous hand-written ISS.

Affiliated with

Also associated with

No associations

Rating

Designing a CPU model: from a pseudo-formal document to fast code does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Designing a CPU model: from a pseudo-formal document to fast code, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Designing a CPU model: from a pseudo-formal document to fast code will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-147691