Software synthesized for embedded

Synthesis has become indispensable for chip design, so why not apply the same principles to embedded software as well?