IAR visualSTATE allows developers to build their design from a high level, structure complex applications, step by step add functions in detail, and automatically generate code that is 100% consistent with the design. It also provides advanced formal verification, analysis and validation that can be used to make sure the applications behave as intended. To strengthen ease of use and simplify the design and test process for developers with very large projects, the state machine simulator in IAR visualSTATE has been updated to allow action function return values to be specified as a sequence of values to be returned on each invocation of the function. Further, simulation can now be driven by event sequence files created offline in an easy-to-use syntax. Other new functionality includes a search field which makes the specification of events, states and actions easier in designs with a huge number of design elements.
Also added to version 7.2 of IAR visualSTATE are updated user guides and documentation and a new license management system (LMS) that simplifies administration through features such as commuter licences, automatic licence activation and support for virtual servers.
IAR visualSTATE is completely integrated with the IAR Embedded Workbench C/C++ compiler and debugger toolchain. When using the tools together, full state machine debugging on hardware is available. IAR Systems also provides a free-standing Viewer for IAR visualSTATE users. The Viewer can be used to view, but not edit, model files and can be copied freely for sharing and discussing designs with stake holders outside the development team.
IAR Systems; www.iar.com/vs