From a50efdc6c67e4f92c1962135a98567b54913eade Mon Sep 17 00:00:00 2001 From: Waylon Cude Date: Fri, 30 May 2025 13:56:52 -0700 Subject: [PATCH] Fixed up debouncer and added some assertions 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 --- SDVD.xpr | 160 +++++++++++++------------ design/audio/audio_buffer.sv | 4 +- design/debouncer.sv | 27 ++--- design/low_freq_clock_gen.sv | 4 +- design/nexys_a7_top.sv | 4 +- design/playback_controller.sv | 4 +- lib/assertion_error.sv | 5 + {design => lib}/sdvd_defs.sv | 0 verification/audio/audio_buffer_tb.sv | 4 +- verification/debouncer_assertions.sv | 34 ++++++ verification/debouncer_tb.sv | 22 +++- verification/playback_controller_tb.sv | 4 +- 12 files changed, 170 insertions(+), 102 deletions(-) create mode 100644 lib/assertion_error.sv rename {design => lib}/sdvd_defs.sv (100%) create mode 100644 verification/debouncer_assertions.sv diff --git a/SDVD.xpr b/SDVD.xpr index f793fd9..4b23b13 100644 --- a/SDVD.xpr +++ b/SDVD.xpr @@ -44,7 +44,7 @@