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"|2010: Notable updates to the T-VEC tools:
 +
<ul>
 +
<li>VGS: include Universal Quantification over arrays, with integrated support through TTM</li>
 +
<li>VGS: support for the new “Subsystem Inlining Depth”</li>
 +
<li>TTM: support for 1-Dimensional Array variables</li>
 +
<li>TTM: Local table variables for specifying and utilizing persistent state information</li>
 +
</ul>
 +
 
 +
|-
 +
|style="color:#000"|2009: Updates to all the T-VEC tools have been released. Major changes include:
 
<p>VGS changes:
 
<p>VGS changes:
 
<ul>
 
<ul>
Line 21: Line 30:
 
</ul>
 
</ul>
 
</p>
 
</p>
<p>TTM changes:
+
<p>TTM changes: 1-Dimensional Array variables, and Local table variables for specifying and utilizing persistent state information.
<ul>
+
<li>Added support for 1-Dimensional Array variables.
+
</li>
+
<li>Added the concept of Local table variables for specifying and utilizing persistent state information.
+
</li>
+
</ul>
+
</p>
+
<p>SL2TVEC changes:
+
<ul>
+
<li>Improved support for a variety of blocks.
+
</li>
+
<li>Improved stateflow support.
+
</li>
+
<li>Improved C test driver support.
+
</li>
+
<li>Improved simulation test driver support.
+
</li>
+
</ul>
+
 
</p>
 
</p>
 +
 
|-
 
|-
 
|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"|October-2008: New coverage option [[Simulink Coverage Options|Force Block Output Propagation]] that extends the ForcePaths/ForceConditions coverage options.  

Revision as of 16:21, 8 February 2014