TTM Version 4.5.0 (build 1689) for Windows NT 4.0, 2000, XP
This document contains the latest information about the
Standard and RM Editions of the T-VEC Tabular Modeler.
© Copyright T-VEC
Technologies, Inc., 2000-2009
Windows is a trademark of Microsoft Corporation registered in
and other countries.
All other trademarks and service marks are the property of their respective
The installed version of the Tabular Modeler can be checked
through the About Box opened with the Help | About menu command.
Release 4.5.0 5/09
GUI Fixes and
Added 1-dimensional arrays as primary data
types being supported by TTM and the TTM model translator.
TTM now resize the rows in various tables
to fit the text height. 
Corrected issue where TTM ignores the
auto-fix identifiers option when entering identifier for function parameters,
modes, and structure field. 
TTM will now properly remove a condition
table row when the delete key is pressed while the entire row is selected.
Corrected issue where TTM does not
properly select the newly create condition table row. TTM will now add a new
row to the condition table below the currently selected row. In addition, TTM
will automatically select the newly created row. 
Correct issue where TTM discard the
currently selected condition table row when a new row is added. 
Enhanced the find function to allow for
searching through function parameters, modes (in mode machines), or structure
fields without having the Function, Mode Machine or Types search option
selected. [0005622, 0005677]
Corrected an issue with DOORS integration
where the show requirement in TTM feature in DOORS fails to bring up the
correct TTM model. 
Added a way of defining local state table
variables. This feature is available in OUTPUT, TERM, and FUNCTION tables.
These state variables can be used for requirements that need to refer to
previous cycle values, as in control law expressions, filters, etc. .
Their use triggers the VGS vector generator to generate test vectors in both
T=0 and T>0 modes. In T=0 vector generation mode, the values specified as
initial values for these table variables are used as their actual test vector
input values for the T=0 test vector. 
Enhanced the DOORS integration dialog to
be more users friendly. The dialog is now expandable, to accommodate viewing of
long module names. 
Enhanced the expression-formatting feature
to allow for formatting of expression where an error exists. 
Corrected a problem with creating mapfile
variables for TTM variables of a structure type. The names of the mapfile
variables sometimes did not have all structure element levels in them.
Corrected issue where Structure type’s
field tables are not refreshing properly when changing selection between two
different structure types. 
Added vertical scroll bar to the cells in
the condition table. 
Added an option for specifying the number
of models to keep in the recently used model list. This option can be accessed
through the “Tools->Preferences->Advanced Settings” menu. 
Corrected an issue, which was causing the
type and other drop down menu to be broken when selecting a certain font. 
Translation and Model
Model check feature now supports the usage
of Binary Operator XOR (‘^’) and NOT (‘~’) for Boolean types. 
Model checker will now allow the usage of the
logical NOT (‘!’) and the bitwise NOT (‘~’) unary operators to be used with
non-Boolean variables or constants. Note: The logical NOT operator can be used
with any expression type, but it is not valid in the assignment expression. The
bitwise not is allowed in both the assignment and condition expression, but
will only work with Integer, Unsigned, and Boolean. 
Corrected an issue where the model checker
detects duplicate identifiers in the source or destination column in a Mode
Machine transition table. 
Corrected an issue where translation
failed when referencing structure fields with name separated by underscores
Model check will now flag the usage of the
degenerate form of floating-point numbers. Floating-point numbers have to be
proceeded by or ended with a zero (e.g. 1.0, 0.1, 0.1e15). Model check will no
longer treat number such as “1.” and “.1” to be valid. This error can be
corrected automatically by using the expression formatter, or enabling the
auto-format expression option. [0005868, 0005917]
The error message from automatic
expression checking (after an expression is changed) and the expression
formatter now display navigation link back to the location of the error.
Enhanced the model checker to report
improper table assignment expressions. The model checker will now flag
unsupported table assignment expression. In addition, the model checker will
now correctly report the improper usage of semi-colon in expressions. Note: The
semi-colon usage errors may be corrected using the expression formatter.
Clean up typos and enhanced the model
checking feature to include more descriptive model checking error messages.
[0005688, 0005890, 0005887, 0005879, 0005862, 0005790]
Model checking now issues warnings for
floating point constants with too many significant digits of information,
exceeding the useful representation capabilities of float (IEEE Float32) and
double (IEEE Float64) types.
Added support for “disjointness” checking
of parameterized Function Tables. 
Added informational mapfile variables
indicating what type of TTM table was the basis for the T-VEC subsystem
associated with a given map file. For example
<tableType> = 'TERM';
<tableType> = 'OUTPUT';
<tableType> = 'FUNCTION';
<tableType> = 'MODE_MACHINE';
And in the cases of TERM and OUTPUT tables.
<tableSubType> = 'CONDITION';
<tableSubType> = 'MODE_DEP_CONDITION';
<tableSubType> = 'EVENT';
<tableSubType> = 'MODE_DEP_EVENT';
These can then be referenced in test driver schemas for documentation of the
test driver and other user-custom purposes. 
Added support for Assertions involving
signals that may not be actually used in a given DCP. Previously, Assertions of
this type were being optimized out of the translation. However, there are valid
reasons for making assertions about signals that are not involved in the DCP
constraint or computations, so they are now processed and included in the
Assigning a term or function with table
references directly to the output retains the output type. 
TTMType objects are now fully expanded for
more than 1 level of structure during translation. 
Multiple RP0 constraints are now combined
into a single constraint. 
Model checker will now report all instance
of a mode machine’s mode that does not have all transition. 
Added model checker warning for incomplete
table definition. Boolean table that have constant output (for example, table
that always returns TRUE) will now be flagged as having incomplete definition.
Model checker will now flag assignment to
a function parameter as error. In addtion, the model checker will now report
when a function table of structured type has a formal function parameter with
the same name as a structure field. 
Added new default mapping variables to
mapping file which will be available through the object mapping mechanism in
<SCHEMA_HOME> = '<TTM_HOME>\test_drivers'
<TTM_HOME> = '<TVEC_HOME>\translators\ttm'
Note: These mapping variables will only be created if the merge or overwrite
mapping option is specified.