This book describes a new design methodology that allows optimization-based