Next: Identify where to implement additional logic in your models to support the usage of ‘external', Previous: Understand when to use ‘external' and what problems it solves, Up: Dezyne
external Summary [Contents]
Coincidentally, this was discussed before the answer to the previous learning goal was given. An analysis of why Dezyne did not warn you about this illegal behaviour in Why does verification not catch this? can also be used to explain the impact of using ‘external’: an extra set of behaviours is considered during verification so that possible delays due to external communications are included.