DragonFly kernel List (threaded) for 2004-09
Re: finite state machine/automaton framework?
:I was thinking of a system that generates C code out of a formal
:description. This way the code wouldn't differ much from the hand
:written one, but it would definitely be better to maintain (compare
: written_byte & WHATEVER_BITMASK
: this_var = that_var;
Well, there are several languages used for describing hardware and/or
simulating hardware, but none of them are really applicable for
It sounds like it would be a fun project to write a simulation language
that can be used to implement hardware from the point of view of
software trying to use the hardware, rather then from the point of view
of board design.