当前位置:   article > 正文

verilog时序逻辑_verilog设计时序

verilog设计时序

组合逻辑电路在逻辑功能上特点是任意时刻的输出仅仅取决于当前时刻的输入,与电路原来的状态无关。而时序逻辑在逻辑功能上的特点是任意时刻的输出不仅仅取决于当前的输入信号, 而且还取决于电路原来的状态。下面以典型的时序逻辑分析。

1、D触发器

D 触发器在时钟的上升沿或下降沿存储数据,输出与时钟跳变之前输入信号的状态相同。

代码如下:

  1. module top(d, clk, q) ;
  2. input d ;
  3. input clk ;
  4. output reg q ;
  5. always @(posedge clk)
  6. begin
  7. q <= d ;
  8. end
  9. endmodule

激励文件如下:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg d ;
  4. reg clk ;
  5. wire q ;
  6. initial
  7. begin
  8. d = 0 ;
  9. clk = 0 ;
  10. forever
  11. begin
  12. #({$random}%100)
  13. d = ~d ;
  14. end
  15. end
  16. always #10 clk = ~clk ;
  17. top t0(.d(d),.clk(clk),.q(q)) ;
  18. endmodule

RTL 图表示如下

仿真结果如下,可以看到在 t0 时刻时,d 的值为 0,则 q 的值也为 0;在 t1 时刻 d 发生了变 化,值为 1,那么 q 相应也发生了变化,值变为 1。可以看到在 t0-t1 之间的一个时钟周期内,无 论输入信号 d 的值如何变化,q 的值是保持不变的,也就是有存储的功能,保存的值为在时钟的 跳变沿时 d 的值。

2、两级D触发器

软件是按照两级 D 触发器的模型进行时序分析的,具体可以分析在同一时刻两个 D 触发器输 出的数据有何不同,其 RTL 图如下:

代码如下:

  1. module top(d, clk, q, q1) ;
  2. input d ;
  3. input clk ;
  4. output reg q ;
  5. output reg q1 ;
  6. always @(posedge clk)
  7. begin
  8. q <= d ;
  9. end
  10. always @(posedge clk)
  11. begin
  12. q1 <= q ;
  13. end
  14. endmodule

激励文件如下:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg d ;
  4. reg clk ;
  5. wire q ;
  6. wire q1 ;
  7. initial
  8. begin
  9. d = 0 ;
  10. clk = 0 ;
  11. forever
  12. begin
  13. #({$random}%100)
  14. d = ~d ;
  15. end
  16. end
  17. always #10 clk = ~clk ;
  18. top
  19. t0(.d(d),.clk(clk),.q(q),.q1(q1)) ;
  20. endmodule

仿真结果如下,可以看到 t0 时刻,d 为 0,q 输出为 0,t1 时刻,q 随着 d 的数据变化而变化, 而此时钟跳变之前 q 的值仍为 0,那么 q1 的值仍为 0,t2 时刻,时钟跳变前 q 的值为 1,则 q1 的 值相应为 1,q1 相对于 q 落后一个周期。

3、带异步复位的 D 触发器

异步复位是指独立于时钟,一旦异步复位信号有效,就触发复位操作。这个功能在写代码时 会经常用到,用于给信号复位,初始化。其 RTL 图如下:

