Fixed up debouncer and added some assertions #1

uelen · 2025-05-30T21:05:18Z

uelen commented

2025-05-30 21:05:18 +00:00

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

Dilanthi referenced this issue from a commit

2025-06-02 21:23:34 +00:00

Merge pull request 'Fixed up debouncer and added some assertions' (#1) from debouncer_fixup into master

Sign in to join this conversation.

1 Participants

Notifications

Due Date

No due date set.

Dependencies

No dependencies set.

Reference: uelen/SDVD#1