Functional Decomposition And Synthesis