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

write and check Bluecheck properties on SoC #60

Open
kiniry opened this issue Jan 5, 2022 · 0 comments
Open

write and check Bluecheck properties on SoC #60

kiniry opened this issue Jan 5, 2022 · 0 comments
Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. ENHANCEMENT New feature or request hardware Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. verification
Milestone
SoC

Comments

@kiniry
Copy link
Member

kiniry commented Jan 5, 2022

When we get the SoC working, and after we have the RISC-V verification harness demonstrable as part of our assurance case, and we have the spare hours, we should write some appropriate scenarios and properties for the SoC and check them using BlueCheck.

This will likely not happen as a part of the project, but only later if we choose to do it with IR&D.
@kiniry kiniry added ENHANCEMENT New feature or request specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. hardware verification To Do assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. labels Jan 5, 2022
@kiniry kiniry added Someday Issues that are not required by our current contract, but we'd like to attend to someday. and removed To Do labels Apr 18, 2022
@kiniry kiniry added this to the SoC milestone May 22, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
assurance Issues that relate to the assurance of the system, whether via models, code, informal, or formal. ENHANCEMENT New feature or request hardware Someday Issues that are not required by our current contract, but we'd like to attend to someday. specifications Issues that relate to system specifications, whether of models, code, protocols, or otherwise. verification
Projects
None yet
Milestone
SoC
Development

No branches or pull requests
1 participant
@kiniry