郭乐
- 作品数：3 被引量：5H指数：1
- 供职机构：西安电子科技大学通信工程学院综合业务网理论与关键技术国家重点实验室更多>>
- 发文基金：陕西省自然科学基金国家自然科学基金国家科技支撑计划更多>>
- 相关领域：自动化与计算机技术电子电信更多>>
- 基于UVM的HINOC PHY系统验证
- 2017年
- 基于UVM提出了一种验证HINOC PHY系统的有效方法,并基于该方法对HINOC PHY系统的关键模块进行了充分而高效的验证。本文阐述了该方法的设计思想、验证过程和验证结果。本文所采用的工作在短时间内实现了对HINOC PHY系统各模块设计的正确性和完备性的验证,体现出该验证方法在复杂逻辑功能验证中的优势。
- 欧阳峰郭乐金淼
- 关键词：PHY
- 基于博弈论的无线传感器网络优化MAC协议被引量：4
- 2009年
- 将信道竞争过程建模为非完全信息动态博弈,解出此博弈的纳什均衡。在无线传感器网络媒体接入控制协议S-MAC的基础上,根据求得的纳什均衡,提出IIDG-MAC协议。仿真结果表明,与S-MAC相比,IIDG-MAC可以提高分组发送成功率,降低分组重传能耗、发送时延和比特丢弃率,提高系统吞吐量。
- 赵力强郭乐张国鹏张海林
- 关键词：博弈论媒体接入控制纳什均衡
- 基于UVM的HIMAC验证平台的设计被引量：1
- 2017年
- HINOC是一种新型同轴电缆宽带接入技术。HINOC系统的媒质接入控制层核心模块HIMAC的功能验证是整个HINOC 2.0 SOC芯片验证工作的重要组成部分。围绕HIMAC模块的功能验证这一目标,基于通用验证方法学(Universal Verification Methodology,UVM)机制设计实现了HIMAC模块的功能验证平台,阐述了该平台的结构和实现原理,并利用该平台实现了对HIMAC模块组帧拆帧功能的验证。采用UVM设计的验证平台可重用性强、自动化程度高、层次清晰,有效提高了验证效率,为HIMAC的全面验证和HINOC芯片设计打下了良好基础。
- 欧阳峰李婷婷金淼郭乐
