Re: [Iverilog-devel] Help: Seems like recursive function is not supported?

[Cary R. <cy...@ya...>]

 I have pushed a fix that should prevent the sensitivity calculation for always_comb from going into an infinite loop when it contains a recursive function call.
Cary

    On Sunday, September 29, 2019, 5:59:11 PM PDT, Cary R. via Iverilog-devel <ive...@li...> wrote:  
 
  Hi Martin,
What is the always_comb problem? Is it the sensitivity calculation for recursive functions? I'll test something like that and if it gets stuck in an inf loop I'll look at fixing it.

Cary

    On Friday, September 27, 2019, 3:22:23 PM PDT, Martin Whitaker <ic...@ma...> wrote:  
 
 Recursive functions have been supported for a long time. See

https://github.com/steveicarus/ivtest/blob/master/ivltests/recursive_func.v

Trying to compile the sha_mainloop.sv file from that GitHub project shows 
it is the always_comb construct that is causing the problem. Change it to 
an always @*, and the module compiles without error.

fuyong wrote:
> Hi,
> 
> We have download a design from Github. This design can run correctly in
> VCS. But iVeriog compile hang.
> 
> https://github.com/unixb0y/SystemVerilogSHA256
> 
> Guess it is the following function (recursive function as it call itself)
> cause the issue:
> 
>      function automatic [31:0] W;
>          input [6:0] x;
>          input [6:0] y;
>          if(^x === 1'bX) W = 32'h777;
>          else W = (x<16) ? padded[((PADDED_SIZE-1-y*512)-x*32) -: 32] :
> rho1(W(x-2, y)) + W(x-7, y) + rho0(W(x-15, y)) + W(x-16, y);
>      endfunction
> 
> Any suggestions on how to change the code for workaround? Or enhancement in
> iVerilog :-) ?
> 
> Thanks,
> Yong
> 
> 
> 
> 
> 
> _______________________________________________
> Iverilog-devel mailing list
> Ive...@li...
> https://lists.sourceforge.net/lists/listinfo/iverilog-devel
> 



_______________________________________________
Iverilog-devel mailing list
Ive...@li...
https://lists.sourceforge.net/lists/listinfo/iverilog-devel
  _______________________________________________
Iverilog-devel mailing list
Ive...@li...
https://lists.sourceforge.net/lists/listinfo/iverilog-devel