VHDLMachines A package for defining the .machine format for VHDL Logic-Labelled Finite-State Machines.