Top-down, constraint driven design: application to sigma-delta modulator | IEEE Conference Publication | IEEE Xplore