, using the <span class="bold"><strong>INT_DIV</strong></span>
operation defined above, then output satisfies the equation q*input1 +
output = input0, using the <span class="bold"><strong>INT_MULT</strong></span>
and <span class="bold"><strong>INT_ADD</strong></span> operations.
</p>
</div>
<div class="sect2">
<div class="titlepage"><div><div><h3 class="title">
<a name="cpui_int_sdiv"></a>INT_SDIV</h3></div></div></div>
<div class="informalexample"><div class="table">
<a name="intsdiv.htmltable"></a><table 