异步时钟亚稳态 的解决方案——单bit信号

2024-02-01 21:18

本文主要是介绍异步时钟亚稳态 的解决方案——单bit信号,希望对大家解决编程问题提供一定的参考价值,需要的开发者们随着小编来一起学习吧!

目录

  • 1. 亚稳态问题——电平同步
    • 1.1. 采样电压过低
    • 1.2. “3个沿”
      • rd_en_d2 拉高的时刻
    • 1.3. 产生脉冲——边沿检测
  • 2. 漏采样——展宽
    • 2.1. 异或展宽
      • 两个连续脉冲 的最小间隔
    • 2.2. 异或握手展宽
      • 两个连续脉冲 的最小间隔
      • 异或展宽 与 异或握手展宽


异步电路导致亚稳态的根本原因是跨时钟域导致建立、保持时间不满足,导致采样之后的信号在较长时间处于逻辑0~1的中间态,可能需要很长时间才能恢复到确定值 T m e t T_{met} Tmet

如果决断时间 T m e t T_{met} Tmet过长,长于sys_clk一个周期,那么后面逻辑电路采样到的值也是亚稳态,进而导致整个电路设计出现问题。

在这里插入图片描述

那么如何解决异步亚稳态问题呢?

跟老李一起学习芯片设计-- CDC的那些事(1)
菜鸟教程 - 跨时钟域设计 从快到慢
FPGA 设计之 跨时钟域(二 - 单比特设计)
《硬件架构的艺术》

1. 亚稳态问题——电平同步

电平同步的方法很简单,就是跨时钟域信号 连续经过两级触发器,俗称打两拍。

这里蕴含一个基本数学关系:时钟对信号a打拍得到a_d1,那么在时间上一定满足: t r o s e ( a ) < t r o s e ( a d 1 ) < t f e l l ( a ) < t f e l l ( a d 1 ) t_{rose(a)}<t_{rose(a_{d1})}<t_{fell(a)}<t_{fell(a_{d1})} trose(a)<trose(ad1)<tfell(a)<tfell(ad1)

其原理:即便采样到亚稳态的值。经过一级触发器后,有70%~80%的概率稳定。经过二级触发器后,稳定的概率为99%。

此处稳定意为收敛到逻辑0或逻辑1,到底稳定到几与采样到的电压有关。

在这里插入图片描述

1.1. 采样电压过低

如下图所示,要同步一个脉冲但是第一级FF最终输出的电压过低,导致第二拍输出0。

在这里插入图片描述

这是由于bclk采样脉冲的电压太低了,第一级触发器最终稳定到了0,未被第二级触发器捕捉到。

所以说电平同步的确能够在第二拍稳定,但到底稳定到几,那可就不确定了。

再极端点,可能时钟压根儿就采样不到有效信号,如下图

在这里插入图片描述

所以这就对异步时钟的频率作出了要求。

当然如果是电平信号,即异步信号有效的时间→∞就当我没说

1.2. “3个沿”

异步时钟可能采样到低电压导致第一拍不会有效。这种情况下怎么办?

如果采样到较低电压之后,还能再采一次采到稳定电平,那就好了。

如下图所示,第一个posedge采样到了不确定电平(红线),后面在脉冲拉低之前,还有第二个posedge采样到稳定电平(绿线)

在这里插入图片描述

注意根据图中的时钟建模,脉冲是在源时钟的上升沿处产生电压变化。

如果异步信号的有效时间为 T a s i g T_{asig} Tasig,那么满足 T b c l k < T a s i g T_{bclk} < T_{asig} Tbclk<Tasig即可。

不过一般在加个 0.5 T b c l k 0.5T_{bclk} 0.5Tbclk的裕度,即“3个沿”,可以是上升沿可以是下降沿。

即要求rd_en持续时间 能够容纳bclk的三个沿,这样就能保证这个脉冲一定会被bclk采样到。

