事务级形式验证技术及8051验证模型

提出一种基于事务的用于电路系统的形式验证方法(TBFV)．应用该方法，验证工程师可以在行为级对系统进行验证，无需了解设计的细节．为了对该方法进行示范，验证了8051的RTL级实现，并给出了8051指令集的TBFV模型．     

混合ARQ机制的性能分析

高速无线数据服务的需求的增长,要求下一代无线网络显著提高其吞吐量。文章研究了自动重发请求(ARQ)机制,来满足这些新的要求。针对基于速率兼容纠错码的速率自适应I类混合ARQ机制和增量冗余重传II类混合ARQ机制,提出了一种系统框架,并对其在无线瑞利衰落信道上的性能进行了分析。数值结果表明,增量冗余重传(IRR)II类HARQ机制与速率自适应(RA)I类HARQ机制相比,有较高的吞吐量,而RAI类HARQ机制的延迟较小。     

无线ATM中的ARQ机制

由于无线信道的多径、衰落等特性,无线ATM通信需要有效的、适合于多媒体业务在无线信道传输的差错控制方案.本文介绍了基本的差错控制机制--自动反馈重传,对其三种工作方式进行了分析;而后对应用于无线ATM网络的自适应HARQ系统进行了研究,并分析了与自适应速率传输或FEC冗余量相结合的系统性能.仿真结果显示结合自适应速率传输的系统性能总是好于传统HARQ,而带优先级冗余的自适应HARQ系统,与固定冗余系统相比,也可以提供较好的性能.     

无线调度算法

为满足无线应用中的Qos要求,调度算法是很重要的。由于无线网络变化的链路错误率和容量,因此为其设计调度算法非常有挑战性。近来提出了多种适合无线网络的调度算法。该文分析了3种基于TDD的调度算法。讨论了各种算法的实现过程和优缺点,最后对它们的性能进行比较．得出了有意义的结论。