FsmTest: Functional Test Generator for Sequential Circuits