Synthesis of non-tunable distributed FOE