SMT - State Machine Translator. Translates desription of state machine to verilog code.