Enhanced design efficiency through least upper bounds