ITERATIVELY with functional analysis to OPTIMIZE performance requirements for identified functions, and to verify that synthesized SOLUTIONS can satisfy CUSTOMER requirements.