r" colspan="2"><span class="bold"><strong>Semantic statement</strong></span></td>
  <td></td>
</tr>
<tr>
  <td></td>
  <td colspan="2"><code class="code">output = input0 - input1;</code></td>
</tr>
</tfoot>
</table>
</div></div>
<p>
This is standard integer subtraction. It works for either unsigned or
signed interpretations of the integer encoding (twos complement). Size
of both inputs and output must be the same. The subtraction is of
course performed modulo this size. Overflow and borrow conditions are
ca