uelen/SDVD
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Fixed up debouncer and added some assertions #1

Merged
Dilanthi merged 1 commits from debouncer_fixup into master 2025-06-02 21:23:34 +00:00
Conversation 0 Commits 1 Files Changed 12
+170 -102
uelen commented 2025-05-30 21:05:18 +00:00
Owner
Copy Link
Copy Source

I moved around where packages are. I couldn't find any evidence of where
other people put them, but for now they are in the lib/ folder. Other
infrastructure changes are that all the weird includes we need to make
the linter happy are gated behind ifdefs, so they don't mess with
vivado. We had to add some weird options for finding include files before this, it should no longer be necessary.

I kinda can't believe concurrent assertions work because there's so
little info about them, good to see they actually do something. There's now a bonus counter package that's useful for counting the number of times asserts fail.

Finally, the debouncer should actually be working, and there are asserts now to make sure it absolutely, definitely works. There's a big random test segment to test the assertions exhaustively.

I moved around where packages are. I couldn't find any evidence of where other people put them, but for now they are in the `lib/` folder. Other infrastructure changes are that all the weird includes we need to make the linter happy are gated behind ifdefs, so they don't mess with vivado. We had to add some weird options for finding include files before this, it should no longer be necessary. I kinda can't believe concurrent assertions work because there's so little info about them, good to see they actually do something. There's now a bonus counter package that's useful for counting the number of times asserts fail. Finally, the debouncer should actually be working, and there are asserts now to make sure it absolutely, definitely works. There's a big random test segment to test the assertions exhaustively.
uelen added 1 commit 2025-05-30 21:05:19 +00:00
Fixed up debouncer and added some assertions a50efdc6c6 
I moved around where packages are. I couldn't find any evidence of where
other people put them, but for now they are in the `lib/` folder. Other
infrastructure changes are that all the weird includes we need to make
the linter happy are gated behind ifdefs, so they don't mess with
vivado.

I kinda can't believe concurrent assertions work because there's so
little info about them, good to ssee they actually do something
Dilanthi merged commit aa8ffb8213 into master 2025-06-02 21:23:34 +00:00
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
No items
No labels
Milestone
No items
No Milestone
Projects
Clear projects
No projects
Assignees
Clear assignees
Dilanthi uelen (Waylon Cude)
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: uelen/SDVD#1