代码如下,注意要把异步复位信号放在敏感列表里,如果是低电平复位,即为 negedge,如 果是高电平复位,则是 posedge

  1. module top(d, rst, clk, q) ;
  2. input d ;
  3. input rst ;
  4. input clk ;
  5. output reg q ;
  6. always @(posedge clk or negedge rst)
  7. begin
  8. if (rst == 1'b0)
  9. q <= 0 ;
  10. else
  11. q <= d ;
  12. end
  13. endmodule

激励文件:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg d ;
  4. reg rst ;
  5. reg clk ;
  6. wire q ;
  7. initial
  8. begin
  9. d = 0 ;
  10. clk = 0 ;
  11. forever
  12. begin
  13. #({$random}%100)
  14. d = ~d ;
  15. end
  16. end
  17. initial
  18. begin
  19. rst = 0 ;
  20. #200 rst = 1 ;
  21. end
  22. always #10 clk = ~clk ;
  23. top
  24. t0(.d(d),.rst(rst),.clk(clk),.q(q)) ;
  25. endmodule

仿真结果如下,可以看到在复位信号之前,虽然输入信号 d 数据有变化,但由于正处于复位 状态,输入信号 q 始终为 0,在复位之后 q 的值就正常了。

4、带异步复位同步清零的 D 触发器

前面讲到异步复位独立于时钟操作,而同步清零则是同步于时钟信号下操作的,当然也不仅 限于同步清零,也可以是其他的同步操作,其 RTL 图如下:

代码如下,不同于异步复位,同步操作不能把信号放到敏感列表里

  1. module top(d, rst, clr, clk, q) ;
  2. input d ;
  3. input rst ;
  4. input clr ;
  5. input clk ;
  6. output reg q ;
  7. always @(posedge clk or negedge rst)
  8. begin
  9. if (rst == 1'b0)
  10. q <= 0 ;
  11. else if (clr == 1'b1)
  12. q <= 0 ;
  13. else
  14. q <= d ;
  15. end
  16. endmodule

激励文件:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg d ;
  4. reg rst ;
  5. reg clr ;
  6. reg clk ;
  7. wire q ;
  8. initial
  9. begin
  10. d = 0 ;
  11. clk = 0 ;
  12. forever
  13. begin
  14. #({$random}%100)
  15. d = ~d ;
  16. end
  17. end
  18. initial
  19. begin
  20. rst = 0 ;
  21. clr = 0 ;
  22. #200 rst = 1 ;
  23. #200 clr = 1 ;
  24. #100 clr = 0 ;
  25. end
  26. always #10 clk = ~clk ;
  27. top
  28. t0(.d(d),.rst(rst),.clr(clr),.clk(clk),
  29. .q(q)) ;
  30. endmodule

仿真结果如下,可以看到 clr 信号拉高后,q 没有立即清零,而是在下个 clk 上升沿之后执行 清零操作,也就是 clr 同步于 clk。

5、移位寄存器

移位寄存器是指在每个时钟脉冲来时,向左或向右移动一位,由于 D 触发器的特性,数据输 出同步于时钟边沿,其结构如下,每个时钟来临,每个 D 触发器的输出 q 等于前一个 D 触发器输 出的值,从而实现移位的功能。

代码实现:

  1. module top(d, rst, clk, q) ;
  2. input d ;
  3. input rst ;
  4. input clk ;
  5. output reg [7:0] q ;
  6. always @(posedge clk or negedge rst)
  7. begin
  8. if (rst == 1'b0)
  9. q <= 0 ;
  10. else
  11. q <= {q[6:0], d} ; //向左移位
  12. //q <= {d, q[7:1]} ; //向右移位
  13. end
  14. endmodule

激励文件:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg d ;
  4. reg rst ;
  5. reg clk ;
  6. wire [7:0] q ;
  7. initial
  8. begin
  9. d = 0 ;
  10. clk = 0 ;
  11. forever
  12. begin
  13. #({$random}%100)
  14. d = ~d ;
  15. end
  16. end
  17. initial
  18. begin
  19. rst = 0 ;
  20. #200 rst = 1 ;
  21. end
  22. always #10 clk = ~clk ;
  23. top
  24. t0(.d(d),.rst(rst),.clk(clk),.q(q)) ;
  25. endmodule

 仿真结果如下,可以看到复位之后,每个 clk 上升沿左移一位

6、单口RAM

单口 RAM 的写地址与读地址共用一个地址,代码如下,其中 reg [7:0] ram [63:0]意思是定义 了 64 个 8 位宽度的数据。其中定义了 addr_reg,可以保持住读地址,延迟一周期之后将数据送出。

代码:

  1. module top
  2. (
  3. input [7:0] data,
  4. input [5:0] addr,
  5. input wr,
  6. input clk,
  7. output [7:0] q
  8. );
  9. reg [7:0] ram[63:0]; //declare ram
  10. reg [5:0] addr_reg; //addr register
  11. always @ (posedge clk)
  12. begin
  13. if (wr) //write
  14. ram[addr] <= data;
  15. addr_reg <= addr;
  16. end
  17. assign q = ram[addr_reg]; //read data
  18. endmodule

激励:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg [7:0] data ;
  4. reg [5:0] addr ;
  5. reg wr ;
  6. reg clk ;
  7. wire [7:0] q ;
  8. initial
  9. begin
  10. data = 0 ;
  11. addr = 0 ;
  12. wr = 1 ;
  13. clk = 0 ;
  14. end
  15. always #10 clk = ~clk ;
  16. always @(posedge clk)
  17. begin
  18. data <= data + 1'b1 ;
  19. addr <= addr + 1'b1 ;
  20. end
  21. top t0(.data(data),
  22. .addr(addr),
  23. .clk(clk),
  24. .wr(wr),
  25. .q(q)) ;
  26. endmodule

仿真结果如下,可以看到 q 的输出与写入的数据一致

7、伪双口 RAM

伪双口 RAM 的读写地址是独立的,可以随机选择写或读地址,同时进行读写操作。代码如下, 在激励文件中定义了 en 信号,在其有效时发送读地址。

  1. module top
  2. (
  3. input [7:0] data,
  4. input [5:0] write_addr,
  5. input [5:0] read_addr,
  6. input wr,
  7. input rd,
  8. input clk,
  9. output reg [7:0] q
  10. );
  11. reg [7:0] ram[63:0]; //declare ram
  12. reg [5:0] addr_reg; //addr register
  13. always @ (posedge clk)
  14. begin
  15. if (wr) //write
  16. ram[write_addr] <= data;
  17. if (rd) //read
  18. q <= ram[read_addr];
  19. end
  20. endmodule

激励:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg [7:0] data ;
  4. reg [5:0] write_addr ;
  5. reg [5:0] read_addr ;
  6. reg wr ;
  7. reg clk ;
  8. reg rd ;
  9. wire [7:0] q ;
  10. initial
  11. begin
  12. data = 0 ;
  13. write_addr = 0 ;
  14. read_addr = 0 ;
  15. wr = 0 ;
  16. rd = 0 ;
  17. clk = 0 ;
  18. #100 wr = 1 ;
  19. #20 rd = 1 ;
  20. end
  21. always #10 clk = ~clk ;
  22. always @(posedge clk)
  23. begin
  24. if (wr)
  25. begin
  26. data <= data + 1'b1 ;
  27. write_addr <= write_addr + 1'b1 ;
  28. if (rd)
  29. read_addr <= read_addr + 1'b1 ;
  30. end
  31. end
  32. top t0(.data(data),
  33. .write_addr(write_addr),
  34. .read_addr(read_addr),
  35. .clk(clk),
  36. .wr(wr),
  37. .rd(rd),
  38. .q(q)) ;
  39. endmodule

仿真结果如下,可以看到在 rd 有效时,对读地址进行操作,读出数据

8、真双口 RAM

真双口 RAM 有两套控制线,数据线,允许两个系统对其进行读写操作,代码如下:

  1. module top
  2. (
  3. input [7:0] data_a, data_b,
  4. input [5:0] addr_a, addr_b,
  5. input wr_a, wr_b,
  6. input rd_a, rd_b,
  7. input clk,
  8. output reg [7:0] q_a, q_b
  9. );
  10. reg [7:0] ram[63:0]; //declare ram
  11. //Port A
  12. always @ (posedge clk)
  13. begin
  14. if (wr_a) //write
  15. begin
  16. ram[addr_a] <= data_a;
  17. q_a <= data_a ;
  18. end
  19. if (rd_a)
  20. //read
  21. q_a <= ram[addr_a];
  22. end
  23. //Port B
  24. always @ (posedge clk)
  25. begin
  26. if (wr_b) //write
  27. begin
  28. ram[addr_b] <= data_b;
  29. q_b <= data_b ;
  30. end
  31. if (rd_b)
  32. //read
  33. q_b <= ram[addr_b];
  34. end
  35. endmodule

激励:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg [7:0] data_a, data_b ;
  4. reg [5:0] addr_a, addr_b ;
  5. reg wr_a, wr_b ;
  6. reg rd_a, rd_b ;
  7. reg clk ;
  8. wire [7:0] q_a, q_b ;
  9. initial
  10. begin
  11. data_a = 0 ;
  12. data_b = 0 ;
  13. addr_a = 0 ;
  14. addr_b = 0 ;
  15. wr_a = 0 ;
  16. wr_b = 0 ;
  17. rd_a = 0 ;
  18. rd_b = 0 ;
  19. clk = 0 ;
  20. #100 wr_a = 1 ;
  21. #100 rd_b = 1 ;
  22. end
  23. always #10 clk = ~clk ;
  24. always @(posedge clk)
  25. begin
  26. if (wr_a)
  27. begin
  28. data_a <= data_a + 1'b1 ;
  29. addr_a <= addr_a + 1'b1 ;
  30. end
  31. else
  32. begin
  33. data_a <= 0 ;
  34. addr_a <= 0 ;
  35. end
  36. end
  37. always @(posedge clk)
  38. begin
  39. if (rd_b)
  40. begin
  41. addr_b <= addr_b + 1'b1 ;
  42. end
  43. else addr_b <= 0 ;
  44. end
  45. top
  46. t0(.data_a(data_a), .data_b(data_b),
  47. .addr_a(addr_a), .addr_b(addr_b
  48. ),
  49. .wr_a(wr_a), .wr_b(wr_b),
  50. .rd_a(rd_a), .rd_b(rd_b),
  51. .clk(clk),
  52. .q_a(q_a), .q_b(q_b)) ;
  53. endmodule

仿真结果如下:

9、单口 ROM

ROM 是用来存储数据的,可以按照下列代码形式初始化 ROM,但这种方法处理大容量的 ROM 就比较麻烦,建议用 FPGA 自带的 ROM IP 核实现,并添加初始化文件。

代码:

  1. module top
  2. (
  3. input [3:0] addr,
  4. input clk,
  5. output reg [7:0] q
  6. );
  7. reg [7:0] rom [15:0] ; //declare rom
  8. always @(addr)
  9. begin
  10. case(addr)
  11. 4'd0 : rom[addr] = 8'd15 ;
  12. 4'd1 : rom[addr] = 8'd24 ;
  13. 4'd2 : rom[addr] = 8'd100 ;
  14. 4'd3 : rom[addr] = 8'd78 ;
  15. 4'd4 : rom[addr] = 8'd98 ;
  16. 4'd5 : rom[addr] = 8'd105 ;
  17. 4'd6 : rom[addr] = 8'd86 ;
  18. 4'd7 : rom[addr] = 8'd254 ;
  19. 4'd8 : rom[addr] = 8'd76 ;
  20. 4'd9 : rom[addr] = 8'd35 ;
  21. 4'd10 : rom[addr] = 8'd120 ;
  22. 4'd11 : rom[addr] = 8'd85 ;
  23. 4'd12 : rom[addr] = 8'd37 ;
  24. 4'd13 : rom[addr] = 8'd19 ;
  25. 4'd14 : rom[addr] = 8'd22 ;
  26. 4'd15 : rom[addr] = 8'd67 ;
  27. endcase
  28. end
  29. always @(posedge clk)
  30. begin
  31. q <= rom[addr] ;
  32. end
  33. endmodule

激励:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg [3:0] addr ;
  4. reg clk ;
  5. wire [7:0] q ;
  6. initial
  7. begin
  8. addr = 0 ;
  9. clk = 0 ;
  10. end
  11. always #10 clk = ~clk ;
  12. always @(posedge clk)
  13. begin
  14. addr <= addr + 1'b1 ;
  15. end
  16. top t0(.addr(addr),
  17. .clk(clk),
  18. .q(q)) ;
  19. endmodule

仿真结果如下

10、有限状态机

在 verilog 里经常会用到有限状态机,处理相对复杂的逻辑,设定好不同的状态,根据触发条 件跳转到对应的状态,在不同的状态下做相应的处理。有限状态机主要用到 always 及 case 语句。 下面以一个四状态的有限状态机举例说明。

在程序中设计了 8 位的移位寄存器,在 Idle 状态下,判断 shift_start 信号是否为高,如果为 高,进入 Start 状态,在 Start 状态延迟 100 个周期,进入 Run 状态,进行移位处理,如果 shift_stop 信号有效了,进入 Stop 状态,在 Stop 状态,清零 q 的值,再跳转到 Idle 状态。

Mealy 有限状态机,输出不仅与当前状态有关,也与输入信号有关,在 RTL 中会与输入信号 有连接。

代码

  1. module top
  2. (
  3. input shift_start,
  4. input shift_stop,
  5. input rst,
  6. input clk,
  7. input d,
  8. output reg [7:0] q
  9. );
  10. parameter Idle = 2'd0 ; //Idle state
  11. parameter Start = 2'd1 ; //Start state
  12. parameter Run = 2'd2 ; //Run state
  13. parameter Stop = 2'd3 ; //Stop state
  14. reg [1:0] state ; //statement
  15. reg [4:0] delay_cnt ; //delay counter
  16. always @(posedge clk or negedge rst)
  17. begin
  18. if (!rst)
  19. begin
  20. state <= Idle ;
  21. delay_cnt <= 0 ;
  22. q <= 0 ;
  23. end
  24. else
  25. case(state)
  26. Idle : begin
  27. if (shift_start)
  28. state <= Start ;
  29. end
  30. Start : begin
  31. if (delay_cnt == 5'd99)
  32. begin
  33. delay_cnt <= 0 ;
  34. state <= Run ;
  35. end
  36. else
  37. delay_cnt <= delay_cnt + 1'b1 ;
  38. end
  39. Run : begin
  40. if (shift_stop)
  41. state <= Stop ;
  42. else
  43. q <= {q[6:0], d} ;
  44. end
  45. Stop : begin
  46. q <= 0 ;
  47. state <= Idle ;
  48. end
  49. default: state <= Idle ;
  50. endcase
  51. end
  52. endmodule

Moore 有限状态机,输出只与当前状态有关,与输入信号无关,输入信号只影响状态的改变, 不影响输出,比如对 delay_cnt 和 q 的处理,只与 state 状态有关。

  1. module top
  2. (
  3. input shift_start,
  4. input shift_stop,
  5. input rst,
  6. input clk,
  7. input d,
  8. output reg [7:0] q
  9. );
  10. parameter Idle = 2'd0 ; //Idle state
  11. parameter Start = 2'd1 ; //Start state
  12. parameter Run = 2'd2 ; //Run state
  13. parameter Stop = 2'd3 ; //Stop state
  14. reg [1:0] current_state ; //statement
  15. reg [1:0] next_state ;
  16. reg [4:0] delay_cnt ; //delay counter
  17. //First part: statement transition
  18. always @(posedge clk or negedge rst)
  19. begin
  20. if (!rst)
  21. current_state <= Idle ;
  22. else
  23. current_state <= next_state ;
  24. end
  25. //Second part: combination logic, judge statement transition condition
  26. always @(*)
  27. begin
  28. case(current_state)
  29. Idle : begin
  30. if (shift_start)
  31. next_state <= Start ;
  32. else
  33. next_state <= Idle ;
  34. end
  35. Start : begin
  36. if (delay_cnt == 5'd99)
  37. next_state <= Run ;
  38. else
  39. next_state <= Start ;
  40. end
  41. Run : begin
  42. if (shift_stop)
  43. next_state <= Stop ;
  44. else
  45. next_state <= Run ;
  46. end
  47. Stop : next_state <= Idle ;
  48. default: next_state <= Idle ;
  49. endcase
  50. end
  51. //Last part: output data
  52. always @(posedge clk or negedge rst)
  53. begin
  54. if (!rst)
  55. delay_cnt <= 0 ;
  56. else if (current_state == Start)
  57. delay_cnt <= delay_cnt + 1'b1 ;
  58. else
  59. delay_cnt <= 0 ;
  60. end
  61. always @(posedge clk or negedge rst)
  62. begin
  63. if (!rst)
  64. q <= 0 ;
  65. else if (current_state == Run)
  66. q <= {q[6:0], d} ;
  67. else
  68. q <= 0 ;
  69. end
  70. endmodule

在上面两个程序中用到了两种方式的写法,第一种的 Mealy 状态机,采用了一段式的写法, 只用了一个 always 语句,所有的状态转移,判断状态转移条件,数据输出都在一个 always 语句里, 缺点是如果状态太多,会使整段程序显的冗长。第二个 Moore 状态机,采用了三段式的写法,状态转移用了一个 always 语句,判断状态转移条件是组合逻辑,采用了一个 always 语句,数据输出 也是单独的 always 语句,这样写起来比较直观清晰,状态很多时也不会显得繁琐。

激励文件如下:

  1. `timescale 1 ns/1 ns
  2. module top_tb() ;
  3. reg shift_start ;
  4. reg shift_stop ;
  5. reg rst ;
  6. reg clk ;
  7. reg d ;
  8. wire [7:0] q ;
  9. initial
  10. begin
  11. rst = 0 ;
  12. clk = 0 ;
  13. d = 0 ;
  14. #200 rst = 1 ;
  15. forever
  16. begin
  17. #({$random}%100)
  18. d = ~d ;
  19. end
  20. end
  21. initial
  22. begin
  23. shift_start = 0 ;
  24. shift_stop = 0 ;
  25. #300 shift_start = 1 ;
  26. #1000 shift_start = 0 ;
  27. shift_stop = 1 ;
  28. #50 shift_stop = 0 ;
  29. end
  30. always #10 clk = ~clk ;
  31. top t0
  32. (
  33. .shift_start(shift_start),
  34. .shift_stop(shift_stop),
  35. .rst(rst),
  36. .clk(clk),
  37. .d(d),
  38. .q(q)
  39. );
  40. endmodule

仿真结果如下:

声明:本文内容由网友自发贡献,不代表【wpsshop博客】立场,版权归原作者所有,本站不承担相应法律责任。如您发现有侵权的内容,请联系我们。转载请注明出处:https://www.wpsshop.cn/w/繁依Fanyi0/article/detail/603065
推荐阅读
相关标签
  

闽ICP备14008679号