作者numberX (隐藏在！後面的？)
看板Electronics
标题[问题] verilog的blocking和non-blocking造成的差别
时间Mon Nov 29 16:16:29 2010
如题，我想产生一个受到输入讯号clk_chg控制的clock
使用blocking assignment能成功产生我要的波形，即下图的 o2B
http://kr.imghost.us/6f2/sim.JPG
code如下：
module test2_blocking(clk, reset, clk_chg, clkout); //使用blocking assignment
input clk, reset, clk_chg;
output clkout;
reg clk_chg_delay, con, s;
reg [2:0] state;
wire clkout=(s)?con:clk; //在受控制的DFF(con)和clk之间做切换
always@(negedge clk) //让clk_chg讯号delay半个cycle
clk_chg_delay=(clk_chg)?1'b1:1'b0;
always@(posedge clk)
if (reset)
begin
con=1'b0;
s=1'b0;
state=1;
end
else
if (clk_chg_delay)
begin
case(state)
1:begin
con=1'b1;
s=1'b1;
state=2;
end
2:begin
con=con;
s=1'b0;
state=3;
end
3:begin
con=1'b0;
s=1'b1;
state=1;
end
default:begin
con=1'b0;
s=1'b0;
state=1;
end
endcase
end
else
begin
con=1'b0;
s=1'b0;
state=1;
end
endmodule
但是两个always改成 non-blocking assignment 後，
就变成图中的o2nB，会有 glitch (红色圆圈处)
请问原因为何？
又是否有别的方法产生我要的波形呢？ 谢谢，请多多指教^^
个人推测原因：non-blocking assignment在当下那个time step "结束" 时才更新值，
使得切换的动作慢了一点，才会有glitch；而blocking assignment在当下那个time
step "开始" 时即更新值，所以即使应该也有glitch，但因为时间太短，modelsim
忽略掉。这想法正确吗？
--
--
※ 发信站: 批踢踢实业坊(ptt.cc)
◆ From: 125.231.188.49
1F：→ klorc:你的o2nB在哪? 11/29 18:28
2F：→ chrispherd:一般来说你没加上Delay应该是不会有这个问题吧 11/29 21:23
3F：→ chrispherd:我跑起来就没有那个突波 11/29 21:24
4F：→ numberX:o2nB在同一张图的o2B下面^^ 11/29 21:28
5F：→ numberX:加上delay只是为了让clk_chg晚一个正缘被侦测到，而且即使 11/29 21:33
6F：→ numberX:侦测的是clk_chg而非clk_chg_delay，仍然有那个突波 11/29 21:34
7F：→ numberX:我用的是modelsim_ae for win 6.1g，是否因为版本不同呢? 11/29 21:35
8F：推 zxvc:你这不管用nonblocking还是blocking其实合出来都是同一电路， 11/29 23:29
9F：→ zxvc:且都会有一个问题就是可能会有glitch。 11/29 23:30
10F：→ zxvc:因为clkout不是flip-flop的输出，而是组合电路的输出， 11/29 23:31
11F：→ zxvc:PVT变异，电路可能就挂了。至於怎麽改，抱歉我没空帮你。 11/29 23:33
12F：→ zxvc:另外写flip-flop sequential电路请务必使用nonblocking 11/29 23:34
13F：→ zxvc:assignment，主要原因是要避免race condition。 11/29 23:35
14F：→ numberX:谢谢z大，虽然你说的我都知道，但我现在只想到这个方法... 11/29 23:47
15F：→ palapalaqoo:加delay buffer 让clk正缘落後s,避掉glitch 11/30 13:46
16F：→ kingofgar:我没有看到code里面有o2nB..可以看一下是不是漏掉了吗 12/01 04:58
17F：→ numberX:code改成nonblocking，输出波形就变成和o2nB一样 12/01 17:18