Skip to content

[XIF] Assertion a_sleep_inactive_signals fails when X_EXT=1 #867

New issue
New issue
Open
Open
[XIF] Assertion a_sleep_inactive_signals fails when X_EXT=1#867
Labels
Component:RTLFor issues in the RTL (e.g. for files in the rtl directory)Type:BugFor bugs in any content (RTL, Documentation, etc.)
@silabs-oysteink

Description

@silabs-oysteink
silabs-oysteink
opened on Jun 2, 2023

Assertion a_sleep_inactive_signals fails when X_EXT=1

Component:RTL

Steps to Reproduce

1: Use any version after PR #866 is merged
2: Enable X_EXT and try to prove the mentioned assertion in formal

Metadata

Metadata

Assignees

No one assigned

    Labels

    Component:RTLFor issues in the RTL (e.g. for files in the rtl directory)Type:BugFor bugs in any content (RTL, Documentation, etc.)

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions