Design by Global Analysis