The final simulation experiment shows that the new model can better the HOL block, and improve the performance of input-queued ATM switch dramatically.
Hardware implementation and VCS simulation results show that the flow control algorithm in this paper is not only simple but also avoid HOL blocking efficiently.
硬件实现和VCS仿真的结果证明本文提出的流量控制算法不仅硬件实现简单而且能有效地防止队头阻塞。
HOL is more expressive than first-order logic and enables a concise description of complex properties.