onARM

IAR visualSTATE

IAR visualSTATE® is a set of highly sophisticated and easy-to-use development tools for designing, testing and implementing embedded applications based on state machines.

It provides advanced verification and validation utilities and generates very compact C/C++ code that is 100% consistent with your system design. In addition, the new and revolutionizing integration with IAR Embedded Workbench, a fully integrated C/C++ compiler and debugger toolset, enables true state machine debugging on hardware—get direct graphical feedback on various levels of detail.

Details
Tool Website:http://www.iar.com/vs