基于面向多种覆盖率驱动的验证方法研究

验证工作就是将设计者的意图与观察到的被验证的IC的预期行为进行的比较和判断.该文采用基于面积多种覆盖率驱动的验证分析流程,对TD-SCDMA终端芯片的ZSP_UART模块的功能覆盖、结构覆盖、断言覆盖、时序覆盖等多种覆盖率进行详细的分析.然后根据分析得出的数据再次进行验证,直到验证的完整性满足设计者的要求.覆盖率是否达到预期的要求,可以作为判断验证工作质量的依据.     

基于时槽预定的加权公平调度策略

面向以太网的物理帧时槽交换(Ethernet-oriented physical frame timeslot switching,简称EPFTS)技术以用户域内使用最为广泛的以太网MAC(media access control)帧为运载对象、以定长物理层帧EPF(Ethernet-oriented physical frame)的传输时间为时槽,作为数据传输与交换的基础.针对EPFTS交换技术的特点,提出了一类新的调度策略--时槽加权的公平调度原则(timeslot-reservation based weighted fair scheduling,简称TRWFS),以解决EPFTS交换机中的业务数据调度问题.TRWFS以连接建立阶段各业务流预定的时槽数为基础,控制交换矩阵仲裁过程中各输入端向输出端请求转发信元的时刻,借用一般轮询算法的二相迭代机制来解决端口冲突问题.还给出了TRWFS的3种实现算法,表明TRWFS的实现复杂度可与一般Round-Robin调度算法相当.仿真实验结果进一步表明,即使在重负载条件下,TRWFS仍可有效保障EPFTS交换机各端口对上的预定时槽数,并在平均传输时延和吞吐率保障方面优于其他经典调度算法.     

Fuzzy区间

本文谨对Fuzzy数的比较和Fuzzy区间的基本内容作一统一的论述,也包括笔者的一些工作。以下均在实数域R上讨论Fuzzy集合。 <一>Fuzzy数定义1.1 模糊数是R上的正规凸模糊集,且满足: (1)(a∈R) (2)μ_(x)是分段连续函数。 (3)Supp有界。     

高职制图CAI课件的设计原则

主要探讨了高职制图CAI设计的现代教育、教学、建构主义等教育理论基础及科学性、实教性、欣赏性、辅助性等设计原则。     

基于ZSP500实现TD-MBMS同时隙网技术

介绍了TD-SCDMA系统的新技术TD-MBMS的系统结构,并简介了ZSP500.最后通过ZSP500实现了TD-MBMS中的同时隙网技术.     

曲线等距线的测设

导出了圆曲线和缓和曲线等距线的参数方程,为正确测设道路曲线等距线提供了理论依据,并进行了坐标转换,便于现场施测。     

提高模块级的验证质量的方法学研究

验证工作中验证计划对于整个ASIC设计工作起到十分重要的作用,模块级验证质量是通过覆盖率分析进行验证质量评估.本文对TD-SCDMA终端芯片的ARM_UART模块的多种覆盖率进行了详细的分析,通过分析覆盖率得出的数据再次进行验证,直到验证的完整性满足设计者的要求.模块覆盖率是否达到验证计划的要求,可以作为判断验证工作质量的依据,所以针对模块级的芯片验证工作是以多种覆盖率为驱动的验证分析对象的,提高模块级验证质量方法是以覆盖率驱动技术为验证技术支持的.     

对实验室内水质质量控制教学的探索

目前,国际上美国、日本都以法律形式规定了监测数据必须要有质量控制和质量保证。随着我国环保事业的发展,环境监测质量保证和质量控制系统越来越完善。为使我校环境保护专业的毕业生符合基层环境监测岗位的要求,环境监测课的任务是培养学生在校期间达到劳动　部和国家环保局颁发的《中华人民共和国环境保护工人技术等级》初级工水平,并取得职业资格证书。质量保证是环境监测工作的生命线,实验室内质量控制的目的在于控制分析人员的实验误差,使之达到允许限的范围,以保证测试结果的精密度和准确度能在给定的置信水平下,有把握达到规定的质量…     

浅析弹性分组环中几种公平算法

弹性分组环（RPR：Resilient Packet Ring）是由IEEE 802．17工作组标准化的一种新的城域网技术。公平算法是其中重要的技术之一。本文简单介绍了弹性分组环（RPR）的基本结构,以及弹性分组环中的三种常用的公平算法,并作了简单的比较。