The method of EFSM extraction from HDL: application to functional verificationстатья