In reply to chr_sue:
We are using a functional, untimed model. We were trying to figure out how to avoid such a close dependency between decisions made by the RTL designer, and the behavioral model. My accellera forum has a good example of what I mean.