Published March 27, 2013.
This is the release for IAR visualSTATE 7.1.1
Highlights in this release include:
-
Submachine states and re-usable sub state machines
-
Design stereotypes
-
Open API for programmatic access to design models for off-line manipulation.
-
New verification mode for improved formal verification
-
ControlCenter for remote control of the state machine simulator
-
XMI Import/Export
-
Improved C header file import
The same installer can be used for the IAR visualSTATE Baseline edition.
Read the release notes carefully for information on new functionality and important issues.
Download installer for Windows (
87.5 MB)
| Languages: | English, Japanese |
A valid Support and Update Agreement is required for this download.
How to Install:
Unzip the zip file to a convenient location and locate autorun.exe in the unpacked folder. Start autorun and follow the instructions. If this is the first time you install visualSTATE and have selected the electronic licensing or the network licensing option.