关于visualstate的

有哪位大哥用过IAR VISUALSTATE的，麻烦介绍下（越详细越好），谢谢

visualSTATE是一套完善而易用的开发工具。它基于状态机理论，进行嵌入式应用程序的设计、测试和实现。
  
visualSTATE提供先进的验证和测试工具，能够生成非常紧凑的C/C++代码，并与您的系统设计保持100%一致。此外，visualSTATE与IAR Embedded Workbench?（完全集成的C/C++编译和调试工具链）革命性整合在一起，可支持在硬件上进行真实的状态机调试，并从多个层次获得图形化的直接信息反馈。
  
- 产生可读的代码
- 与C-SPY调试器实现整合，支持图形化的状态机信息反馈
- 加强了验证功能
- Logging to test sequence files
- 更新的用户手册
  
主要特点
  
- 完全集成的开发环境，包括图形化的设计界面、测试工具以及代码和文档生成器
- 基于UML状态图的一个子集，进行图形化的状态机设计
- 对所设计的模型自动进行规范化验证，以找出其中不希望的错误，例如死锁或无法到达的状态等
- 提供完善的测试和验证工具，以确保在设计的早期阶段，即使硬件还不存在，应用程序的行为仍可符合预期
- 自动生成非常紧凑的C/C++代码，并与系统设计保持100%一致
- 自动生成饱含丰富开发信息的文档
- 可与IAR Embedded Workbench紧密整合，带有完备的工程样例，支持多种MCU和评估板
  
模型驱动设计的优点
  
- 使用强大的UML层次状态图和状态机符号来绘制对象、事件和动作，设计嵌入式应用程序。
- 模型驱动的设计方法和图形化的设计表达，方便了设计者与他人共同探讨设计思想并交换想法。
- 模拟仿真并将应用可视化，可以在设计的早期就发现可能存在的错误。
- 非常强大的规范化验证器能帮助您验证所设计的运行时模型的逻辑一致性。
- 在您的整个开发过程中可以不断反复地进行广泛的测试：验证状态机的行为，回归测试，以及自动提供测试覆盖率报告。
- 使用C-SPY扩展插件，在硬件上进行图形化的高层调试，而无需过早地涉及底层实现细节。
- 自动生成紧凑无错的C/C++代码，并与你的设计保持100%的一致。
- 当市场需求发生变更时，易于在现有的应用程序上增加新的功能。
- 精确且结构化的文档管理，总是与最新的设计保持同步，有利于对现有的应用程序进行维护。