【摘 要】
：
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域（Clock Domain Crossing,CDC）设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次
论文部分内容阅读
随着高性能、低功耗芯片的发展,多时钟域和跨时钟域（Clock Domain Crossing,CDC）设计越来越多,CDC设计和验证越来越重要。阐述了5种常用的同步器设计模板。验证方法提出了层次化的验证流程：结构化检查,基于断言的验证（assertion-based verification,ABV）,对关键模块进行形式化验证。CDC设计应用于研发的一款65nm工艺SOC芯片（最高主频1GHz、10个时钟域设计、多种工作模式）,该芯片已流片回来。经测试,芯片的功能正确,说明设计和验证方法是完备的。
其他文献
随着人脸识别在门禁、视频监控等公共安全领域中的应用日益广泛,人脸特征数据的安全性和隐私性问题成为备受关注的焦点。近年来出现了许多关于生物特征及人脸特征的安全保护算法,这些算法大都是将生物特征数据转变为二值的串,再进行保护。针对已有的保护算法中将实值的人脸特征转换为二值的串,从而导致信息丢失的不足,应用模糊逻辑对人脸模板数据的类内差异进行建模,从而提高人脸识别系统的性能。给出了算法在CMU PIE的
可验证加密签名是保证通过开放的Internet进行安全电子商务活动的有效方法之一。基于Waters数字签名方案,提出一个基于身份的可验证加密签名方案。方案具有可验证性和可恢复
提出了一种结合肤色信息与宽度优先搜索的AAM(Active Appearcance Models)人脸检测算法。该算法充分利用彩色人脸图像中的肤色信息,建立肤色模型,结合形态学运算和宽度优先搜索算法,定位人脸重心,有效地缩小了搜索窗口。实验表明,和AAM算法相比,该算法不仅检测率提高,而且速度提高60%以上。
基于统计测试的Markov使用链模型对安全关键系统的可靠性估计提出了一种有效的方法。该方法利用重要抽样技术在保证估计的无偏性条件下，以可靠性估计的方差最小为目的，通过Ali
提出了一种用于无线实时流媒体传输的数据链路层自适应混合FEC／ARQ控制策略，以显著提高接收方的播放质量。该策略采用跨层设计的方法，基于Kalman滤波器预测当前的网络状态，自适应
视频文字信息在基于语义的视频分析、检索、提取中占有重要地位。根据视频中文字和背景的灰度变化程度不同,提出一种基于梯度离散余弦变换的视频文字定位方法:先对视频帧进行N×N分块,计算每一块的离散余弦变换系数,然后求出梯度算子的幅值,利用得到的幅值作为块强度进行平滑滤波以及形态学处理,最后对图像进行水平和垂直方向投影,统计字幕条数,并利用文本框标识文字区域,进而达到对视频文字定位的目的。仿真结果表明这种
自动组卷是高校实现考试规范化、科学化的重要手段。考生的平均成绩可以通过试卷的平均难度来控制。然而,如何确定各种难度的题量是关键技术。利用正态分布来确定各种难度的
BPEL（Business Process Execution Language）是一种编写基于web服务的自动化业务流程的语言，但不支持用户交互，用户交互可以通过人工任务实现。为此，提出一种在BPEL中支持人工任务
为了优化多中继协作通信系统的性能，提出了一种多中继混合转发协作传输策略（Multiple-Relay Hybrid -Forwarding Cooperative Transmission Scheme，MRHF-CTS）。该策略考虑多中继
针对有限域上计算离散对数的困难，提出了一种新的身份认证与密钥协商安全协议——PJY。PJY安全协议通过两次握手就可以验证通信双方的身份，同时产生对等的会话密钥。采用串空间