Feature of the Month
Introducing UDM mode specification expressions
If you found MODELZEN running too exhaustive characterizations for user-defined models (UDMs), this new feature can make it significantly faster by constraining the mode bit values.