【摘 要】
：
针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降低了传统验证过程中对验证者个人经验的依赖,
论文部分内容阅读
针对符合IEEE 802.11的MAC协议的芯片设计,介绍一种新的验证方案。该方案以功能覆盖率为驱动,使用约束随机的激励完成验证,大大降低了传统验证过程中对验证者个人经验的依赖,同时为验证的完备性提供了有效的度量手段。该方案使用Sysytem Verilog语言实现,根据VMM验证思想,搭建了一个层次化的逻辑验证环境。与传统的验证环境相比,该方案中的验证环境在验证自动化、组件重用等方面有突出的改进。实践证明,新的验证方案能够充分保证验证的完备性,同时能有效地提高验证效率,缩短验证周期。
其他文献
设计一种研究数字控制（尤其是各种数字插补算法及其性能和状态的研究）的专用数字图示仪，其适用于数控人才培养。该图示仪能对控制芯片发出的各类脉冲和电平信号实时捕获，并进行分
使用数学分析方法研究基于IEEE802．11 DCF的Ad Hoc网络中节点传输半径和路由策略选择问题。在节点均匀分布的多跳网络中，使用四种路由策略以及不同的节点传输半径设置，试图找出
通过对贵州省电解锰行业生产废水循环模式的调查，针对水质、水量特征进行改造：电解锰生产冷却循环水的强制排污水可降级作为电解产品和阴极板的冲洗水使用，处理后的含铬锰废水可
以清洁生产的理念,对贵州省电解锰行业生产废水循环模式进行了优化,将冷却系统强制排污水作为后处理系统的补充水,后处理系统产生的含铬锰废水处理后先系统小循环,剩余水进入
为提高客车维修质量，介绍从过程检验、配件质量控制、维修档案等方面来控制客车维修质量的管理经验。
通过对客车行业物料管理中单车物料变更情况的分析，阐述BOM差异领料表的原理及实际应用。
故障分析是电力系统中的一个重要环节,现有的录波分析软件多为C/S架构,系统兼容性差,客户端软件升级与服务器维护易给用户带来使用不便。随着网络发展,电力系统管理趋于网络