微波EDA网,见证研发工程师的成长!
首页 > 研发问答 > 嵌入式设计讨论 > FPGA,CPLD和ASIC > Verilog基本电路设计之一(单bit跨时钟域同步)

Verilog基本电路设计之一(单bit跨时钟域同步)

时间:10-02 整理:3721RD 点击:

     看到坛子里不少朋友,对于基本数字电路存在这样那样的疑惑,本人决定开贴,介绍数字电路最常见的模块单元,希望给初学者带来帮助,也欢迎大佬们前来拍砖。如果想要做数字设计,下面这些电路是一定会碰到的,也是所有大型IP,SOC设计必不可少的基础,主要包括异步信号的同步处理,同步FIFO,异步FIFO,时钟无缝切换,信号滤波debounce等等,后面会根据大家反馈情况再介绍新电路。
     首先介绍异步信号的跨时钟域同步问题。一般分为单bit的控制信号同步,以及多bit的数据信号同步。多bit的信号同步会使用异步FIFO完成,而单bit的信号同步,又是时钟无缝切换电路以及异步FIFO电路的设计基础,这里先介绍单bit信号同步处理。
     clka域下的信号signal_a,向异步的clkb域传递时,会产生亚稳态问题。所有的亚稳态,归根结底就是setup/hold时间不满足导致。在同一个时钟域下的信号,综合以及布线工具可以在data路径或者clock路径上插入buffer使得每一个DFF的setup/hold时间都满足;但是当signal_a在clkb域下使用时,由于clka与clkb异步,它们的相位关系不确定,那么在clkb的时钟沿到来时,无法确定signal_a此时是否处于稳定无变化状态,也即setup/hold时间无法确定,从而产生亚稳态。这种异步信号在前后端流程里面是无法做时序分析的,也就是静态时序分析里常说的false_path。
      消除亚稳态,就是采用多级DFF来采样来自另一个时钟域的信号,级数越多,同步过来的信号越稳定。对于频率很高的设计,建议至少用三级DFF,而两级DFF同步则是所有异步信号处理的最基本要求。
       单bit的信号跨时钟域同步,又分成电平信号同步以及脉冲信号同步。电平信号,就是说clka下的信号signal_a在clkb看来,是一个很宽的信号,会保持多个clkb的时钟周期,一定能被clkb采到。这种情况,只需要使用clkb用至少两级DFF连续抓signal_a即可,特别需要强调的是,此时signal_a必须是clka下的寄存器信号,如果signal_a是clka下的组合逻辑信号,一定要先在clka下用DFF抓一拍,再使用两级DFF向clkb传递。这是因为clka下的组合逻辑信号会有毛刺,在clka下使用时会由setup/hold时间保证毛刺不会被clka采到,但由于异步相位不确定,组合逻辑的毛刺却极有可能被clkb采到。电平信号的同步处理,一般用于知道确定的时钟频率大小关系或者极慢时钟下的信号向极快时钟域传递时使用,简单处理如下:
always @ (posedge clkb or negedge rst_n)
begin
    if (!rst_n) begin
       levl_b_d1 <= #DLY 1'b0;
       levl_b_d2 <= #DLY 1'b0;
       levl_b_d3 <= #DLY 1'b0;
    end
    else begin
       levl_b_d1 <= #DLY levl_a_in;
       levl_b_d2 <= #DLY levl_b_d1;
       levl_b_d3 <= #DLY levl_b_d2;
    end
