[导读]跨时钟域验证可分为结构验证和功能验证两类。结构验证确保在需要的地方添加了适当的同步逻辑。功能验证确保已添加的逻辑实现了预期的功能。仅通过执行结构验证,就可以检测到许多CDC问题。这些检查比功能验证更简单、更快。因此,验证应从结构检查开始,检测到的问题应在转向功能验证之前进行修复。...
跨时钟域验证可分为结构验证和功能验证两类。结构验证确保在需要的地方添加了适当的同步逻辑。功能验证确保已添加的逻辑实现了预期的功能。仅通过执行结构验证,就可以检测到许多CDC问题。这些检查比功能验证更简单、更快。因此,验证应从结构检查开始,检测到的问题应在转向功能验证之前进行修复。基于规则的检查是执行结构验证的一种非常有效的方法。断言可以在设计中使用一些EDA工具自动推理证明,也可以将它们插入到RTL中带入仿真环境,这两种技术都有各自的优缺点。仿真结果取决于所使用的测试向量的质量。如果所应用的测试向量不能触发问题,那么该问题可能不会被检测到。很难确定正确的测试向量集,从而提供良好的覆盖范围。与仿真相比,形式化技术提供了更好的覆盖范围,并且不需要提供任何测试向量。然而,由于状态空间爆炸,形式化技术存在一些性能问题。因此,这些检查不用于全芯片分析,但它们在模块级别上工作得相当好。验证跨时钟域问题可以按照以下几个步骤:
Step 1
检查以下场景中是否存在有效的同步器:1、跨异步时钟域2、存在亚稳态问题的同步跨时钟域一个级联触发器同步器可能足以确保不会存在亚稳态传播。然而,仍然可能存在数据不一致的问题。因此,建议在这个阶段只检查级联触发器同步器是否只用于单比特变化信号。如果缺少同步器,设计人员应修改设计以添加适当的同步逻辑。Step 2检查是否存在单独同步的汇聚信号,这可能会导致数据不一致的问题。单独同步的汇聚信号数据应是 Gray-encoded。下图显示了一个控制总线时钟域交叉,它使用级联多触发器进行同步,但没有进行Gray-encoded。此时,将为断言失败生成一个波形轨迹。 如果汇聚信号不能进行Gray-encoded,则将同步方案更改为使用公共控制信号的同步方案,例如,MUX再循环、FIFO或握手。这些方案仍然需要进行验证,以实现预期功能。
Step 3一旦添加了适当的同步逻辑并完成了Gray-encoding检查,下一步是验证在将数据从一个时钟域传输到另一个时钟域时没有数据丢失。这需要对以下两种情况进行检查:同步跨时钟域:1、同步跨时钟域从快时钟域到慢时钟域2、同步跨时钟域从慢时钟域到快时钟域,时钟边沿可能连续多拍非常靠近3、异步跨时钟域可以通过断言每个源数据始终能够在目标时钟域采样到。对于其他同步方案,可以进行一些标准的功能检查,以确保没有数据丢失。Step 4
在所有使用某些特殊同步方案的情况下,都需要验证它们是否正确地执行了预期的功能。这对于确保不传播亚稳态、数据不一致性或数据丢失问题非常重要。这里给出了三个常用方案所需的检查:握手同步:检查request-data和request-acknowledge协议是否符合规范要求。FIFO同步:检查是否没有FIFO overflow 或underflow。Mux recirculation:检查当同步控制信号EN_Sync拉高时,是否保持“源数据A稳定并且目的时钟中至少有一个有效边沿”。
本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除。
德国斯图加特和加利福尼亚州普莱森顿2024年4月16日 /美通社/ -- 全球高科技设施设计、工程和交付的领先企业Exyte宣布,计划收购全球领先的安装服务、设备和技术设施管理提供商—Kinetics集团(简称"Kine...
关键字:
NET
TI
TE
IC
随着科技的飞速发展,电子设备间的连接与数据传输变得越来越重要。Type-C转接头作为连接各种设备的桥梁,其性能与标准也不断升级。本文将详细探讨Type-C转接头2.0与3.1之间的区别,帮助读者更好地理解和选择适合自己的...
关键字:
电子设备
数据传输
Type-C
随着科技的不断进步,移动通信技术也迎来了飞速的发展。从最初的2G时代到如今的5G时代,每一次技术的升级都为我们带来了更快捷、更便利的通信体验。作为最新一代的移动通信技术,5G以其超高速率、低时延和大连接数的特点,正逐步改...
关键字:
移动通信
数据传输
5G
VGA接口主要用于将计算机的数字图像信号转换成模拟信号,从而可以在显示器上显示。这种接口通常包含15个针脚,分成3排,每排5个孔,可以传输红、绿、蓝三种基本颜色的信号以及水平和垂直同步信号。
关键字:
vga接口
信号
电压
随着信息技术的飞速发展,数据通信作为连接世界的桥梁,其重要性日益凸显。为了确保数据通信的高效、稳定和可靠,我们需要关注一系列关键的技术指标。本文将深入解析数据通信的主要技术指标,并探讨其前沿发展。
关键字:
数据通信
数据传输
船载通信系统是现代船舶中不可或缺的重要组成部分,它为船舶提供了与外界通信和数据传输的渠道。船载通信系统行业设计方案涵盖了多个方面,包括系统架构、硬件设备、软件系统、通信协议等。本文将详细介绍船载通信系统的行业设计方案。
关键字:
船载通信
数据传输
通信协议
12月22日,由广州日报主办的2023年高质量发展年度峰会在广州举行。OPPO凭借持续创新和技术积累,入选2023年广东创新TOP100榜10强,展现出在科技创新领域的领先实力。
关键字:
智能手机
数据传输
短距离无线通信技术是一种利用无线电波进行数据传输的技术,适用于距离较短、对传输速率要求不高的场景。近年来,随着物联网、智能家居等技术的不断发展,短距离无线通信技术也得到了广泛应用。本文将对常见的短距离无线通信技术进行介绍...
关键字:
无线通信
数据传输
物联网
数字通信是指以数字信号作为载体来传输消息,或用数字信号对载波进行数字调制后再传输的通信方式。它可传输电报、数字数据等数字信号,也可传输经过数字化处理的语声和图像等模拟信号。在数字通信中,信号通常是经过抽样、量化和编码后形...
关键字:
数字通信
数据传输
通信模块的作用是实现数据传输和通信。通信模块可以将数据从一台设备传输到另一台设备,或者在一个设备内部的不同部件之间进行传输。通信模块的应用非常广泛,包括工业自动化、电力系统、安防监控、智能家居、医疗设备、交通工具等领域。
关键字:
通信模块
数据传输
上海2023年9月25日 /美通社/ -- 在9月20日举行的2023华为全联接大会(Huawei Connect 2023) TECH4ALL峰会,邀请全球TECH4ALL合作伙伴,针对科技与伙伴关系在支持创造更平等、...
关键字:
华为
TE
AI
SI
深圳2023年9月22日 /美通社/ -- 9月20 - 9月22日,全球物联网行业的重要盛会"IOTE 2023国际物联网展"在深圳国际会展中心 (宝安) 盛大启幕。全球领先的移动通信物联网平台 —...
关键字:
智能制造
物联网
TE
IoT
科威特科威特城2023年9月21日 /美通社/ -- 秉承去年突破性科技、金融和数字银行创新峰会的势头,/MoneyTech将于11月12日重返科威特。 请在 aljaridasummits.com ...
关键字:
MONEY
TE
BSP
MIT
苏州太仓2023年9月21日 /美通社/ -- 2023年9月21日,施迈茨公司庆祝了以"施迈茨(中国)有限公司开业典礼暨施迈茨深耕中国20年"为主题的活动。 施迈茨集团成立于1910年,总部位于德...
关键字:
自动化
BSP
元器件
TE
- 经过升级后,MediaGo的IVT过滤器可以识别40多种无效流量 旧金山2023年9月21日 /美通社/ -- 百度国际事业部旗下基于深度学习的智能广告平台MediaGo今天宣布与世界领先的全渠道广告欺诈...
关键字:
MEDIA
TE
PI
GO
赋能员工职涯 开创智慧未来 上海2023年9月18日 /美通社/ -- 长期致力于人才培育并重视员工职涯发展的台达,9月8日于知名人力资源服务平台HRtech在深圳举办的“数字化与全面体验时代——2023人力资源科技年...
关键字:
CHINA
TE
数字化
AI
(全球TMT2023年9月15日讯)SAI.TECH Global Corporation宣布其旗下ULTIWIT业务线已开始研发和生产一体化浸没集装箱AI数据中心产品A1,该产品将搭配技嘉科技HPC浸没服务器结合使用...
关键字:
AI
数据中心
TE
PC
串口通信,也称为串行通信,是一种数据传输方式,它按照二进制位(bit)顺序进行数据传输。在串口通信中,数据从一个设备(发送器)的串口发送到另一个设备(接收器)的串口,这两个设备通过共享的通信通道进行通信。
关键字:
串口通信
数据传输
日前,智慧芽发布《2023年度中国科创力坐标报告》和《2023年度全球科创力坐标》,OPPO凭借持续创新和技术积累,入选2023年全球科创领袖TOP100、中国科创领袖TOP100榜单,展现出在科技创新领域的领先实力。
关键字:
OPPO
数据传输
中国科创领袖TOP100
新加坡2023年9月15日 /美通社/ -- SAI.TECH Global Corporation(以下简称 "SAI.TECH "或 "SAI "或 "公司"...
关键字:
AI
移动
TE
数据中心