Skip to content

[BUG] Inferred latch in combination logic #3105

@likeamahoney

Description

@likeamahoney

Is there an existing CVA6 bug for this?

  • I have searched the existing bug issues

Bug Description

Hi, let's consider a newly added iti package code.

Using static analysis methods here was found an inferred latch in combinational logic.

Suppose developers missed to initialize valid_o in main loop body (before first if operator):

itt_out[i].valid = `0

Metadata

Metadata

Assignees

No one assigned

    Labels

    Type:BugFor bugs in the RTL, Documentation, Verification environment or Tool and Build system

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions