A method of synthesis of multiple implementations of a design is provided
comprising: translating a model of the design to a first output model
compliant with first constraints; and translating the model of the design
to a second output model compliant with second constraints.