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

相关文章

usb接口驱动异常问题常用解决方案

《usb接口驱动异常问题常用解决方案》当遇到USB接口驱动异常时,可以通过多种方法来解决,其中主要就包括重装USB控制器、禁用USB选择性暂停设置、更新或安装新的主板驱动等... usb接口驱动异常怎么办,USB接口驱动异常是常见问题,通常由驱动损坏、系统更新冲突、硬件故障或电源管理设置导致。以下是常用解决

Redis消息队列实现异步秒杀功能

《Redis消息队列实现异步秒杀功能》在高并发场景下,为了提高秒杀业务的性能,可将部分工作交给Redis处理,并通过异步方式执行,Redis提供了多种数据结构来实现消息队列,总结三种,本文详细介绍Re... 目录1 Redis消息队列1.1 List 结构1.2 Pub/Sub 模式1.3 Stream 结

Windows Docker端口占用错误及解决方案总结

《WindowsDocker端口占用错误及解决方案总结》在Windows环境下使用Docker容器时,端口占用错误是开发和运维中常见且棘手的问题,本文将深入剖析该问题的成因,介绍如何通过查看端口分配... 目录引言Windows docker 端口占用错误及解决方案汇总端口冲突形成原因解析诊断当前端口情况解

使用Python实现一个优雅的异步定时器

《使用Python实现一个优雅的异步定时器》在Python中实现定时器功能是一个常见需求,尤其是在需要周期性执行任务的场景下,本文给大家介绍了基于asyncio和threading模块,可扩展的异步定... 目录需求背景代码1. 单例事件循环的实现2. 事件循环的运行与关闭3. 定时器核心逻辑4. 启动与停

Vue3组件中getCurrentInstance()获取App实例,但是返回null的解决方案

《Vue3组件中getCurrentInstance()获取App实例,但是返回null的解决方案》:本文主要介绍Vue3组件中getCurrentInstance()获取App实例,但是返回nu... 目录vue3组件中getCurrentInstajavascriptnce()获取App实例,但是返回n

Spring Boot循环依赖原理、解决方案与最佳实践(全解析)

《SpringBoot循环依赖原理、解决方案与最佳实践(全解析)》循环依赖指两个或多个Bean相互直接或间接引用,形成闭环依赖关系,:本文主要介绍SpringBoot循环依赖原理、解决方案与最... 目录一、循环依赖的本质与危害1.1 什么是循环依赖?1.2 核心危害二、Spring的三级缓存机制2.1 三

C#中async await异步关键字用法和异步的底层原理全解析

《C#中asyncawait异步关键字用法和异步的底层原理全解析》:本文主要介绍C#中asyncawait异步关键字用法和异步的底层原理全解析,本文给大家介绍的非常详细,对大家的学习或工作具有一... 目录C#异步编程一、异步编程基础二、异步方法的工作原理三、代码示例四、编译后的底层实现五、总结C#异步编程

Node.js 数据库 CRUD 项目示例详解(完美解决方案)

《Node.js数据库CRUD项目示例详解(完美解决方案)》:本文主要介绍Node.js数据库CRUD项目示例详解(完美解决方案),本文给大家介绍的非常详细,对大家的学习或工作具有一定的参考... 目录项目结构1. 初始化项目2. 配置数据库连接 (config/db.js)3. 创建模型 (models/

Vuex Actions多参数传递的解决方案

《VuexActions多参数传递的解决方案》在Vuex中,actions的设计默认只支持单个参数传递,这有时会限制我们的使用场景,下面我将详细介绍几种处理多参数传递的解决方案,从基础到高级,... 目录一、对象封装法(推荐)二、参数解构法三、柯里化函数法四、Payload 工厂函数五、TypeScript

jupyter代码块没有运行图标的解决方案

《jupyter代码块没有运行图标的解决方案》:本文主要介绍jupyter代码块没有运行图标的解决方案,具有很好的参考价值,希望对大家有所帮助,如有错误或未考虑完全的地方,望不吝赐教... 目录jupyter代码块没有运行图标的解决1.找到Jupyter notebook的系统配置文件2.这时候一般会搜索到