一、异步复位与同步复位
http://www.cnblogs.com/IClearner/p/7188875.html
我在复位电路里面讲解了同步复位和异步复位的区别,这里就不详细介绍了,链接如下:http://www.cnblogs.com/IClearner/p/6683100.html
(1)异步复位
异步复位的代码如下所示:
module DFF1( input clk, input rst_n, input d, output reg q ); always@(posedge clk or negedge rst_n) if(!rst_n) q <= 0; //异步清 0,低电平有效 else q <= d; endmodule
综合得到的电路图如下所示:
可以看到使用了一个反相器单元和一个触发器单元;从代码中我们可以推断出,这是一个高电平有效的、异步复位触发器。
(2)同步复位
同步复位触发器代码如下所示,注意黑体部分
module DFF2(
input clk,
input rst_n,
input d,
output reg q
);
always@(posedge clk )//注意这里有所不同
if(!rst_n)
q <= 0; //同步清 0,低电平有效
else
q <= d;
endmodule
综合得到的电路如下所示:
我们可以看到,也是由一个反向器单元和一个触发器单元构成,注意,这里的触发器跟上面的触发器显然不是同一个类型的触发器,管脚名称改变了;结合代码我们可以知道,这个触发器是高电平触发、同步复位的触发器(由于是输入信号是低电平有效,所以加了个反相器)。
二、不同电平之间的复位差异
(1)高电平触发的异步复位VS低电平触发的异步复位
①高电平触发的异步复位(异步置位)
代码如下所示:
![](https://i-blog.csdnimg.cn/blog_migrate/8f900a89c6347c561fdf2122f13be562.gif)
综合得到的电路如下所示:
根据代码,容易推断得出这是一个高电平触发、异步复位的触发器(或者叫异步置位),这也与前面的内容相符合(高电平触发复位,所以不用加反相器)。
②低电平触发的异步复位
代码和电路跟 一(1)的代码和电路相同,这里不进行重述。
(2)高电平触发的同步复位VS低电平触发的同步复位
①高电平触发的同步复位
代码如下所示:
1 module DFF4(
2 input clk,
3 input rst_r,
4 input d,
5 output reg q
6 );
7
8 always@(posedge clk )
9 if(rst_r)
10 q <= 0;
11 else
12 q <= d;
13
14 endmodule
综合得到的电路如下所示:
可以知道,这是一个高电平有效、同步复位的触发器单元。
②低电平触发的同步复位
代码和电路同一(2),这里不进行重述
三、阻塞赋值和非阻塞赋值
(1)阻塞赋值综合的触发器
代码如下所示,这里为了使用高电平触发的触发器单元,写出高电平复位:
1 module DFF_chain(
2 input clk,
3 input rst_r,
4 input d,
5 output reg q
6 );
7 reg reg_m ;
8 always @(posedge clk )//high level reset,synchronization
9 if(rst_r)begin
10 reg_m = 0;//block
11 q = 0;
12 end else begin
13 reg_m = d;
14 q = reg_m ;
15 end
16 endmodule
综合得到的电路如下所示:
可以看到,综合得到只有一个触发器,中间的触发器变量reg_m被优化掉了,只剩下q这个触发器。
(2)换个顺序的非阻塞赋值的触发器
把后面的这两个语句对调一下,同时把中间的变量改个名字,改成reg_block(这里改名字只是为了区分后面的非阻塞赋值的情况)
即要综合的代码如下所示:
1 module DFF_chain(
2 input clk,
3 input rst_r,
4 input d,
5 output reg q
6 );
7 reg reg_block ;
8 always @(posedge clk )//high level reset,synchronization
9 if(rst_r)begin//block
10 reg_block = 0;
11 q = 0;
12 end else begin //here has changed
13 q = reg_block ;
14 reg_block = d;
15 end
16 endmodule
综合得到的电路如下所示:
可以看到,调换顺序之后,得到了我们我们想要的触发器链。
结论:描述时序逻辑使用阻塞赋值可能得到正确的结果,也可以得到不正确的结果,因此时序逻辑不建议使用阻塞赋值。
(3)非阻塞赋值综合的触发器
代码如下所示:
1 module DFF_chain(
2 input clk,
3 input rst_r,
4 input d,
5 output reg q
6 );
7 reg reg_m ;
8 always @(posedge clk )//high level reset,synchronization
9 if(rst_r)begin
10 reg_m <= 0;//non block
11 q <= 0;
12 end else begin
13 reg_m <= d;
14 q <= reg_m ;
15 end
16 endmodule
综合得到的电路如下所示:
从电路图中可以看到,综合得到了两个触发器,中间的触发器reg_m被保留下来了,达到了我们预想中的触发器链。
(4)换个顺序后的非阻塞赋值
跟前面的阻塞赋值一样,我们换一下顺序,代码如下所示:
1 module DFF_chain(
2 input clk,
3 input rst_r,
4 input d,
5 output reg q
6 );
7 reg reg_nonblock ;
8 always @(posedge clk )//high level reset,synchronization
9 if(rst_r)begin//non block
10 reg_nonblock <= 0;
11 q <= 0;
12 end else begin
13 q <= reg_nonblock ;
14 reg_nonblock <= d;
15 end
16 endmodule
综合得到的电路如下所示:
从电路中可以看到,即使调换了顺序,电路还是我们需要的触发器链。
结论:描述时序逻辑,使用非阻塞赋值可以得到正确的结果,因此时序逻辑推荐使用非阻塞赋值。
(5)描述组合逻辑电路时的阻塞赋值和非阻塞赋值
阻塞赋值描述组合逻辑(加法器),代码如下所示:
1 module Adder(
2 input a,
3 input b,
4 input c,
5 output reg q
6 );
7 reg sum_block ;
8 always @(* )
9 begin
10 sum_block = a + b ;
11 q = sum_block + c;
12 end
13 endmodule
综合得到电路如下所示:
综合得到的电路是一个加法器。
我们改成非阻塞赋值看看,代码如下所示:
1 module Adder(
2 input a,
3 input b,
4 input c,
5 output reg q
6 );
7 reg sum_block ;
8 always @(* )
9 begin
10 sum_block <= a + b ;
11 q <= sum_block + c;
12 end
13 endmodule
综合得到的电路:
综合得到的电路也是一个加法器。
因此可以冒险地得到一个结论,无论是阻塞赋值还是非阻塞赋值,都可以描述组合逻辑,但是一般情况下,我们推荐使用阻塞赋值,一方面是对仿真有用,另一方面是区别于描述时序逻辑的非阻塞赋值。
最后我尝试着在同一个块中使用阻塞赋值和非阻塞赋值,ISE的综合器报错