Analytical design and numerical verification