Synthesis

Algorithmic techniques for synthesizing implementations from models can result is far better realizations than those designed by hand.