排序方式: 共有4条查询结果,搜索用时 15 毫秒
1
1.
提出一种基于事务的用于电路系统的形式验证方法(TBFV).应用该方法,验证工程师可以在行为级对系统进行验证,无需了解设计的细节.为了对该方法进行示范,验证了8051的RTL级实现,并给出了8051指令集的TBFV模型. 相似文献
2.
高速无线数据服务的需求的增长,要求下一代无线网络显著提高其吞吐量。文章研究了自动重发请求(ARQ)机制,来满足这些新的要求。针对基于速率兼容纠错码的速率自适应I类混合ARQ机制和增量冗余重传II类混合ARQ机制,提出了一种系统框架,并对其在无线瑞利衰落信道上的性能进行了分析。数值结果表明,增量冗余重传(IRR)II类HARQ机制与速率自适应(RA)I类HARQ机制相比,有较高的吞吐量,而RAI类HARQ机制的延迟较小。 相似文献
3.
4.
1