On the validation of embedded systems through functional ATPG