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

Trigger for debug #319

Open
vmurali opened this issue Apr 3, 2020 · 5 comments
Open

Trigger for debug #319

vmurali opened this issue Apr 3, 2020 · 5 comments
Assignees
@vmurali
Labels
high priority

Comments

@vmurali
Copy link
Contributor

vmurali commented Apr 3, 2020

No description provided.

@vmurali vmurali self-assigned this Apr 3, 2020
@llee454
Copy link
Contributor

llee454 commented Apr 7, 2020 •
edited
Loading

  • Draft function that accepts trigger module parameters and generates the underlying registers
  • Draft functions that accept the trigger module data structs and maps these onto underlying register writes
  • Draft functions that accept the underlying register values and returns the trigger module data structs

@llee454
Copy link
Contributor

llee454 commented Apr 7, 2020

https://sifive.atlassian.net/wiki/spaces/CIP/pages/331513894/SiFive+Debug+System

@vmurali
Copy link
Contributor Author

vmurali commented Apr 14, 2020

Possible Abstract Structure:

Record AbsStruct (A: Type) {
RegKind: Kind;
AbsKind: Kind;
fromAbs: AbsKind @# ty -> RegKind @# ty;
toAbs: RegKind @# ty -> AbsKind @# ty;
}

@llee454
Copy link
Contributor

llee454 commented Apr 16, 2020 •
edited
Loading

  • rename numTriggers to lgNumTrigs

@llee454
Copy link
Contributor

llee454 commented Apr 22, 2020

  • place aliases for StructPkt _ and StructRegPkt _ in FU.v

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@vmurali vmurali

Labels
high priority
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@vmurali @llee454