Approximating behaviors in embedded system design