Below is information on and links to the processor models picoProcessor and TinyMIPS.
picoProcessor
TinyMIPS