A functional ATPG as a bridge between functional verification and testing