FsmTest: Functional Test Generation for Sequential Circuits