On the 3rd of May 2018 service 2.7.1 has been replaced with service 2.7.2 as Default. A recap of the most important fixes and improvements:
- An improved verification performance, especially for large models.
- For an interface, the deadlock and livelock checks are performed in parallel.
- For a component, the deterministic, illegal, deadlock, and livelock checks are performed in parallel.
- The verification results view reports per check the number of states and transitions that have been considered.
Please check out the full release notes here to discover all fixes and improvements.
Can’t wait to give Dezyne a try? We can understand.