1076_14.html

basic exemple. Do an ADD of two 4 bits numbers

</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind: </FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Value. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any prefix A that is appropriate for an array object, or an alias thereof, or that denotes a constrained array subtype </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Parameter:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A locally static expression of type <I>universal_integer</I>, the value of which must not exceed the dimensionality of A. If omitted, it defaults to 1. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<I><FONT COLOR="#000000"><P ALIGN="JUSTIFY">universal_integer</I>. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Number of values in the Nth index range; i.e., if the Nth index range of A is a null range, then the result is 0. Otherwise, the result is the value of T'POS(A'HIGH(N)) - T'POS(A'LOW(N)) + 1, where T is the subtype of the Nth index of A. </FONT></TD>
</TR>
<TR><TD WIDTH="60%" VALIGN="MIDDLE" COLSPAN=2>
<FONT COLOR="#000000"><P ALIGN="JUSTIFY"><A NAME="A_ASCENDING">A'ASCENDING [(N)]</A></FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Value. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any prefix A that is appropriate for an array object, or an alias thereof, or that denotes a constrained array subtype. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Parameter:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A locally static expression of type <I>universal integer</I>, the value of which must be greater than zero and must not exceed the dimensionality of A. If omitted, it defaults to 1. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Type Boolean. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">TRUE if the Nth index range of A is defined with an ascending range; FALSE otherwise. </FONT></TD>
</TR>
<TR><TD WIDTH="60%" VALIGN="MIDDLE" COLSPAN=2>
<FONT COLOR="#000000"><P ALIGN="JUSTIFY"><A NAME="S_DELAYED">S'DELAYED [(T)]</A></FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Signal. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any signal denoted by the static signal name S. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Parameter:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A static expression of type TIME that evaluates to a nonnegative value. If omitted, it defaults to 0 ns. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">The base type of S. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A signal equivalent to signal S delayed T units of time. The value of S'DELAYED(t) at time T<SUB>n</SUB> is always equal to the value of S at time T<SUB>n-t</SUB>. Specifically: </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="79%" VALIGN="MIDDLE" COLSPAN=2>
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Let R be of the same subtype as S, let T = 0 ns, and let P be a process statement of the form<BR>
</P>
<PRE ALIGN="JUSTIFY">P:     <B>process</B> (S)
       <B>begin</B> 
          R &lt;= <B>transport</B> S <B>after</B> T; 
       <B>end process</B> ;</PRE>
<P ALIGN="JUSTIFY"><BR>
<BR>
Assuming that the initial value of R is the same as the initial value of S, then the attribute 'DELAYED is defined such that S'DELAYED(T) = R for any T. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY"><A NAME="S_STABLE">S'STABLE [(T)]</A></FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Signal. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any signal denoted by the static signal name S. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Parameter:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A static expression of type TIME that evaluates to a nonnegative value. If omitted, it defaults to 0 ns. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Type Boolean. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A signal that has the value TRUE when an event has not occurred on signal S for T units of time, and the value FALSE otherwise. (See </FONT><A HREF="1076_12.HTM#12.6.2"><FONT COLOR="#000000">12.6.2 </FONT></A><FONT COLOR="#000000">.) </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY"><A NAME="S_QUIET">S'QUIET [(T)]</A></FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Signal. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any signal denoted by the static signal name S </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Parameter:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A static expression of type TIME that evaluates to a nonnegative value. If omitted, it defaults to 0 ns. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Type Boolean. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A signal that has the value TRUE when the signal has been quiet for T units of time, and the value FALSE otherwise. (See </FONT><A HREF="1076_12.HTM#12.6.2"><FONT COLOR="#000000">12.6.2 </FONT></A><FONT COLOR="#000000">.) </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY"><A NAME="S_TRANSACTION">S'TRANSACTION</A></FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Signal. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any signal denoted by the static signal name S. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Type Bit. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result: </FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A signal whose value toggles to the inverse of its previous value in each simulation cycle in which signal S becomes active. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Restriction:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A description is erroneous if it depends on the initial value of S'Transaction. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY"><A NAME="S_EVENT">S'EVENT</A></FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">&nbsp;</TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Kind:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Function. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Prefix:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Any signal denoted by the static signal name S. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result Type:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Type Boolean. </FONT></TD>
</TR>
<TR><TD WIDTH="21%" VALIGN="MIDDLE">&nbsp;</TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">Result:</FONT></TD>
<TD WIDTH="40%" VALIGN="TOP">
<FONT COLOR="#000000"><P ALIGN="JUSTIFY">A value that indicates whether an event has just occurred on signal S. Specifically: </FONT></TD>