Effective EFSM generation for HW/SW-design verification