fixup! (DROPME) Fix up debugging ILA

bittide · Feb 21, 2025 · a26b402 · a26b402
1 parent b26de43
commit a26b402
Showing 1 changed file with 39 additions and 0 deletions.
diff --git a/bittide-instances/src/Bittide/Instances/Hitl/Demo.hs b/bittide-instances/src/Bittide/Instances/Hitl/Demo.hs
@@ -58,6 +58,7 @@ import Clash.Cores.Xilinx.Ila (Depth (..), IlaConfig (..), ila, ilaConfig)
 import Clash.Cores.Xilinx.VIO (vioProbe)
 import Clash.Cores.Xilinx.Xpm.Cdc (xpmCdcArraySingle, xpmCdcSingle)
 import Clash.Functor.Extra ((<<$>>))
+import Clash.Sized.Extra (unsignedToSigned)
 import Clash.Xilinx.ClockGen (clockWizardDifferential)
 import Protocols
 import Protocols.Wishbone
@@ -206,6 +207,9 @@ dut refClk refRst skyClk rxNs rxPs allProgrammed miso jtagIn =
           :> "dd_ebReadys"
           -- Other
           :> "dd_transceiversFailedAfterUp"
+          :> "dd_nFincs"
+          :> "dd_nFdecs"
+          :> "dd_netFincs"
           :> Nil
       )
         { depth = D16384
@@ -220,6 +224,9 @@ dut refClk refRst skyClk rxNs rxPs allProgrammed miso jtagIn =
       allStable
       (bundle $ xpmCdcArraySingle bittideClk refClk <$> ebReadys)
       transceiversFailedAfterUp
+      nFincs
+      nFdecs
+      (fmap unsignedToSigned nFincs - fmap unsignedToSigned nFdecs)
 
   captureFlag =
     riseEvery
@@ -228,6 +235,38 @@ dut refClk refRst skyClk rxNs rxPs allProgrammed miso jtagIn =
       enableGen
       (SNat @(PeriodToCycles Basic125 (Milliseconds 1)))
 
+  nFincs :: Signal Basic125 (Unsigned 32)
+  nFincs =
+    regEn
+      refClk
+      refRst
+      enableGen
+      (0 :: Unsigned 32)
+      ( isFalling
+          refClk
+          refRst
+          enableGen
+          False
+          ((== Just SpeedUp) <$> callistoResult.maybeSpeedChangeC)
+      )
+      (satSucc SatBound <$> nFincs)
+
+  nFdecs :: Signal Basic125 (Unsigned 32)
+  nFdecs =
+    regEn
+      refClk
+      refRst
+      enableGen
+      (0 :: Unsigned 32)
+      ( isFalling
+          refClk
+          refRst
+          enableGen
+          False
+          ((== Just SlowDown) <$> callistoResult.maybeSpeedChangeC)
+      )
+      (satSucc SatBound <$> nFdecs)
+
   -- Step 1, wait for SPI:
   (_, _, spiState, spiOut) =
     withClockResetEnable refClk spiRst enableGen