finite state machine/automaton framework?

Mike Ditty lonestar at
Fri Sep 3 12:55:41 PDT 2004

Matthew Dillon wrote:

:Are you talking about VHDLs here or more the formal method side (Maude,
:ACL2, Z Notation, VDM)?
:Jeroen Ruigrok van der Werven <asmodai(at)> / asmodai / kita no mono
    I was thinking VHDL and the like.

					Matthew Dillon 
					<dillon at xxxxxxxxxxxxx>

This is very likely exactly what some of the compiling VHDL simulators 
do.  If someone did this it would really screw up the academic world, 
where in every class we use VHDL they tell us first that VHDL should not 
be viewed as programming. :)

-Mike (who currently has a project to finish in VHDL)

More information about the Kernel mailing list