1. A method of synthesis of multiple implementations of an integrated design, comprising: using a synthesis tool to translate a model of the design to output models, each output model compliant with one of a plurality of sets of constraints; changing the model of the design so as to produce a changed model of the design; and using the synthesis tool to translate the changed model of the design to changed output models, each output model compliant with one of the plurality of sets of constraints.