As a "rule-based" or binary approach, DFM tools can provide constraint-based solutions. For example, technology migration tools can be considered as DFM tools. Being "model-based," DFY tools not only ...