异步时钟亚稳态 的解决方案——单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

相关文章

部署Vue项目到服务器后404错误的原因及解决方案

《部署Vue项目到服务器后404错误的原因及解决方案》文章介绍了Vue项目部署步骤以及404错误的解决方案,部署步骤包括构建项目、上传文件、配置Web服务器、重启Nginx和访问域名,404错误通常是... 目录一、vue项目部署步骤二、404错误原因及解决方案错误场景原因分析解决方案一、Vue项目部署步骤

在MySQL执行UPDATE语句时遇到的错误1175的解决方案

《在MySQL执行UPDATE语句时遇到的错误1175的解决方案》MySQL安全更新模式(SafeUpdateMode)限制了UPDATE和DELETE操作,要求使用WHERE子句时必须基于主键或索引... mysql 中遇到的 Error Code: 1175 是由于启用了 安全更新模式(Safe Upd

Python安装时常见报错以及解决方案

《Python安装时常见报错以及解决方案》:本文主要介绍在安装Python、配置环境变量、使用pip以及运行Python脚本时常见的错误及其解决方案,文中介绍的非常详细,需要的朋友可以参考下... 目录一、安装 python 时常见报错及解决方案(一)安装包下载失败(二)权限不足二、配置环境变量时常见报错及

Java下载文件中文文件名乱码的解决方案(文件名包含很多%)

《Java下载文件中文文件名乱码的解决方案(文件名包含很多%)》Java下载文件时,文件名中文乱码问题通常是由于编码不正确导致的,使用`URLEncoder.encode(filepath,UTF-8... 目录Java下载文件中文文件名乱码问题一般情况下,大家都是这样为了解决这个问题最终解决总结Java下

Idea实现接口的方法上无法添加@Override注解的解决方案

《Idea实现接口的方法上无法添加@Override注解的解决方案》文章介绍了在IDEA中实现接口方法时无法添加@Override注解的问题及其解决方法,主要步骤包括更改项目结构中的Languagel... 目录Idea实现接China编程口的方法上无法添加@javascriptOverride注解错误原因解决方

使用C++将处理后的信号保存为PNG和TIFF格式

《使用C++将处理后的信号保存为PNG和TIFF格式》在信号处理领域,我们常常需要将处理结果以图像的形式保存下来,方便后续分析和展示,C++提供了多种库来处理图像数据,本文将介绍如何使用stb_ima... 目录1. PNG格式保存使用stb_imagephp_write库1.1 安装和包含库1.2 代码解

异步线程traceId如何实现传递

《异步线程traceId如何实现传递》文章介绍了如何在异步请求中传递traceId,通过重写ThreadPoolTaskExecutor的方法和实现TaskDecorator接口来增强线程池,确保异步... 目录前言重写ThreadPoolTaskExecutor中方法线程池增强总结前言在日常问题排查中,

MYSQL事务死锁问题排查及解决方案

《MYSQL事务死锁问题排查及解决方案》:本文主要介绍Java服务报错日志的情况,并通过一系列排查和优化措施,最终发现并解决了服务假死的问题,文中通过代码介绍的非常详细,需要的朋友可以参考下... 目录问题现象推测 1 - 客户端无错误重试配置推测 2 - 客户端超时时间过短推测 3 - mysql 版本问

微服务架构之使用RabbitMQ进行异步处理方式

《微服务架构之使用RabbitMQ进行异步处理方式》本文介绍了RabbitMQ的基本概念、异步调用处理逻辑、RabbitMQ的基本使用方法以及在SpringBoot项目中使用RabbitMQ解决高并发... 目录一.什么是RabbitMQ?二.异步调用处理逻辑:三.RabbitMQ的基本使用1.安装2.架构

Android kotlin语言实现删除文件的解决方案

《Androidkotlin语言实现删除文件的解决方案》:本文主要介绍Androidkotlin语言实现删除文件的解决方案,在项目开发过程中,尤其是需要跨平台协作的项目,那么删除用户指定的文件的... 目录一、前言二、适用环境三、模板内容1.权限申请2.Activity中的模板一、前言在项目开发过程中,尤