1. A method of annotating a functional definition of a circuit design, the method comprising: using a physical definition of the circuit design that has been generated from the functional definition, generating a plurality of assignments between a plurality of circuit elements in the circuit design and a plurality of signals defined for the circuit design; and automatically modifying the functional definition of the circuit design to incorporate the plurality of assignments into the functional definition.