jhfsm_con.vhd ethz_jh.vhd