I want to write this code for a basic synchronous counter more efficiently... u_count: process(rst_i, clk_i) -- generated on rising edge variable i: integer :=1; begin if rst_i = '1' then c <= "00000000000000000"; elsif (clk_i ='0' and clk_i'event) then c(0) <= c(0) xor cyi; c(1) <= c(1) xor t(0); -- t(n) terms are propagate terms defined earlier as dataflow statements. c(2) <= c(2) xor t(1); .. c(16) <= c(16) xor t(15); end if; end process; This code below for a loop counter works (good to know) u_count: process(rst_i, clk_i) -- generated on rising edge variable i: integer range 1 to 16; begin if rst_i = '1' then c <= "00000000000000000"; elsif (clk_i ='0' and clk_i'event) then c(0) <= c(0) xor cyi; for i in 1 to 16 loop c(i) <= c(i) xor t(i-1); end loop; end if; end process; --------------------------------------------------------------------- And this code below with the most basic while loop does not Error (10536): loop must terminate within 10,000 iterations u_count: process(rst_i, clk_i) -- generated on rising edge variable i: integer :=1; begin if rst_i = '1' then c <= "00000000000000000"; elsif (clk_i ='0' and clk_i'event) then c(0) <= c(0) xor cyi; while (i <= 16) loop c(i) <= c(i) xor t(i-1); i:=i+1; -- how can i get past 16 to 10,000? end loop; end if; end process; Lots of people get this error, but they don't present a simple, bullet-proof example that does not have some other quirk that obfuscates this issue, so I never could find an explanation for the error. Thanks.

Have you tried having it exit at 9,999?, eg what it suggests here: http://quartushelp.altera.com/13.0/mergedprojects/msgs/msgs/evrfx_vhdl_loop_does_not_term.htm

To write efficient code for a synchronous counter, just type c <= c +1; If you want to write low level code for some reason, e.g. as an exercise, you are restricted to synthesizable VHDL constructs. You probably have noticed that not all legal VHDL constructs are synthesizable. They can be however used in testbenches. Because iterations are enrolled to parallel hardware, it's essential that the number of iterations is constant and can be determined at "compile" time. The while statement in your example has a constant number of iterations, but other possible while statements don't. For this reason, synthesis tools don't support it. For Quartus, the supported VHDL constructs are listed in the online help. The selection is mostly identical to IEEE 1076.6, ieee standard for vhdl register transfer level (rtl) synthesis. P.S.: Regarding "efficient code". Even if your code is synthesizable, there's a certain risk that it's not recognized as arithmetic operation and thus won't utilize the fast carry chain. In this case, the resulting hardware will be considerably less efficient, slower and consuming more logic cells than that generated by the simple c <= c +1.

Jderrick If the variable i goes beyond 16, such that I need a huge inexplicable exit condition, then neither I nor the compiler knows what's going on and I'm going to get some abomination logic that swallows my whole CPLD :) FvM I'm looking to understand how the compiler works. I will not use WHILE but I still don't understand why the variable i would exceed 16. The compiler should so a simple ascii text expansion to yield the ascending terms of the counter before it analyzes and elaborates. WHILE fails and FOR works. My simple example demonstrates a compiler flaw and the rule with Altera is "do not use WHILE inside a process". It is interesting that "c=c+1" defaultas to a synchronous counter and that is, tentatively, the way to go. I like to write code that a) Will result in synthesizable logic that I intend. The less freedom I give the compiler the better. Easier to debug and do timing analysis. b) That is understandable to others since I don't work alone. The simplicity and elegant of "c=c+1" also hides the subtlety that might be missed. I would not it in a comment. I'll play around with the explicit code I have and c=c+1 and see what happens. Will I get a synchonous counter from c=c+1 with another compiler? (assume and try!). Thanks.

c<=c+1; will always give you a synchronous counter, if it's in a synchronous process. Otheriwse you just get a logic loop (that the synthesisor wont like very much). It really is not a compiler error. While loops do not convert well to hardware. And in your example, i has a range -2^31 to 2^31-1, so the compiler doesnt know what could happen to i. According to your code you never set it to 0 again, so technically it only ever adds 1 on the first clock edge and then never again, whereas the for loop resets i every time it enters the loop. AFAIK, the compilers do not do behavioural analysis, hence why it doesnt know i never goes past 16. It just converts it to a netlist using specific templates. If you had set the size of i as : variable i : integer range 1 to 16; It may have had an easier time.

Tricky, Thanks for the suggestion. I had in fact also tried "variable i : integer range 1 to 16;" and got the same bad result. That means it is not a problem of undefined range in the compiler. I think you are saying the WHILE is evaluated as if it were logic but in my view it is shorthand for a text expansion prior to any evaluation of logic and consideration of clock edges. I'm still convinced the compiler is not being faithful to VHDL. One of my VHDL books (old but good) is by Kevin Skahill from Cypress Semi and he has a handy example in chapter 4.5.1. Cypress' compiler obviously handles WHILE back in 1996. It would be nice if Altera wrote an app note on this.

Altera_Forum

Honored Contributor

12 years ago

processes: while loop does not work, for loop does work. Why?

I want to write this code for a basic synchronous counter more efficiently...

u_count: process(rst_i, clk_i) -- generated on rising edge

variable i: integer :=1;

begin

if rst_i = '1' then

c <= "00000000000000000";

elsif (clk_i ='0' and clk_i'event) then

c(0) <= c(0) xor cyi;

c(1) <= c(1) xor t(0); -- t(n) terms are propagate terms defined earlier as dataflow statements.

c(2) <= c(2) xor t(1);

c(16) <= c(16) xor t(15);

end if;

end process;

This code below for a loop counter works (good to know)

u_count: process(rst_i, clk_i) -- generated on rising edge

variable i: integer range 1 to 16;

begin

if rst_i = '1' then

c <= "00000000000000000";

elsif (clk_i ='0' and clk_i'event) then

c(0) <= c(0) xor cyi;

for i in 1 to 16 loop

c(i) <= c(i) xor t(i-1);

end loop;

end if;

end process;

---------------------------------------------------------------------

And this code below with the most basic while loop does not

Error (10536): loop must terminate within 10,000 iterations

u_count: process(rst_i, clk_i) -- generated on rising edge

variable i: integer :=1;

begin

if rst_i = '1' then

c <= "00000000000000000";

elsif (clk_i ='0' and clk_i'event) then

c(0) <= c(0) xor cyi;

while (i <= 16) loop

c(i) <= c(i) xor t(i-1);

i:=i+1; -- how can i get past 16 to 10,000?

end loop;

end if;

end process;

Lots of people get this error, but they don't present a simple, bullet-proof example that does not have some other quirk that obfuscates this issue, so I never could find an explanation for the error.

Thanks.

Forum Discussion

processes: while loop does not work, for loop does work. Why?

12 Replies

Recent Discussions

Will serialization factor of 6 in LVDS serdes IP be supported in the future on Agilex5?

System PLL of Agliex5 PCIE example design cannot be locked after configuration

JTAG Chain Broken on Agilex 7-I Dev Kit

Request for Cyclone V Pinout File Information

Cyclone 10 LP's Extended Industrial parts