• New Release: T-VEC Tabular Modeler (TTM) 4.2.1
• New Release: Test Vector Generator System (VGS) 3.3.0
• New Release: T-VEC Tester for Simulink and Stateflow 4.2.0
• T-VEC Wiki
• T-VEC Forum is now available.
• T-VEC Completes Model for Government Smart Card Interoperability Specification
• Vision Microsystems distributes T-VEC in China
• Fujisetstubi distributes T-VEC in Japan

• Archives

New Release: T-VEC Tabular Modeler (TTM) 4.2.1

The T-VEC Tabular Modeler (TTM) 4.2.0 is now generally available.

New and improved functionality includes:

• Added an html startup page where recent news, links to the latest release versions, “getting started” information, and recent TTM model links can be found. Startup html page is also available via the View>Start Page toolbar menu selection.
• Enhanced the find function for searches to finer-grained model items in structure and ranges of model elements
• Numerous updates to model checking
• Enhancements to disjointness and race condition checking
• Added support for the inlining of FunctionTable references
• Extended the input parameter list of event tables and mode tables to include the previous state version of input variables that are only used within lower level condition table references. In the past, only the current state version of such input variables was included, because condition tables are considered invariant across any specific event transition and so the previous and current state values should always be the same. But to support test driver generation schema development, it has been found to be useful to have both forms of each input variable included in the input space.
• Updates to the TTM expression checker and translator are being created to support "arrays" - ask your TTM support person if you are interested in an early trial. Your suggestions may impact the way array modeling is supported in TTM.

Please see the Release Notes for more details on the changes in this release.