A Pseudo-Deterministic Functional ATPG based on EFSM Traversing