有时候异步信号asig有效时间不固定,但是其最小一定是 T a c l k T_{aclk} Taclk,则有 T b c l k < m i n ( T a s i g ) = T a c l k T_{bclk} < min(T_{asig})=T_{aclk} Tbclk<min(Tasig)=Taclk
这样的话就要求目的时钟频率 是源时钟频率的1.5倍,满足这个条件就能保证这个脉冲一定会被异步时钟采样到。

你真的懂2-flop synchronizer吗-- CDC的那些事(2)

rd_en_d2 拉高的时刻

如果满足1.5倍分频,第二拍可能并不会输出有效电平,那么可能在第三拍才输出有效电平。

如图

在这里插入图片描述

红线表示采样出亚稳态最终稳定到0,导致rd_en_d2在绿线并未拉高,而是在绿线的下一拍拉高。

1.3. 产生脉冲——边沿检测

满足三个沿的条件之后,可以通过打两拍产生脉冲,但注意这个脉冲的持续周期数并不确定,所以一般还要再打一拍通过检测边沿产生脉冲。

always@(posedge bclk or negedge rstn) beginif(!rstn) beginrd_en_d1 <= 1'b0;rd_en_d2 <= 1'b0;rd_en_d3 <= 1'b0;endelse beginrd_en_d1 <= rd_en;rd_en_d2 <= rd_en_d1;rd_en_d3 <= rd_en_d2;end
end
assign rd_en_rise = (!rd_en_d2) && rd_en_d3;		//上升沿脉冲
assign rd_en_fall = rd_en_d2 && (!rd_en_d3);		//下降沿脉冲
assign rd_en_edge = rd_en_d2 ^ rd_en_d3;			//双边沿脉冲,2个

2. 漏采样——展宽

漏采样就是电平同步没有输出期望电平,如上所述,其实是3个沿的条件不满足。

那咋办?那就让异步信号满足。

第一个思路就是计数器。在知道两时钟频率差的情况下,可以使用计数器对展宽的时间计时,但是这样的方法会占用很多的资源。这里我们使用更经济的方法。

2.1. 异或展宽

将异或逻辑和触发器配合能产生两种效果:

● 效果A:如果一个信号时序是0-1-0-0-...,如果另一个信号初始为0且与这个信号异或打拍,时序就是0-0-1-1-....

● 效果B:如果一个信号时序是0-1-0-0-...,如果另一个信号初始为1且与这个信号异或打拍,时序就是1-1-0-0-....

● 效果C:如果一个信号时序是0-1-1-1-...,另一个信号是这个信号打拍的结果,时序就变成了0-0-1-1-...,这两个信号异或打拍,就有了时序0-0-1-0-...

● 效果D:如果一个信号时序是1-1-0-0-...,另一个信号是这个信号打拍的结果,时序就变成了1-1-1-0-...,这两个信号异或打拍,就有了时序0-0-0-1-0...

有没有思路?效果A和效果B告诉我们aclk域两个脉冲可以控制信号展宽的开始和结束。效果C和效果D告诉我们,bclk域信号持续的时间较长时,可以在该信号上升沿和下降沿产生时分别产生两个脉冲。

这不就实现了aclk域两个脉冲到bclk两个脉冲的映射。

时序图如下:

在这里插入图片描述

图中红线表示aclk域内每个脉冲实现对rd_en_cdc的翻转,绿线表示bclk域内rd_en_d2和rd_en_d3两个电平实现脉冲的产生

从图中可以看出,其实本质上就是1脉冲 + 异或 = 1电平;1电平 + 打1拍 + 异或 = 1脉冲

代码如下

module pulse_sync(input rstn,input aclk,input rd_en,input bclk,output rd_en_pl);reg rd_en_cdc;
reg rd_en_d1;
reg rd_en_d2;
reg rd_en_d3;
reg rd_en_pl_r;always@(posedge aclk or negedge rstn) beginif(!rstn)rd_en_cdc <= 1'b0;elserd_en_cdc <= rd_en_cdc ^ rd_en;
endalways@(posedge bclk or negedge rstn) beginif(!rstn) beginrd_en_d1 <= 1'b0;rd_en_d2 <= 1'b0;rd_en_d3 <= 1'b0;endelse beginrd_en_d1 <= rd_en_cdc;rd_en_d2 <= rd_en_d1;rd_en_d3 <= rd_en_d2;end
endalways@(posedge bclk or negedge rstn) beginif(!rstn) rd_en_pl_r<= 1'b0;elserd_en_pl_r<= rd_en_d2 ^ rd_en_d3;
endassign rd_en_pl = rd_en_pl_r;endmodule

