Difference between revisions of "Main Page"

From T-VEC Wiki
Jump to: navigation, search
(Introduction)
 
Line 14: Line 14:
 
<h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
<h2 style="margin:0;background-color:#cef2e0;font-size:120%;font-weight:bold;border:1px solid #a3bfb1;text-align:left;color:#000;padding:0.2em 0.4em;">Recent updates</h2>
 
|-
 
|-
|style="color:#000"|May-2009: Updates to all the T-VEC tools have been released. Major changes include:
+
|style="color:#000"|2013: Notable updates to the T-VEC tools:
<p>VGS changes:
+
 
<ul>
 
<ul>
<li>The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.
+
<li>VGS: updates to the Visual Environment and report generation</li>
</li>
+
<li>VGS: new coverage analyzer mechanisms for skipping DCPs related to Inlined Subsystems</li>
 +
<li>TTM: support for character arrays and support for indexing strings like arrays</li>
 +
<li>TTM: support for additional array element assignment syntax tableName[i] = value</li>
 +
<li>TTM: support for  expressions in array indexes
 +
<li>All: updates related to Microsoft Redistributable libraries</li>
 +
<li>Demonstration integration with MetaEdit+</li>
 
</ul>
 
</ul>
</p>
+
 
<p>TTM changes:
+
|-
 +
|style="color:#000"|2012: Notable updates to the T-VEC tools:
 
<ul>
 
<ul>
<li>Added support for 1-Dimensional Array variables.
+
<li>SL2TVEC: sfunction substitution mechanism</li>
</li>
+
<li>SL2TVEC: Support for the Bus-to-Vector block</li>
<li>Added the concept of Local table variables for specifying and utilizing persistent state information.
+
<li>SL2TVEC: Support for Direct Lookup ND block</li>
</li>
+
 
</ul>
 
</ul>
</p>
+
 
<p>SL2TVEC changes:
+
|-
 +
|style="color:#000"|2010: Notable updates to the T-VEC tools:
 
<ul>
 
<ul>
<li>Improved support for a variety of blocks.
+
<li>VGS: include Universal Quantification over arrays, with integrated support through TTM</li>
</li>
+
<li>VGS: support for the new “Subsystem Inlining Depth”</li>
<li>Improved stateflow support.
+
<li>TTM: support for 1-Dimensional Array variables</li>
</li>
+
<li>TTM: Local table variables for specifying and utilizing persistent state information</li>
<li>Improved C test driver support.
+
</ul>
</li>
+
 
<li>Improved simulation test driver support.
+
|-
 +
|style="color:#000"|2009: Updates to all the T-VEC tools have been released. Major changes include:
 +
<p>VGS changes:
 +
<ul>
 +
<li>The Scenario View - This provides customer configuration of test vector generation on a DCP by DCP, or sets of DCPs, basis.
 
</li>
 
</li>
 
</ul>
 
</ul>
 
</p>
 
</p>
 +
<p>TTM changes: 1-Dimensional Array variables, and Local table variables for specifying and utilizing persistent state information.
 +
</p>
 +
 
|-
 
|-
|style="color:#000"|October-2008: New coverage options name [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  
+
|style="color:#000"|October-2008: New coverage option [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  
 
|-
 
|-
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
 
|style="color:#000"|Feb-2008: Enhancements to TTM/T-VEC Model Checking features of Output and Term Table Disjointedness Checking and Mode Machine Race Condition Checking.
Line 58: Line 70:
 
<h2 style="margin:0;background-color:#cedff2;font-size:120%;font-weight:bold;border:1px solid #a3b0bf;text-align:left;color:#000;padding:0.2em 0.4em;">Upcoming changes</h2>
 
<h2 style="margin:0;background-color:#cedff2;font-size:120%;font-weight:bold;border:1px solid #a3b0bf;text-align:left;color:#000;padding:0.2em 0.4em;">Upcoming changes</h2>
 
|-
 
|-
|style="color:#000"|Adding support for [[T-VEC_Tablular_Modeler_Examples#Arrays | Arrays]] in TTM - this is a significant extension to the SCR method. Please send any comments or suggestions to support@t-vec.com.
+
|T-VEC is constantly improving our tools. Upcoming changes:
 
|-
 
|-
|Table Variable are to be added to support local table variables for State and Quantification of arrays.
+
|TTM
 +
<ul><li>Global Variables to support global state</li>
 +
<li>Support for control/closed loop feedback related requirement</li>
 +
<li>Constant structures and arrays</li>
 +
<li>Model includes referencing parametrized models</li>
 +
<li>Temporal Operators in TTM</li>
 +
</ul>
 +
 
 
|-
 
|-
|Support for character indexing of strings
+
|VGS
 +
<ul><li>Floating point precision control option in VGS</li>
 +
<li>Visual display of dcp path in Matlab.</li>
 +
<li>Test Driver Access to TTM Comments/Requirement Text</li>
 +
<li>State variable and associated initialization mechanisms</li>
 +
<li>Variation for array expression that is more concise for values applied to entire arrays</li>
 +
</ul>
 
|-
 
|-
 
|}
 
|}

Latest revision as of 10:46, 9 February 2014