Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Verilator internal fault #607

Closed
veripoolbot opened this issue Jan 22, 2013 · 4 comments
Closed

Verilator internal fault #607

veripoolbot opened this issue Jan 22, 2013 · 4 comments
Assignees
Labels
resolution: fixed Closed; fixed

Comments

@veripoolbot
Copy link
Contributor


Author Name: Jie Xu (@jiexu)
Original Redmine Issue: 607 from https://www.veripool.org
Original Date: 2013-01-22
Original Assignee: Wilson Snyder (@wsnyder)


Adding two lines to t/t_param_mem_attr.v test in verilator test_regress folder causes Verilator generating an internal fault.

module t (/*AUTOARG*/
    // Inputs
    clk
    );
    input clk;
    wire [71:0] ctrl;
    wire [7:0] cl;                       // this line is added 

    memory #(.words(72)) i_memory (.clk (clk));

    assign ctrl = i_memory.mem[0];
    assign cl   = i_memory.mem[0][7:0];  // and this line
endmodule


// memory module, which is used with parameter
module memory (clk);
    input clk;

    parameter words = 16384, bits = 72;

    reg [bits-1 :0] mem[words-1 : 0];

endmodule


However, vcs passes the same test.

This issue may relate to issue [[http://www.veripool.org/issues/583]].

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-01-26T02:27:41Z


Fixed in git towards 3.845.

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Jie Xu (@jiexu)
Original Date: 2013-01-28T07:15:20Z


Hi Wilson,

Has the change for this issue been taken to git source? I can not get any new commit from verilator git source.

Thanks for the fixing.

Jie

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-01-28T12:28:06Z


Sorry, forgot to 'git push' try again.

@veripoolbot
Copy link
Contributor Author


Original Redmine Comment
Author Name: Wilson Snyder (@wsnyder)
Original Date: 2013-02-05T03:22:25Z


In 3.845.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
resolution: fixed Closed; fixed
Projects
None yet
Development

No branches or pull requests

2 participants