常见数电面试题Pulse Synchronizer – CDC的那些事(3)
FPGA 设计之 跨时钟域(二 - 单比特设计)

但是有一个很关键的问题没有解决,aclk域内两个脉冲间隔与bclk频率是什么关系?

两个连续脉冲 的最小间隔

倒着想,bclk域内两个rd_en_pl脉冲间隔最小时,是个什么情况:

在这里插入图片描述
虽然rd_en_pl是 2 ⋅ T b c l k 2·T_{bclk} 2Tbclk的脉冲,但也会产生两次操作。所以从图中可以看出rd_en_cdc只让bclk采样到一次就行,而rd_en_cdc有效的时间就是rd_en两次脉冲的间隔。

所以aclk域内两次脉冲的最小时间是多少?还是bclk的三个沿

也就是说,aclk两次脉冲间隔满足三个沿条件,就能使用异或展宽的方法。

2.2. 异或握手展宽

如果aclk域内每个脉冲时间不满足三个沿、两个脉冲的间隔也不满足三个沿的条件怎么办?

那只能在aclk域内控制脉冲产生的时刻了,让每两个脉冲强行满足三个沿的时间。

最经济的方式(相比于计数展宽)就是握手展宽,思路是让rd_en_cdc一直拉高,直到接受到某个信号知道bclk那边已经采样到了rd_en_cdc,才可以产生新的脉冲进而rd_en_cdc翻转

在这里插入图片描述

如图,与异或展宽不同的地方在于aclk采样bclk域的rd_en_d2信号得到rd_en_ack_d2,当该信号发生翻转时,就说明bclk采样到了rd_en_cdc电平,rd_en可以产生下一个脉冲了。

rd_en_cdc每翻转一次表明rd_en产生了一次脉冲,而rd_en_d1采样rd_en_cdc、rd_en_d2采样rd_en_d1,rd_en_ack_d1采样rd_en_d2、rd_en_ack_d2采样rd_en_ack_d1。
所以rd_en_cdc的翻转最终会导致rd_en_ack_d2的翻转!所以rd_en可以产生新脉冲的标准不是rd_en_ack_d2为高!而是rd_en_ack_d2发生了翻转!
这也是异或展宽与传统的握手传输最大的区别!这么做的好处在于不会对原rd_en脉冲进行改变,而是产生一个新的信号用于展宽!

如上图所示,黄色箭头和红色箭头都表示采样先后关系。
黄色箭头表示第一个脉冲使rd_en_cdc由0变1导致rd_en_ack_d2由0变1,红色箭头表示第二个脉冲使rd_en_cdc由1变0导致rd_en_ack_d2由1变0

根据时序图可以实现verilog代码如下

module pulse_sync(input rstn,input aclk,input rd_en,output rd_en_ack,input bclk,output rd_en_pl);reg rd_en_cdc;
reg rd_en_ack_d1;
reg rd_en_ack_d2;
reg rd_en_d1;
reg rd_en_d2;
reg rd_en_d3;
reg rd_en_pl_r;always@(posedge aclk or negedge rstn) beginif(!rstn)rd_en_cdc <= 1'b0;else if(!(rd_en_cdc ^ rd_en_ack_d2))rd_en_cdc <= rd_en_cdc ^ rd_en;elserd_en_cdc <= rd_en_cdc;
endalways@(posedge aclk or negedge rstn) beginif(!rstn) beginrd_en_ack_d1 <= 1'b0;rd_en_ack_d2 <= 1'b0;endelse beginrd_en_ack_d1 <= rd_en_d2;rd_en_ack_d2 <= rd_en_ack_d1;end
endassign rd_en_ack = rd_en_ack_d2;always@(posedge bclk or negedge rstn) beginif(!rstn) beginrd_en_d1 <= 1'b0;rd_en_d2 <= 1'b0;rd_en_d3 <= 1'b0;endelse beginrd_en_d1 <= rd_en_cdc;rd_en_d2 <= rd_en_d1;rd_en_d3 <= rd_en_d2;end
endalways@(posedge bclk or negedge rstn) beginif(!rstn) rd_en_pl_r <= 1'b0;elserd_en_pl_r <= rd_en_d2 ^ rd_en_d3;
endassign rd_en_pl = rd_en_pl_r;endmodule

