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 56: Line 68:
 
!
 
!
  
<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;">T-VEC is constantly improving our tools. Some of the things that we are working on are:</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>
 
|-
 
|-
|Global Variables are to be added to support global state in TTM.
+
|T-VEC is constantly improving our tools. Upcoming changes:
 
|-
 
|-
|Constant structures and arrays in TTM
+
|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>
 +
 
 
|-
 
|-
|Model includes referencing parametrized models in TTM
+
|VGS
|-
+
<ul><li>Floating point precision control option in VGS</li>
|Temporal Operators in TTM
+
<li>Visual display of dcp path in Matlab.</li>
|-
+
<li>Test Driver Access to TTM Comments/Requirement Text</li>
|Improved simulation test drivers in SL2TVEC.
+
<li>State variable and associated initialization mechanisms</li>
|-
+
<li>Variation for array expression that is more concise for values applied to entire arrays</li>
|Tunable workspace parameter support in SL2TVEC.
+
</ul>
|-
+
|Combining the separate SL2TVEC GUI tools into one GUI.
+
|-
+
|Floating point precision control option in VGS.
+
|-
+
|Visual display of dcp path in Matlab.
+
 
|-
 
|-
 
|}
 
|}

Latest revision as of 10:46, 9 February 2014