Next: , Previous: , Up: Dezyne external Summary   [Contents]

4.4.2 Understand the impact of using the ‘external’ keyword in your Dezyne models

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.