两个连续脉冲 的最小间隔

这回也来分析分析,使用异或握手展宽时rd_en脉冲的最小间隔是多久.。

实际上,因为采样握手信号、还要电平同步,肯定比单纯异或展宽的“3个沿”的时间要长,所以很可能会丢失脉冲

极端情况如下,并不是rd_en_pl产生 2 T b c l k 2T_{bclk} 2Tbclk的脉冲的情况
假如是,那么bclk一定在第二个绿线处采样rd_en_cdc为低,但是rd_en_ack_d2是rd_en_d2延迟打拍的结果所以rd_en_ack_d2一定比rd_en_d2晚拉高。又因为rd_en_ack_d2采样高的时刻决定着rd_en_cdc拉低的时刻,所以rd_en_cdc一定不会在第二个绿线处为低。
所以bclk会采样多个rd_en_cdc为高,导致rd_en_pl不是 2 T b c l k 2T_{bclk} 2Tbclk的脉冲。
在这里插入图片描述

异或展宽 与 异或握手展宽

异或握手展宽的两个连续脉冲宽度不如异或展宽小,那异或展宽握手的意义在哪?

相同脉冲产生时间下,异或握手展宽是不是丢的脉冲更多?

错啦!看来还没明白异或握手展宽的意义在哪

很简单,异或握手展宽的意义是反馈信号为降低功耗提供了可能

你看,异或展宽rd_en的产生逻辑是不是完全由上层模块决定的?

而异或握手展宽是不是有个rd_en_ack_d2?虽然这个信号拖慢了rd_en_cdc,但是它可以供aclk域使用以减慢产生rd_en新脉冲的时间。

反正我rd_en脉冲产生的预期速度你也采样不到,那还不如慢一点降低功耗(例如门控时钟等),这样也不会丢失脉冲数据。

最后声明上述两种方法都通过了仿真,可以自己验证下

