CODEWITHSUNDEEP
veriloghdl
Rudy01
Rudy01

Reputation: 1067

Verilog possible latch

I am a VHDL coder, and haven't coded much with Verilog. I am going through someone else's code, and I came across this:

always@(posedge asix_clk_bufg or negedge pll_asix_locked)
begin
    if (~pll_asix_locked)
        asix_rst <= 0;
    else if (timer[5])  // 355us between asix_clk and asix_rst (min is 200us)
        asix_rst <= 1;
end

I am not sure if I agree with the above code ! Isn't a possible latch scenario ? I see it is waiting for the pll to lock and then bring the system out of reset, but is this coded correctly?

I don't like to combine sequential and combinatorial code together, but what is the value of "asix_rst" when timer[5] = 0 ?!?

Thanks, --Rudy

Upvotes: 3

Views: 443

Answers (2)

Russell
Russell

Reputation: 3457

Latches are only generated with combinational always blocks. Since the signal in the sensitivity list is looking for the posedge of the clock, the code is generating sequential logic. Sequential logic will never generate a latch.

For more information read about how transparent latches are created and how to avoid inferring latches

Upvotes: 1

nguthrie
nguthrie

Reputation: 2685

This is the way to infer a flip-flop with a positive edge clock (asix_clk_bufg) an asynchronous active low reset (pll_asix_locked) and a clock enable (timer[5]). There is a D input (tied to 1) and a Q output (asix_rst).

I assume that the PLL starts off not locked so asix_rst is 0 until the first clock edge when timer[5] == 1. It will then stay high until the PLL loses lock. The reset must be asynchronous since the clock will stop when the PLL loses lock.

I am guessing that the timer[5] bit goes high 5 or 6 clock cycles after the PLL is locked ensuring that there is a stable clock before the rest of the system comes out of reset.

This would be a latch if instead of the clock you had timer[5] in the sensitivity list like this:

always@(timer[5] or pll_asix_locked)
begin
    if (~pll_asix_locked)
        asix_rst <= 0;
    else if (timer[5])  // 355us between asix_clk and asix_rst (min is 200us)
        asix_rst <= 1;
end

Upvotes: 2

Related Questions