File list (Check if you may need any files):
fizzim_tutorial_022710.pdf
fizzim_v10.02.26.jar
README.txt
examples\be_cmd.fzm
........\cliff.fzm
........\cliff_abort_stub.fzm
........\cliff_classic.fzm
........\cliff_classic_4state2bit_iloop.fzm
........\cliff_classic_comments.fzm
........\cliff_classic_default_is_x_noloopback.fzm
........\cliff_classic_explicit_equations.fzm
........\cliff_classic_final.fzm
........\cliff_classic_implied_loopback.fzm
........\cliff_classic_juststates.fzm
........\cliff_classic_juststatesandtransitions.fzm
........\cliff_classic_multipage.fzm
........\cliff_classic_no_il_no_dfx.fzm
........\cliff_classic_nsyncreset.fzm
........\cliff_classic_onehot_pragma_null.fzm
........\cliff_classic_onehot_pragma_onehot_mux.fzm
........\cliff_classic_states_trans_atts.fzm
........\cliff_classic_states_trans_atts_outputvalues.fzm
........\cliff_counter.fzm
........\cliff_dscomb.fzm
........\cliff_forcestate_regdp.fzm
........\cliff_forcestate_regout.fzm
........\cliff_graycode.fzm
........\cliff_graycode_notpossible.fzm
........\cliff_insert_with_dollarsign.fzm
........\cliff_loopbackDLY.fzm
........\cliff_mealy.fzm
........\cliff_mealy_onstates.fzm
........\cliff_mealy_ontransition.fzm
........\cliff_mystateout.fzm
........\cliff_preread.fzm
........\cliff_priority.fzm
........\cliff_priority_step0.fzm
........\cliff_priority_step1.fzm
........\cliff_priority_step2.fzm
........\cliff_rdregdp.fzm
........\cliff_stateout.fzm
........\cliff_terse_example.fzm
........\cliff_ticdefine.fzm
........\comments.fzm
........\comments_nogray.fzm
........\force_state.fzm
........\fsm1a_ffo1.fzm
........\fsm1a_ffo1_nsyncreset.fzm
........\fsm1a_ffo1_oh.fzm
........\fsm1a_ffo1_psyncreset.fzm
........\mealy.fzm
........\multibit_dp.fzm
........\multibit_encoded.fzm
........\params.fzm
........\prep4.fzm
........\reg00test.fzm
........\stateout_state.fzm
........\stateout_statex.fzm
........\test_defines.fzm
........\test_inserts.fzm
........\test_multibit.fzm
........\test_priority.fzm
fizzim.pl