A Simple Functional Simulator

This simulator models a SPARC-V9 ISA. It does not simulate any micro-architecture or collect any statistics. Below are the Facile source files for this simulator:

• simple.fs -- defines the main function.
• sparc_v9.fs -- instruction semantics.
• sparc_v9_enc.fs -- instruction encodings.
• sparc_v9_reg.fs -- register files access functions.

Follow this link to see the results of analyzing the simulator. The Facile compiler performs binding time analysis to determine which parts of the simulator can be skipped over by fast-forwarding. Annotated source code is generated in HTML format by the compiler to help visualize the results of its analysis.