`timescale 1ns/1ps
module pulse_sync_tb();logic rstn;
logic aclk;
logic rd_en;
logic bclk;
logic rd_en_pl;
logic rd_en_ack;initial beginaclk = 0;forever #5 aclk = !aclk;					//100MHZ
endinitial beginbclk = 0;forever #10 bclk = !bclk;					//50MHZ
endinitial beginrstn = 1;#50 rstn = 0;#100 rstn = 1;
endinitial beginrd_en = 0;#200;pulse_sync_test();
end
task pulse_sync_test();aclk_pulse_gen();
endtasktask aclk_pulse_gen();repeat(10) begin@(posedge aclk);#1;rd_en = 1;@(posedge aclk);#1;rd_en = 0;repeat(5) begin@(posedge aclk);#1;rd_en = 0;endend
endtask
pulse_sync u_pulse_sync(.rstn		(rstn),.aclk		(aclk),.rd_en		(rd_en),.bclk		(bclk),.rd_en_pl	(rd_en_pl),.rd_en_ack	(rd_en_ack));
endmodule

这篇关于异步时钟亚稳态 的解决方案——单bit信号的文章就介绍到这儿,希望我们推荐的文章对编程师们有所帮助!



http://www.chinasem.cn/article/668487

相关文章

javax.net.ssl.SSLHandshakeException:异常原因及解决方案

《javax.net.ssl.SSLHandshakeException:异常原因及解决方案》javax.net.ssl.SSLHandshakeException是一个SSL握手异常,通常在建立SS... 目录报错原因在程序中绕过服务器的安全验证注意点最后多说一句报错原因一般出现这种问题是因为目标服务器

C++高效内存池实现减少动态分配开销的解决方案

《C++高效内存池实现减少动态分配开销的解决方案》C++动态内存分配存在系统调用开销、碎片化和锁竞争等性能问题,内存池通过预分配、分块管理和缓存复用解决这些问题,下面就来了解一下... 目录一、C++内存分配的性能挑战二、内存池技术的核心原理三、主流内存池实现:TCMalloc与Jemalloc1. TCM

MyBatis Plus 中 update_time 字段自动填充失效的原因分析及解决方案(最新整理)

《MyBatisPlus中update_time字段自动填充失效的原因分析及解决方案(最新整理)》在使用MyBatisPlus时,通常我们会在数据库表中设置create_time和update... 目录前言一、问题现象二、原因分析三、总结:常见原因与解决方法对照表四、推荐写法前言在使用 MyBATis

全屋WiFi 7无死角! 华硕 RP-BE58无线信号放大器体验测评

《全屋WiFi7无死角!华硕RP-BE58无线信号放大器体验测评》家里网络总是有很多死角没有网,我决定入手一台支持Mesh组网的WiFi7路由系统以彻底解决网络覆盖问题,最终选择了一款功能非常... 自2023年WiFi 7技术标准(IEEE 802.11be)正式落地以来,这项第七代无线网络技术就以超高速

Java死锁问题解决方案及示例详解

《Java死锁问题解决方案及示例详解》死锁是指两个或多个线程因争夺资源而相互等待,导致所有线程都无法继续执行的一种状态,本文给大家详细介绍了Java死锁问题解决方案详解及实践样例,需要的朋友可以参考下... 目录1、简述死锁的四个必要条件:2、死锁示例代码3、如何检测死锁?3.1 使用 jstack3.2

html 滚动条滚动过快会留下边框线的解决方案

《html滚动条滚动过快会留下边框线的解决方案》:本文主要介绍了html滚动条滚动过快会留下边框线的解决方案,解决方法很简单,详细内容请阅读本文,希望能对你有所帮助... 滚动条滚动过快时,会留下边框线但其实大部分时候是这样的,没有多出边框线的滚动条滚动过快时留下边框线的问题通常与滚动条样式和滚动行

Oracle修改端口号之后无法启动的解决方案

《Oracle修改端口号之后无法启动的解决方案》Oracle数据库更改端口后出现监听器无法启动的问题确实较为常见,但并非必然发生,这一问题通常源于​​配置错误或环境冲突​​,而非端口修改本身,以下是系... 目录一、问题根源分析​​​二、保姆级解决方案​​​​步骤1:修正监听器配置文件 (listener.

MySQL版本问题导致项目无法启动问题的解决方案

《MySQL版本问题导致项目无法启动问题的解决方案》本文记录了一次因MySQL版本不一致导致项目启动失败的经历,详细解析了连接错误的原因,并提供了两种解决方案:调整连接字符串禁用SSL或统一MySQL... 目录本地项目启动报错报错原因:解决方案第一个:第二种:容器启动mysql的坑两种修改时区的方法:本地

安装centos8设置基础软件仓库时出错的解决方案

《安装centos8设置基础软件仓库时出错的解决方案》:本文主要介绍安装centos8设置基础软件仓库时出错的解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐... 目录安装Centos8设置基础软件仓库时出错版本 8版本 8.2.200android4版本 javas

Java空指针异常NullPointerException的原因与解决方案

《Java空指针异常NullPointerException的原因与解决方案》在Java开发中,NullPointerException(空指针异常)是最常见的运行时异常之一,通常发生在程序尝试访问或... 目录一、空指针异常产生的原因1. 变量未初始化2. 对象引用被显式置为null3. 方法返回null