Skip to content

Improve get_toggle_excl_bits for non-power-of-two ranges #28457

@Razer6

Description

@Razer6

get_toggle_excl_bits() computes the number if bits that do not toggle for coverage. This function only works for addresses of a power two currently but not with the relaxed contraint on the crossbars where comparators are sued for arbitrary address ranges.

I think we can do better than returning [] for the bits that cannot be toggled by a given address range if that address range is not a power of two. I see this as a DV improvement (likely important for coverage closure) more than a blocker for this PR, though. Suggest creating an tracking issue

Originally posted by @andreaskurth in #28452 (comment)

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions