1500字范文,内容丰富有趣,写作好帮手!
1500字范文 > Verilog 实现占空比为50%的三分频 断言SVA查看波形

Verilog 实现占空比为50%的三分频 断言SVA查看波形

时间:2021-07-20 20:53:14

相关推荐

Verilog 实现占空比为50%的三分频 断言SVA查看波形

1.方法一:异或实现

module d3(input clk,input reset,output div_three);reg [1:0] cnt=2'b00;reg div_clk1;reg div_clk2;always @(posedge clk or negedge reset)beginif(reset == 1'b0)begincnt <= 0;endelse if(cnt == 2)cnt <= 0;else begincnt <= cnt + 1;endendalways @(posedge clk or negedge reset)beginif(reset == 1'b0)begindiv_clk1 <= 0;endelse if(cnt == 0)begindiv_clk1 <= ~div_clk1;endelsediv_clk1 <= div_clk1;endalways @(negedge clk or negedge reset)beginif(reset == 1'b0)begindiv_clk2 <= 0;endelse if(cnt == 2)begin //注意:此处cnt==1的话可以实现占空比为1/6的波形div_clk2 <= ~div_clk2;endelsediv_clk2 <= div_clk2;endassign div_three = div_clk2 ^ div_clk1;//相同为0,相异为1.a1:assert property( //SVA断言语句@(posedge clk)div_three ##2(!div_three));//断言endmodule

我用的是我们公司的EDA软件,不用写testbench就可以查看波形:

上图为cnt==2的波形,

上图为cnt==1时的波形,可以说是占空比为1/6,也可以说是5/6。

2.方法二:或实现

module d3(input clk,input reset,output div_three);reg [1:0] cnt1=2'd0;reg div_clk1;reg div_clk2;always @(posedge clk or negedge reset)beginif(reset == 1'b0)begincnt1 <= 0;endelse if(cnt1 == 2)cnt1 <= 0;else begincnt1 <= cnt1 + 1;endendalways @(posedge clk)beginif(reset == 1'b0)begindiv_clk1 <= 0;endelse if(cnt1 == 0)div_clk1 <= ~div_clk1;else if(cnt1== 1)div_clk1 <= ~div_clk1;elsediv_clk1 <= div_clk1;endalways @(negedge clk)beginif(reset == 1'b0)div_clk2 <= 0;else if(cnt1 == 1)div_clk2 <= ~div_clk2;else if(cnt1==2) //注意计数值选择div_clk2 <= ~div_clk2;elsediv_clk2 <= div_clk2;endassign div_three = (div_clk2 | div_clk1);//或运算c1:cover property(@(posedge clk)div_three |=>(!div_three));endmodule

本内容不代表本网观点和政治立场,如有侵犯你的权益请联系我们处理。
网友评论
网友评论仅供其表达个人看法,并不表明网站立场。