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

[i2c,dv] Check I2C timing compliance via a SVA-based protocol checker #18722

Open
marnovandermaas opened this issue May 23, 2023 · 6 comments
Open

[i2c,dv] Check I2C timing compliance via a SVA-based protocol checker #18722

marnovandermaas opened this issue May 23, 2023 · 6 comments
Labels
Component:DV DV issue: testbench, test case, etc. Earlgrey-PROD Candidate Temporary label to triage issues into Earlgrey-PROD Milestones IP:i2c Priority:P2 Priority: medium
Milestone
Earlgrey-PROD.M7

Comments

@marnovandermaas
Copy link
Contributor

Description

This issue is here to track the work required to add assertions to the test bench. For example, SDA should not change at the same time as SCL, which caused the following issue: #18718
@marnovandermaas marnovandermaas added Component:DV DV issue: testbench, test case, etc. IP:i2c labels May 23, 2023
@GregAC GregAC mentioned this issue May 24, 2023
Closed
@msfschaffner msfschaffner added this to the Discrete: M2.5.2 milestone May 24, 2023
@msfschaffner msfschaffner added the Priority:P1 Priority: high label May 24, 2023
@msfschaffner
Copy link
Contributor

msfschaffner commented May 24, 2023 •
edited
Loading

Discussed in the V2 meeting, decided to:

@GregAC
Copy link
Contributor

GregAC commented May 25, 2023

@marnovandermaas could you do the assertion for SDA/SCL not changing together ASAP as an aid to verifying: #18729?

@marnovandermaas marnovandermaas mentioned this issue May 25, 2023
Closed
9 tasks
@marnovandermaas
Copy link
Contributor Author

@GregAC I've added this assertion as a commit to this PR: #18729

@msfschaffner
Copy link
Contributor

Moving to M2.5 backlog since the SDA / SCL assertion has been merged.

@crteja crteja mentioned this issue Jul 6, 2023
Draft
@msfschaffner msfschaffner added the Earlgrey-PROD Candidate Temporary label to triage issues into Earlgrey-PROD Milestones label Oct 7, 2023
@msfschaffner msfschaffner added Priority:P2 Priority: medium and removed Priority:P1 Priority: high labels Jan 26, 2024
@hcallahan-lowrisc hcallahan-lowrisc mentioned this issue Mar 26, 2024
Closed
@andreaskurth
Copy link
Contributor

V3, so M5 looks correct

@hcallahan-lowrisc hcallahan-lowrisc mentioned this issue Jun 6, 2024
Closed
1 task
@hcallahan-lowrisc hcallahan-lowrisc changed the title [i2c,dv] I2C timing assertions [i2c,dv] Check I2C timing compliance via a SVA-based protocol checker Jun 20, 2024
@hcallahan-lowrisc
Copy link
Contributor

V3, hence moved to P4

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
Component:DV DV issue: testbench, test case, etc. Earlgrey-PROD Candidate Temporary label to triage issues into Earlgrey-PROD Milestones IP:i2c Priority:P2 Priority: medium
Projects
None yet
Milestone
Earlgrey-PROD.M7
Development

No branches or pull requests
6 participants
@GregAC @andreaskurth @moidx @marnovandermaas @msfschaffner @hcallahan-lowrisc