The controller is modeled as a hierarchical finite-state-machine from which a behavioral VHDL description is generated automatically. The device is prototyped using a FPGA-based emulating system.
The most famous finitestate machine is probably Alan Turing's hypothetical device: the Turing machine, which he wrote about in his 1936 paper, "On Computable Numbers."