DragonFly BSD
DragonFly kernel List (threaded) for 2004-09
[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]

Re: finite state machine/automaton framework?


From: Matthew Dillon <dillon@xxxxxxxxxxxxxxxxxxxx>
Date: Fri, 3 Sep 2004 11:15:05 -0700 (PDT)

: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 
:yacc).
:
:for example:
:
:state_idle:
:   if:
:     written_byte & WHATEVER_BITMASK
:   newstate:
:     state_program_oneshot
:   output:
:     this_var = that_var;
:     run_foo();
:
:etc
:
:cheers
:   simon

    Well, there are several languages used for describing hardware and/or
    simulating hardware, but none of them are really applicable for 
    in-kernel use.

    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.

						-Matt



[Date Prev][Date Next]  [Thread Prev][Thread Next]  [Date Index][Thread Index]