Token-Aware Completion Functions for Elastic Processor Verification

<table>High-level organization of elastic 5-stage DLX processor with five additional elastic buffers <svg height="13.075" id="M21" style="vertical-align:-1.76814pt" version="1.1" viewbox="0 0 76.25 13.075" width="76.25" xmlns="http://www.w3.org/2000/svg">
<g transform="matrix(1.25,0,0,-1.25,0,13.075)">
<g transform="translate(72,-61.54)">
<text transform="matrix(1,0,0,-1,-71.95,63.35)">
<tspan style="font-size: 12.50px; " x="0" y="0">𝑙</tspan>
<tspan style="font-size: 12.50px; " x="3.9759541" y="0">1</tspan>
<tspan style="font-size: 12.50px; " x="10.227454" y="0">,</tspan>
<tspan style="font-size: 12.50px; " x="15.428702" y="0">𝑙</tspan>
<tspan style="font-size: 12.50px; " x="19.404655" y="0">2</tspan>
<tspan style="font-size: 12.50px; " x="25.656157" y="0">,</tspan>
<tspan style="font-size: 12.50px; " x="30.869907" y="0">…</tspan>
<tspan style="font-size: 12.50px; " x="45.448406" y="0">,</tspan>
<tspan style="font-size: 12.50px; " x="50.662155" y="0">𝑙</tspan>
<tspan style="font-size: 12.50px; " x="54.638111" y="0">5</tspan>
</text>
</g>
</g>
</svg>.</table>

Journal of Electrical and Computer Engineering

Token-Aware Completion Functions for Elastic Processor Verification

Figure 1