visualSTATE is a set of tools for designing, testing and implementing embedded applications based on state machines. It allows you to build your design from a high level, structure complex applications, and then step by step add functionality at a more detailed level. visualSTATE is integrated with IAR Embedded Workbench but is also powerful on its own and can be used stand-alone.
- Graphical state machine design
- Automatic code generation providing very compact C/C++ code
- Formal verification of the design model to find eg dead-ends or unreachable states