Thu Jun 13 14:36:57 EDT 2013

A simplified simulator

Problem: find a good approximation to a chip's instruction set that
can be embedded in a functional language.

This attempts to connect two worlds:
  - Easy translation to "real" device semantics
  - Easy translation from pure functional constructs

The problem here is resource management.

For the particular problem of simplifying the dsPIC, this would be to
abstract X/Y data memory, accumulator and addressing modes.