Name disparity fixes.

bittide · Feb 21, 2025 · 947b199 · 947b199
1 parent a115ce4
commit 947b199
Showing 1 changed file with 7 additions and 7 deletions.
diff --git a/bittide-instances/src/Bittide/Instances/Hitl/Demo.hs b/bittide-instances/src/Bittide/Instances/Hitl/Demo.hs
@@ -612,12 +612,12 @@ demoTest boardClkDiff refClkDiff rxns rxps miso jtagIn =
     , jtagOut :: Signal Basic125 JtagOut
     , transceiversFailedAfterUp :: Signal Basic125 Bool
     , allStable :: Signal Basic125 Bool
-    , noFifoOverflows :: Signal Basic125 Bool
-    , noFifoUnderflows :: Signal Basic125 Bool
+    , fifoOverflows :: Signal Basic125 Bool
+    , fifoUnderflows :: Signal Basic125 Bool
     ) = dut refClk testReset boardClk rxns rxps allProgrammed miso jtagIn
 
   fifoSuccess :: Signal Basic125 Bool
-  fifoSuccess = noFifoUnderflows .&&. noFifoOverflows
+  fifoSuccess = not <$> (fifoUnderflows .||. fifoOverflows)
 
   endSuccess :: Signal Basic125 Bool
   endSuccess = trueFor (SNat @(Seconds 5)) refClk testReset (allStable .&&. fifoSuccess)
@@ -643,8 +643,8 @@ demoTest boardClkDiff refClkDiff rxns rxps miso jtagIn =
           :> "dt_jtagOut"
           :> "dt_transceiversFailedAfterUp"
           :> "dt_allStable"
-          :> "dt_noFifoOverflows"
-          :> "dt_noFifoUnderflows"
+          :> "dt_fifoOverflows"
+          :> "dt_fifoUnderflows"
           :> Nil
       )
         { depth = D32768
@@ -660,8 +660,8 @@ demoTest boardClkDiff refClkDiff rxns rxps miso jtagIn =
       jtagOut
       transceiversFailedAfterUp
       allStable
-      noFifoOverflows
-      noFifoUnderflows
+      fifoOverflows
+      fifoUnderflows
 
   captureFlag :: Signal Basic125 Bool
   captureFlag =