Product news
|
|
Version 6.1
of IAR
visualSTATE
includes the
following news
and
enhancements:
|
Generation of
human-readable
code
|
|
In visualSTATE
6.1 it is
possible to
choose between
the
size-efficient
table-based code
generation or a
new format
intended to be
human-readable.
This new format
is based on a
straight
translation to
switch and if
statements. For
more
information, see
the release note
for the Coder.
|
Build
integration with
IAR Embedded
Workbench
|
|
The visualSTATE
installation
will install a
build
integration
plug-in for
existing IAR
Embedded
Workbench
installations
with an IDE
version of 5.1
or higher.
visualSTATE
project files
(*.vsp) can then
be added to an
IAR Embedded
Workbench
project and code
generation of
the visualSTATE
model will be
performed when
building the IAR
Embedded
Workbench
project. The
generated C
source files do
not have to be
included in the
project. For
more
information, see
the release note
for the Coder.
|
Verificator
improvements
|
|
There is now an
option for the
Verificator to
use advanced
space saving
heuristics. This
option can make
a big difference
in CPU and
memory usage
when verifying
large and very
large models.
See the release
note for the
Verificator for
more
information.
|
Logging to test
sequence files
|
|
Logging to test
sequence files
has now been
introduced for
the C-SPYLink
plug-in, making
it possible to
log model data
while executing
on target. In
connection with
these features,
the user
interface for
the C-SPYLink
plug-in has been
slightly
changed. |