Functional Decomp and Design Spec Updated