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.

Sign up for GitHub

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

Jump to bottom

Add initial DCLS support and documentation #246

Draft
wants to merge 19 commits into
base: main
Choose a base branch
from
Draft

Add initial DCLS support and documentation #246

wants to merge 19 commits into from

Commits on Nov 21, 2024

  1. Draft lockstep implementation 

    Internal-tag: [#62496]
Signed-off-by: Michal Czyz <[email protected]>
Signed-off-by: Wiktoria Kuna <[email protected]>
    @mczyz-antmicro @tmichalak
    mczyz-antmicro authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    cc608c3 View commit details
    Browse the repository at this point in the history

  2. Docs: Add DCLS documentation draft 

    Internal-tag: [#66891]
Signed-off-by: Wiktoria Kuna <[email protected]>
    @wkkuna @tmichalak
    wkkuna authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    7197a36 View commit details
    Browse the repository at this point in the history

  3. Expose VeeR register file to top level 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    5337bc1 View commit details
    Browse the repository at this point in the history

  4. Add config options for Dual Core Lockstep (DCLS) 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    74d37a9 View commit details
    Browse the repository at this point in the history

  5. Refactor register file interface to ease signal assignments 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    dedd20d View commit details
    Browse the repository at this point in the history

  6. Improve lockstep connections and detection mechanism 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    636a5e9 View commit details
    Browse the repository at this point in the history

  7. Add proper reset test for DCLS 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    50d616a View commit details
    Browse the repository at this point in the history

  8. Cleanup block verfication codebase 

    - Remove reduntant imports from RTL
- Assign some hanging outputs to `unused_*` wires
- Add explicit lint waivers for VeeR codebase
- Add test-specific lint waivers for test wrappers
- Build complex test design using multiple threads

Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    3b3637e View commit details
    Browse the repository at this point in the history

  9. Enable DCLS test in GH CI 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    6168214 View commit details
    Browse the repository at this point in the history

  10. Add lockstep module to filelists 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    ee1f022 View commit details
    Browse the repository at this point in the history

  11. Add monitored IOs to documentation 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    6850b84 View commit details
    Browse the repository at this point in the history

  12. Add description of error injection control logic 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    4ecf0f2 View commit details
    Browse the repository at this point in the history

  13. Make for loops synthesizable 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    ba2bb01 View commit details
    Browse the repository at this point in the history

  14. Route DCLS signals to top level 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    7552ee9 View commit details
    Browse the repository at this point in the history

  15. Add control signals to Shadow Core 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    bc26691 View commit details
    Browse the repository at this point in the history

  16. Add test for DCLS error injection 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    b5a52ff View commit details
    Browse the repository at this point in the history

  17. Update DCLS error handling policy documentation 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    69e4153 View commit details
    Browse the repository at this point in the history

  18. Update DCLS block diagram 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    7cae870 View commit details
    Browse the repository at this point in the history

  19. Add new line at the end of the file 

    Signed-off-by: Robert Szczepanski <[email protected]>
    @robertszczepanski @tmichalak
    robertszczepanski authored and tmichalak committed Nov 21, 2024
    Configuration menu
    Copy the full SHA
    5c35860 View commit details
    Browse the repository at this point in the history