Text this: Functional Decomposition with Applications to FPGA Synthesis /