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

Add initial DCLS support and documentation #354

Open
wants to merge 20 commits into
base: main
Choose a base branch
from
Open

Conversation

robertszczepanski
Copy link
Collaborator

@robertszczepanski robertszczepanski commented Jan 17, 2025

This PR adds a Dual Core Lockstep feature into VeeR CPU behind configuration options. The DCLS tracks inputs and outputs of the main CPU core and compares it with the expected states. There is a possibility to include and track copy of the register file in a shadow core. New feature is configurable via following flags:

  • -set lockstep_enable=1 that generates RV_LOCKSTEP_ENABLE which enables the DCLS feature,
  • -set lockstep_delay=<2-4> that generates RV_LOCKSTEP_DELAY which specifies the delay between the shadow core and the main core,
  • -set lockstep_regfile_enable=1 that generates RV_LOCKSTEP_REGFILE_ENABLE which exposes the register file to top level and adds it to the equvalency checker.

The Dual Core Lockstep is appended to the documentation and comes with a test for delayed reset functionality.

Copy link

1 similar comment
Copy link

Copy link

Copy link

mczyz-antmicro and others added 20 commits January 21, 2025 08:42
Internal-tag: [#62496]
Signed-off-by: Michal Czyz <[email protected]>
Signed-off-by: Wiktoria Kuna <[email protected]>
Internal-tag: [#66891]
Signed-off-by: Wiktoria Kuna <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Signed-off-by: Robert Szczepanski <[email protected]>
Copy link

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

Successfully merging this pull request may close these issues.

4 participants