A method is described that involves recognizing that a variable within a monomial or posynomial expression for a characteristic of an analog or mixed signal system has a dependency on a lower level expression. Then, retrieving from a database the lower level expression and substituting it into the expression in place of the variable so as to describe the system at a greater level of detail than the variable did.