From: Ara.T.Howard [mailto:ara.t.howard / noaa.gov] 
> i need to model the on board cpu of a satellite in order to 
> mock running uploaded commands.  basically i need to model
> the internal state and all incoming commands so i can
> determine register states at a given point in time.

Not to distract the thread from your very real question, but you do
realize that you have one of the coolest jobs around, right? :)