end
assign puls_b_pos = levl_b_d2 & (~levl_b_d3);
assign puls_b_neg = levl_b_d3 & (~levl_b_d2);
assign levl_b_out  = levl_b_d2;
上面三个输出分别是经过同步之后,clkb下可以使用的0变1脉冲信号,1变0脉冲信号以及电平信号。再次强调:levl_a_in必须是clka的DFF信号!
下面是更常见的,clka下的脉冲信号,同步到clkb时钟域下,它对于clka与clkb的时钟频率关系没有任何限制,快到慢,慢到快都没问题。其主要原理就是先把脉冲信号在clka下展宽,变成电平信号,再向clkb传递,当确认clkb已经“看见”信号同步过去之后,再清掉clka下的电平信号。脉冲信号同步处理电路,有两个地方使用了上面的电平信号同步处理原则,请仔细揣摩原因。详细见下面的RTL,其中省略了信号定义声明:
module sync_pulse (
                  // input
                  rst_n             , // system reset
                  clka               , // clockA
                  clkb               , // clockB
                  puls_a_in       , // pulse input from clka
                  // output
                  puls_b_out     , // pulse output in clkb
                  levl_b_out        // level output in clkb
                  );
parameter         DLY      =  1   ; //
always @ (posedge clka or negedge rst_n)
begin
    if (rst_n == 1'b0)
        signal_a <= # DLY 1'b0 ;
    else if (puls_a_in)
        signal_a <= # DLY 1'b1 ;
    else if (signal_b1_a2)
        signal_a <= # DLY 1'b0 ;
    else ;
end
always @ (posedge clkb or negedge rst_n)
begin
    if (rst_n == 1'b0)
        signal_b <= # DLY 1'b0 ;
    else
        signal_b <= # DLY signal_a ;
end
always @ (posedge clkb or negedge rst_n)
begin
    if (rst_n == 1'b0) begin
        signal_b_b1 <= # DLY 1'b0 ;
        signal_b_b2 <= # DLY 1'b0 ;
    end
    else begin
        signal_b_b1 <= # DLY signal_b ;
        signal_b_b2 <= # DLY signal_b_b1 ;
    end
end
always @ (posedge clka or negedge rst_n)
begin
    if (rst_n == 1'b0) begin
        signal_b1_a1 <= # DLY 1'b0 ;
        signal_b1_a2 <= # DLY 1'b0 ;
    end
    else begin
        signal_b1_a1 <= # DLY signal_b_b1 ;
        signal_b1_a2 <= # DLY signal_b1_a1 ;
    end
end
assign puls_b_out = signal_b_b1 & (~signal_b_b2) ;
assign levl_b_out = signal_b_b1 ;
endmodule
下一篇讲时钟切换电路。
留下一个思考题:clka下的同一个寄存器信号signal_a,电平宽度对clkb而言足够长,如果同时调用两个相同的电平同步模块向clkb时钟传递,分别得到levl_b1和levl_b2,那么在clkb时钟域下看到的lev_b1和levl_b2信号是否一样?
这个问题是实际设计中一不小心就会犯错的,如果能够想明白正确回答这个问题,异步信号的理解就可以过关了。

基本赞成小编的看法,不过两级同步器是建立在一个特定的条件上面的:假设clkb的 是周期为T,那么必须满足 第一级Tco + 第一级输出数据恢复稳定时间 + 第一级触发器输出到第二级触发器输入端的路径传输延时为Tnet + 第二级的Tsu < T 才可以避免亚稳态的发生,满足不了这个条件就是打N拍都是无用的。当然一般来讲,一拍不行,多大几拍,只要工具布线的时候按照设计者的想法: 尽可能缩短第一级触发器输出到第二级触发器输入端的路径传输延时为Tnet的方式去把多级寄存器都插在中间的话,是可以避免亚稳态的。
呵呵, 这就是我们常说的: 时序是设计出来的,时序也是约束出来的。
------------------------
IC / FPGA 逻辑开发:
1.千兆/万兆以太网MAC
2.OTN / SDH 接口设计
3.    PCIE/USB/STA
4.    H264视频处理算法

小编讲的很好,谢谢。
思考题没理解,两个相同的电平同步模块syn_a,syn_b,输入端都接signal_a,syn_a输出levl_b1,syn_b输出levl_b2,但levl_b1和levl_b2会不一样?
期待时钟切换的讲解,尤其是异步时钟切换,信号clksw是clka时钟域的,初始值为0,工作中可以配置为1,clk_out=clksw?clk_a:clk_b,工作模块使用clk_out,如何使clk_out没有毛刺。



可能会出现不一样的情况。
这种情况发生在:第一级触发器输出亚稳态后,经过一段时间,最后得到的稳定电平可能是0,也可能是1,因此第二级触发器的输出可能不同。


这个和后端实现有关吧,如果是前仿,应该一样吧



   从硬件的角度理解,为啥要停留在仿真呢?

思考题:
如果两个电平同步模块的输入时完全一样的,也就是说信号线等长,信号相位相同,那么我认为levl_b1和levl_b2一样,但是实际系统中有可能无法保证这个前提,那么levl_b1和levl2有可能差一个clkb的宽度。
一个关于亚稳态的基本问题:
在芯片内部,亚稳态的理解是“非0非1”,还是“非0即1”? 我的理解是“非0即1”, 异步采样一个跳变沿,即使setup/hold不满足,但结果也只是有可能采到0,也有可能采到1, 不会变成X在系统里传播。


4楼的理解是正确的。对于异步问题,RTL仿真是无法判断真伪的,仿真仅仅是模拟行为,仿真正确不能等价于实际电路正常。
你说的后端实现,其实也是无法保证的,原因在于signal_a去到sync_a与sync_b两个模块的第一级DFF都是false_path,它们的时序是无法约束的。signal_a走的是两条独立路径达到sync_a和sync_b的第一级DFF的D端,sync_a与sync_b第一级DFF的clkb在实际布线中也存在差异,再加上sync_a与sync_b的两个第一级DFF对于0/1判定也无法完全一致。当clkb的上升沿来临时,如果刚好在signal_a信号跳变附近,发生亚稳态问题,这两个同步电路第一级DFF对于signal_a是0还是1的判断理解会存在差异,从而导致多级同步之后得到的两个信号在clkb域下不一致。
因此,对于异步信号,不要使用两个同步电路同步后,分别给到clkb下的不同地方去做逻辑,这与signal_a不经过同步直接用在clkb下的多个地方做逻辑犯的错误后果是一样的!


verilog写出来的,是硬件电路,不能以软件思维来考虑,所谓的信号等长,相位一样,这些只存在于纯粹的仿真模拟中,实际芯片无法做到,即使同一个std cell在两颗芯片中表现都会存在差异。
另外,两个相同电路同步过去得到的两个信号,还不仅仅是宽度相差一个cycle这么简单,可能出现很多种情况,最可能的情况有宽度相差2个1个0个cycle,相位提前或者滞后一个cycle或者相位相同,以及上面宽度差异和相位差异的任意组合,如果clkb的频率很高在1GH级别,情况复杂度更难确定。
   
其实至于到底有多少种差异不用去深究,对于数字设计,我们需要的是确定的东西,要么0要么1,要么对要么错,所有存在不确定的设计,一定是错误的设计。


你所说的两个clkb,发生条件是第二个DFF才到第一个DFF的亚稳态,0/1继续不确定, 按照这个理论推导,不管多少级,也就是降低亚稳态传递发生的概率。 而不是确定0/1.
我的亚稳态问题想了解的是:
如果芯片内部非0即1,那用一级DFF同步即可,何必两级或三级DFF。 如果有大神能介绍亚稳态,请从analog或者器件的角度来解释,从digital的角度,我觉得一级即可。


我们这里总共讨论了两个不同的问题,你搞混淆了。
1、消除亚稳态,需要多少级的问题。
两级是最基本要求,如果是高频率设计,三级以上,我只能说每增加一级,不稳定概率是大幅降低。至于你说从数字角度讲因为非0即1的问题所以只需要一级,是没有理解到亚稳态的电路表现状态。第一级DFF的输出,最终的确会停留在确定的0或者1状态,但是这里存在一个“需要多长时间后”才能稳定在0或者1的问题。实际电路里的信号0到1或者1到0的变化,绝对不是你从仿真波形上看到的垂直陡峭变化的方波,它是一个缓慢渐变的过程。存在亚稳态问题的电路,相对正常信号而言,最直接的影响就是它的渐变过程更加缓慢,达到稳定需要的时间更长。如果只使用一级DFF,显然它的输出信号稳定有效宽度比较窄,跟clkb下的其他信号做组合逻辑会把这个稳定有效的窄脉宽信号影响延伸下去,这就导致亚稳态传播。如果增加一级DFF去抓,虽然前一级有效宽度窄,但如果窄脉宽也能稳定地被第二级DFF抓到,第二级DFF的输出信号显然就能达到正常信号水平了,即使第二级DFF还是无法稳定抓到,至少第二级DFF的输出信号会相对第一级改善很多,这就是每增加一级大幅降低不稳定概率的原因。

2、clka下的同一个信号,不能分别使用两个同步器同步后拿到clkb中不同地方使用,即使调用的是一模一样的RTL同步模块。原因见上面几楼的分析。


谢谢您,之前从没想过这个问题。
期待时钟切换的讲解,尤其是异步时钟切换。
例如:信号clksw是clka时钟域的,初始值为0,工作中可以配置为1,clk_out=clksw?clk_a:clk_b,工作模块使用clk_out,如何使clk_out没有毛刺。

学习了


关于你说的这个“如果无法满足这个条件,打N拍也没用”的理解是有误区的,详见11楼的分析。


如果满足不了他说的那个条件,时钟本身就不能跑那么快,这已经不是跨时钟域的问题了。
他讲的理念很对,时序是设计和约束出来的,2拍或者N拍sync DFF, 在物理上本来就应该摆在一起来减少propgation delay, 或者干脆调用预先设计好的sync_cell。


“不过两级同步器是建立在一个特定的条件上面的:假设clkb的 是周期为T,那么必须满足 第一级Tco + 第一级输出数据恢复稳定时间 + 第一级触发器输出到第二级触发器输入端的路径传输延时为Tnet + 第二级的Tsu < T 才可以避免亚稳态的发生,满足不了这个条件就是打N拍都是无用的”
    他的解释,对于两级DFF可以消除亚稳态必须满足的条件很正确。但是不能得出,当这个条件无法满足时,即使使用N拍DFF都无法消除亚稳态这样的结论。按照这个理论,如果第二级DFF还无法稳定,我们后面加再多DFF也没有意义。实际上,多级DFF的存在意义就是为了解决第二级DFF还是无法稳定这种情况。

学习了,讲得很透彻

学习了!一直对亚稳态的实际电路电压变化比较模糊,小编在11楼讲的很清楚。

看了大神的帖子,受益

涨( ̄︶ ̄)↗知识啦~

学习了,谢谢小编

mark
好东西

很有用,谢谢小编~

确实是比较重要的基础知识,今天在这里学习到了!感谢小编

感谢小编!遇到一道类似的面试题,找错误 ,没答上来。

不明白作者这里两句话的意思,《单bit跨时钟域同步》
assign puls_b_pos = levl_b_d2 & (~levl_b_d3);
assign puls_b_neg = levl_b_d3 & (~levl_b_d2);
assign levl_b_out  = levl_b_d2;
--puls_b_pos 、puls_b_neg这两个信号是做什么的,也没见用到?还有既然选择三级DFF,为何最后输出的是第二级DFF的结果?



   额,后级电路你需要用电平信号那就用_d2,后级电路你需要用沿变化信号就用_neg或_pos,自己灵活选择嘛。

小编,问你个问题,从慢时钟域到快时钟域,需要同步的信号宽度大于快时钟域的周期,就会被采到两次,这个怎么解决?



   同步到快时钟域后,想要使用多周期信号就用*_d2,想要用单周期信号就用*_pos或*_neg

请教一个问题,既然第一级DFF输出的0/1是不确定的,那么就算第二级采到稳定的信号,结果也可能跟我想要的结果不一样呀,也就是说clk_a下输入的信号本来是0,第二级DFF采到的是1.

Copyright © 2017-2020 微波EDA网 版权所有

网站地图

Top