王彬
- 作品数：12 被引量：19H指数：3
- 供职机构：上海交通大学电子信息与电气工程学院电子工程系更多>>
- 发文基金：国家高技术研究发展计划美国国家科学基金国家教育部博士点基金更多>>
- 相关领域：电子电信自动化与计算机技术更多>>
- 事务级形式验证技术及8051验证模型被引量：2
- 2003年
- 提出一种基于事务的用于电路系统的形式验证方法 (TBFV) 应用该方法 ,验证工程师可以在行为级对系统进行验证 ,无需了解设计的细节 为了对该方法进行示范 ,验证了 80 5 1的RTL级实现 ,并给出了 80 5
- 王彬任艳颖林争辉
- 关键词：微处理器
- 混合ARQ机制的性能分析被引量：4
- 2003年
- 高速无线数据服务的需求的增长,要求下一代无线网络显著提高其吞吐量。文章研究了自动重发请求(ARQ)机制,来满足这些新的要求。针对基于速率兼容纠错码的速率自适应I类混合ARQ机制和增量冗余重传II类混合ARQ机制,提出了一种系统框架,并对其在无线瑞利衰落信道上的性能进行了分析。数值结果表明,增量冗余重传(IRR)II类HARQ机制与速率自适应(RA)I类HARQ机制相比,有较高的吞吐量,而RAI类HARQ机制的延迟较小。
- 任艳颖张文军王彬
- 关键词：速率自适应ARQ
- 多径信道下一种线性空时多用户检测方法
- 2002年
- 给出了用于DS/CDMA系统的线性空时多用户接收机的数学模型,分析了在多用户空时接收机中空域处理和时域匹配滤波的作用,引入SOR算法,并将其改进应用到多径信道下的线性空时多用户检测中。通过迭代避免了直接求逆运算,显著降低了运算复杂度。仿真表明:线性空时多用户接收机能够明显提高接收机性能,并且随着接收机天线数的增加性能明显提高。
- 王彬徐昌庆王洪洋宋文涛
- 关键词：空时多用户检测多径信道
- 基于事务形式验证(TBFV)及8051的TBFV模型被引量：3
- 2003年
- 提出了一种基于事务的形式验证方法(TBFV),为待验证的系统构造功能验证模型,每个模型包括指令序列、输入变量、输出变量、输出函数、输出判定函数.这些可用Kripke结构来描述.这些功能验证模型实现了特定的事务,从而可以将一般的验证要求映射为具体的实现属性.这样,验证者无需了解设计的细节,可在较高层次上对系统行为进行验证.为了证明该方法的效率,分别用该方法和传统的形式验证方法验证了8051的RTL实现.8051中所有的指令都进行了验证,并给出了相应的功能验证模型.实验结果表明,采用该方法可大大节省验证工程师的时间.功能验证模型和验证指令可以在其他设计中复用.
- 王彬林争辉
- 验证高层综合操作流图等价性的一种有效形式方法
- 2005年
- 根据当前高层综合系统不跨越控制边界进行代码移动的特点,提出了临界路径的概念,将行为规范与RTL实现的操作流图分解成模型检查工具可以接受的验证目标.为了便于自动验证高层综合过程,给出了验证自动机模型.实验结果表明,应用该方法,可简化状态空间,得到更高的验证效率,并保证规范与RTL实现的一致性.
- 王彬林争辉
- 关键词：RTL图分解代码自动机模型
- 无线ATM中的ARQ机制
- 2003年
- 由于无线信道的多径、衰落等特性,无线ATM通信需要有效的、适合于多媒体业务在无线信道传输的差错控制方案。本文介绍了基本的差错控制机制——自动反馈重传.对其三种工作方式进行了分析;而后对应用于无线ATM网络的自适应HARQ系统进行了研究.并分析了与自适应速率传输或FEC冗余量相结合的系统性能。仿真结果显示结合自适应速率传输的系统性能总是好于传统HARQ。而带优先级冗余的自活应HARQ系统。与固定冗余系统相比。也可以提供较好的性能。
- 任艳颖张文军王彬
- 大规模集成电路中的形式验证技术研究
- 在集成电路领域，验证技术的发展滞后于设计技术。对于复杂的系统，传统的验证方法，例如仿真和测试方法，无法在合理的时间内处理验证问题。形式方法利用数学逻辑，证明系统实现是否满足系统功能与安全属性。本文所有论述均围绕着大规模集...
- 王彬
- 关键词：大规模集成电路
- 文献传递网络资源链接
- 硅衬底RF集成电路螺旋电感品质因数Q的优化被引量：6
- 2003年
- 详细分析了RF集成电路硅衬底螺旋电感 (SIOS)的一种物理模型 ,该模型考虑了衬底效应。通过MATLAB仿真 ,得出了衬底损耗对螺旋电感品质因数Q的影响。在此基础上对金属线宽和线间距进行了严格的数值优化 ,实现了在设计要求不变的前提下螺旋电感Q的优化 ,并进一步推导出了最优化线圈宽度的近似解析式。采用优化结果进行设计 。
- 潘瑞毛军发王彬
- 关键词：品质因数串联电阻串联电容寄生参数
- 协同形式验证环境Co-Formal的建立与应用
- 2003年
- 形式验证存在状态爆炸的问题,特别是软硬件的协同验证难以解决.为此研究了片上系统的协同形式验证问题,给出了一种高效的协同形式验证环境Co-Formal,用于从行为级到具体实现级的软硬件协同形式验证.以一个实际的硬件系统验证了该环境的可用性.
- 王彬林争辉
- 关键词：片上系统
- 无线调度算法被引量：3
- 2004年
- 为满足无线应用中的QoS要求,调度算法是很重要的。由于无线网络变化的链路错误率和容量,因此为其设计调度算法非常有挑战性。近来提出了多种适合无线网络的调度算法。该文分析了3种基于TDD的调度算法,讨论了各种算法的实现过程和优缺点,最后对它们的性能进行比较,得出了有意义的结论。
- 任艳颖张文军王彬
- 关键词：调度算法QOS无线网络
