Title: Functional Decomposition with Applications to FPGA Synthesis